utmata del griego automatos (a?t?at??

) que significa espontneo o con movimiento pro

pio, puede referirse a:
Autmata: Mquina que imita la figura y los movimientos de un ser animado.
Autmata programable: Equipo electrnico programable en lenguaje no informtico y
diseado para controlar, en tiempo real y en ambiente industrial, procesos secuenc
iales.
Autmata, pelcula de 2014
Teora de autmatas: Estudio matemtico de mquinas abstractas. (p.e. Autmata finito,
autmata con pila)
Autmata finito
Autmata con pila
Teora de autmatas
Teora de autmatas.svg
Acerca de esta imagen
La teora de autmatas es una rama de las ciencias de la computacin que estudia las mq
uinas abstractas y los problemas que stas son capaces de resolver. La teora de autm
atas est estrechamente relacionada con la teora del lenguaje formal ya que los autm
atas son clasificados a menudo por la clase de lenguajes formales que son capace
s de reconocer.
Un autmata es un modelo matemtico para una mquina de estado finito (FSM sus siglas
en ingls). Una FSM es una mquina que, dada una entrada de smbolos, "salta" a travs d
e una serie de estados de acuerdo a una funcin de transicin (que puede ser expresa
da como una tabla). En la variedad comn "Mealy" de FSMs, esta funcin de transicin d
ice al autmata a qu estado cambiar dados unos determinados estado y smbolo.
La entrada es leda smbolo por smbolo, hasta que es "consumida" completamente (piens
e en sta como una cinta con una palabra escrita en ella, que es leda por una cabez
a lectora del autmata; la cabeza se mueve a lo largo de la cinta, leyendo un smbol
o a la vez) una vez la entrada se ha agotado, el autmata se detiene.
Dependiendo del estado en el que el autmata finaliza se dice que este ha aceptado
o rechazado la entrada. Si ste termina en el estado "acepta", el autmata acepta l
a palabra. Si lo hace en el estado "rechaza", el autmata rechaz la palabra, el con
junto de todas las palabras aceptadas por el autmata constituyen el lenguaje acep
tado por el mismo.
ndice
1 Vocabulario
2 Autmatas finitos
2.1 Extensiones a los autmatas finitos
3 Vase tambin
4 Enlaces externos
5 Referencias
Vocabulario
Los conceptos bsicos de smbolos, palabras, alfabetos y strings son comunes en la m
ayora de las descripciones de los autmatas. Estos son:
Smbolo
Un dato arbitrario que tiene algn significado a o efecto en la mquina. A estos
smbolos tambin se les llama "letras" o "tomos".1
Palabra
Una cadena finita formada por la concatenacin de un nmero de smbolos.

Alfabeto
Conjunto finito de smbolos. Un alfabeto se indica normalmente con \Sigma, que
es el conjunto de letras en un alfabeto.
Lenguaje
Un conjunto de palabras, formado por smbolos en un alfabeto dado. Puede ser i
nfinito.
Clausura de Kleene
Un lenguaje se puede considerar como un subconjunto de todas las posibles pa
labras. El conjunto de todas las palabras puede, a su vez, ser considerado como
el conjunto de todas las posibles concatenaciones de cadenas. Formalmente, este
conjunto de todas las cadenas se llama en ingls free monoid. Se indica como \Sigm
a^*, y el superndice * se llama la estrella de Kleene.
Autmatas finitos
Formalmente, un autmata finito (AF) puede ser descrito como una 5-tupla \langle Q
, \Sigma, \delta, S_0, F\rangle.
Existen tres tipos de autmatas finitos
Autmata finito determinista (AFD)
Cada estado de un autmata de este tipo puede o no tener una transicin por cada
smbolo del alfabeto.
AFD.
Autmata finito no determinista (AFND)
Los estados de un autmata de este tipo pueden, o no, tener una o ms transicion
es por cada smbolo del alfabeto. El autmata acepta una palabra si existe al menos
un camino desde el estado q0 a un estado final F etiquetado con la palabra de en
trada. Si una transicin no est definida, de manera que el autmata no puede saber co
mo continuar leyendo la entrada, la palabra es rechazada.
Autmata finito no determinista con transiciones e (AFND-e)
Adems de ser capaz de alcanzar ms estados leyendo un smbolo, permite alcanzarlo
s sin leer ningn smbolo. Si un estado tiene transiciones etiquetadas con \epsilon,
entonces el AFND puede encontrarse en cualquier de los estados alcanzables por
las transiciones \epsilon, directamente o a travs de otros estados con transicion
es \epsilon. El conjunto de estados que pueden ser alcanzados mediante este mtodo
desde un estado q, se denomina la clausura \epsilon de q.
Sin embargo, puede observarse que todos estos tipos de autmatas pueden aceptar lo
s mismos lenguajes. Siempre se puede construir un AFD que acepte el mismo lengua
je que el dado por un AFND.
AFND con transiciones vacas.
Extensiones a los autmatas finitos
Los lenguajes aceptados por los autmatas descritos ms arriba se denominan lenguaje
s regulares. Autmatas ms potentes pueden aceptar lenguajes ms complejos. Algunos de
estos autmatas son:
Autmata con pila
Son mquinas idnticas a los AFD (o AFI), exceptuando el hecho de que disponen d
e una memoria adicional, haciendo uso de una pila. La funcin de transicin \delta a
hora depender tambin de los smbolos que se encuentren al principio de la pila. Esta
funcin determinar como cambia la pila en cada transicin. Este tipo de autmatas acep
tan los lenguajes independientes del contexto.
Autmata linealmente acotado
Se trata de una mquina de Turing limitada.
Mquina de Turing
Son las mquinas computacionales ms potentes. Poseen una memoria infinita en fo

rma de cinta, as como un cabezal que puede leer y cambiar esta cinta, y moverse e
n cualquier direccin a lo largo de la cinta.
Vase tambin
Sistema combinacional
Autmata finito
Autmata con pila
Mquina de Turing
Mquina abstracta
Enlaces externos
JFLAP
dk.brics.automaton
Exorciser (en Alemn)
Referencias
page 81 of
Categora:
Lenguajes formales