Compiladores

Automatas Finitos

Los autómatas son mecanismos formales para las gramáticas y lenguajes. En 1936 Turing desarrollo lo que se puede llamar primer autómata: la “máquina de Turing”. Podría visualizársele como un tocacintas sofisticado con una cinta arbitrariamente infinita. La cinta se marca en secciones de tal manera que en cada sección se puede almacenar un bit de información. La cabeza es un mecanismo que se mueve a través de la cinta con la capacidad de leer o escribir sobre está. Cuenta también con un mecanismo de control colocado en la cabeza de la cinta, que informa qué acciones tomar dependiendo de la lectura de cada bit de información.