La teoría de autómatas se centra en la abstracción de computación y lenguajes de programación considerando elementos como entrada, estado, transición y salidas. En la teoría, la entrada se lee parte por parte hasta completarse, y se manejan autómatas finitos que usan símbolos que pueden formar palabras y lenguajes. Alan Turing propuso en 1936 el estudio de una máquina capaz de resolver problemas matemáticos representados como algoritmos, introduciendo la noción formal de autómata.

1. ¿Qué es la teoría de
autómatas?
Enrique García Stave

2. Concepto
La teoría de autómatas mas que todo se centra en la
computación, en la abstracción de cualquier tipo de
ordenador y/o lenguaje de programación, teniendo
en cuenta sus elementos básicos, como lo son la
entrada, estado, transición, salidas y elementos
auxiliares.

3. Características
En la teoría de autómatas, la entrada es leída parte por parte,
hasta que es ingresada completamente (pensándolo como si fuera
una cinta con una palabra escrita en ella, que es leída por el
autómata, que lee un símbolo por vez).
• En la teoría de autómatas, la entrada es leída parte por
parte, hasta que es ingresada completamente (pensándolo como
si fuera una cinta con una palabra escrita en ella, que es
leída por el autómata, que lee un símbolo por vez).
• Se manejan autómatas finitos.
• Se manejan datos como símbolos.
• Los símbolos pueden formar palabras, a partir de
concatenaciones.
• Los símbolos también pueden formar un alfabeto, que es un
conjunto finito de estos mismos.
• Las palabras pueden formar un lenguaje, formadas por un
alfabeto suministrado.

4. Historia
Alan Turing, matematico, filosofo y criptografo nacio en 1912,
desde temprana edad enfocado en los estudios matematicos y de
caracter cientifico. En 1936 se encarga de proponer un estudio
llamado "Los numeros computables con una aplicacion al
Entscheidungsproblem", hipoteticament una maquina que puede ser
capaz de resolver todo tipo de problemas matematicos que se
pudiesen representar con algoritmos. La maquina se encarga de
una manera formal de entender la estructura y funcionamiento de
los algoritmos (una cadena de instrucciones ordenadas y
sucesivas). Algo que podria ser capaz de hacer un humano,
siguiendo las instrucciones, las cuales normalmente una maquina,
corresponden a su programa y configuracion.
- Alan Turing - La Máquina como Autómata – Casiopea, de
http://wiki.ead.pucv.cl/index.php/Alan_Turing_-
_La_M%C3%A1quina_como_Aut%C3%B3mata.