La teora de la computacin es un conjunto de conocimientos racionales,

sistematizados y funcionales que se centran en el estudio de

la abstraccin de los procesos que ocurren en la realidad con el fin de
reproducirlos con ayuda de sistemas formales, es decir, a travs de cdigos
de caracteres e instrucciones lgicas, reconocibles por el ser humano, con
capacidad de ser modeladas en las limitaciones de dispositivos que
procesan informacin y que efectan clculos como, por ejemplo,
el ordenador. Para ello, se apoya en la teora de autmatas, a fin de simular
y estandarizar dichos procesos, as como para formalizar los problemas y
darles solucin.[cita requerida]