Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Autómata finito
Un autómata finito (AF) o máquina de estado finito es un modelo matemático que realiza cómputos en forma
automática sobre una entrada para producir una salida.
Este modelo está conformado por un alfabeto, un conjunto de estados y un conjunto de transiciones entre dichos
estados. Su funcionamiento se basa en una función de transición, que recibe a partir de un estado inicial una cadena
de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autómata se
desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptación, que representa la salida.
La finalidad de los autómatas finitos es la de reconocer lenguajes regulares, que corresponden a los lenguajes
formales más simples según la Jerarquía de Chomsky.
Historia
El origen de los autómatas finitos probablemente se remonta a su
uso implícito en máquinas electromecánicas, desde principios del
siglo XX.[1] Ya en 1907, el matemático ruso Andréi Márkov
formalizó un proceso llamado cadena de Markov, donde la
ocurrencia de cada evento depende con una cierta probabilidad del
evento anterior.[2] Esta capacidad de "recordar" es utilizada
posteriormente por los autómatas finitos, que poseen una memoria
primitiva similar, en que la activación de un estado también depende
El modelo neuronal de McCulloch-Pitts también
del estado anterior, así como del símbolo o palabra presente en la utiliza diagramas con estados y transiciones, además
función de transición. de los conceptos de entrada y salida.
En la década de 1960 se establece su conexión con las series de potencias y los sistemas de sobreescritura.[4]
Finalmente, con el desarrollo del sistema operativo Unix en la década de 1970, los autómatas finitos encuentran su
nicho en el uso masivo de expresiones regulares para fines prácticos, específicamente en el diseño de analizadores
sintácticos (comando lex) y la búsqueda y reemplazo de texto (comandos ed y grep).[5] A partir de ese tiempo, los
autómatas finitos también se comienzan a utilizar en sistemas dinámicos.[1]
Definición formal
Formalmente, un autómata finito es una 5-tupla (Q, Σ, q0, δ, F) donde:[6]
• es un conjunto finito de estados;
• es un alfabeto finito;
• es el estado inicial;
• es una función de transición;
• es un conjunto de estados finales o de aceptación.
Autómata finito 2
Funcionamiento
En el comienzo del proceso de reconocimiento de una
cadena de entrada, el automata finito se encuentra en el
estado inicial y a medida que procesa cada símbolo de
la cadena va cambiando de estado de acuerdo a lo
determinado por la función de transición. Cuando se ha
procesado el último de los símbolos de la cadena de
entrada, el autómata se detiene en el estado final del
proceso. Si el estado final en el que se detuvo es un El esquema general es el de una cinta lectora que avanza sólo hacia
estado de aceptación, entonces la cadena pertenece al delante y de a una celda, según la función de transición.
lenguaje reconocido por el autómata; en caso contrario,
la cadena no pertenece a dicho lenguaje.
Note que el estado inicial de un autómata finito siempre es único, en tanto que los estados finales pueden ser más
de uno, es decir, el conjunto puede contener más de un elemento. También puede darse el caso de que un estado
final corresponda al mismo estado inicial.
s2 0 s1
s2 1 s2
Autómata finito 3
La primera representa explícitamente los parámetros y el valor que toma cada ocurrencia de la función de
transición.[7] La segunda es más compacta, y marca con una flecha el estado inicial, y con un asterisco los estados
finales.
AFND-ε inicial.
AFND inicial.
Proceso de conversión.
AFD final.
Todo AFND (QN, Σ, q0, δN, FN) puede convertirse en un AFD (QD, Σ, q0, δD, FD) equivalente, que mantiene el
alfabeto Σ y el estado inicial q0 originales. La conversión implica pasar por un AFD intermedio con estados y
transiciones redundantes, que al no ser accesibles a partir del estado inicial, son eliminados para obtener el AFD
definitivo.
Para definir el AFD intermedio, se deben seguir los siguientes pasos:
1. Primero se redefine el conjunto de estados QN = {q0, q1, ..., qm} original, como uno conformado por todos los
subconjuntos de QN. Los nuevos estados finales serán todos aquellos estados que contengan a alguno de los
estados finales originales.
2. Posteriormente, se redefine el conjunto de transiciones original, por transiciones del tipo δD(S,a), donde a∈Σ, y S
es la unión de todos los estados q de QN para los cuales existía la transición δN(q,a).
3. Por último, se eliminan los estados inaccesibles o inalcanzables (junto con sus transiciones de salida), es decir,
aquellos a los que no se puede acceder a partir del estado inicial. Luego de esta depuración, se obtiene el AFD
Autómata finito 7
final.
Ejemplo
En las figuras de ejemplo, como el AFND inicial posee tres estados (q0, q1, q2), entonces el AFD intermedio poseerá
siete ({q0}, {q1}, {q2}, {q0, q1}, {q0, q2}, {q1, q2}, {q0, q1, q2}), y como el estado final original era q2, entonces los
estados finales del AFD intermedio son {q2}, {q0, q2}, {q1, q2} y {q0, q1, q2}. Con respecto a las nuevas
transiciones, note por ejemplo que se mantuvo la transición δN(q0,1)=q0, siendo ahora llamada δD({q0},1)={q0}; sin
embargo, dado que originalmente se daba que δN(q0,0)=q0 y δN(q0,0)=q1, ahora estas dos transiciones fueron
reemplazadas por δD({q0},0)={q0, q1}. Para terminar, note que los estados {q1}, {q2} y {q1, q2} no están conectados
con el resto del autómata que posee el estado inicial; por tanto, son eliminados. Asimismo es eliminado también {q0,
q1, q2}, pues a pesar de estar conectado con el resto del autómata, no es accesible a partir de {q0}. Así finalmente,
eliminando estos cuatro estados, así como sus respectivas transiciones, se obtiene el AFD buscado.
Minimización de un AFD
Dos estados de un autómata finito determinista son estados equivalentes si al unirse en un sólo estado, pueden
reconocer el mismo lenguaje regular que si estuviesen separados. Esta unión de estados implica la unión tanto de sus
transiciones de entrada como de salida. Si dos estados no son equivalentes, se dice que son estados distinguibles.
Un estado final con un estado no-final nunca serán equivalentes.
Un AFD está minimizado, si todos sus estados son distinguibles y alcanzables. Un algoritmo de minimización de
AFD es el siguiente:
1. Eliminar los estados inaccesibles del autómata.
2. Construir una tabla con todos los pares (p, q) de estados restantes.
3. Marcar en la tabla aquellas entradas donde un estado es final y el otro es no-final, es decir, aquellos pares de
estados que son claramente distinguibles.
4. Para cada par (p, q) y cada símbolo a del alfabeto, tal que r = δ(p,a) y s = δ(q,a):
1. Si (r, s) ya ha sido marcado, entonces p y q también son distinguibles, por lo tanto marcar la entrada (p, q).
2. De lo contrario, colocar (p, q) en una lista asociada a la entrada (r, s).
5. Agrupar los pares de estados no marcados.
Luego del tercer paso, si la tabla creada queda completamente marcada, entonces el AFD inicial ya era mínimo.
La complejidad computacional del problema de minimizar un AFD es polinomial. De hecho, existen algoritmos más
eficientes aún que el mostrado en este artículo (aunque menos intuitivos).[11] Sin embargo, el problema de minimizar
un autómata finito no determinista es NP-completo y PSPACE-completo.[12] [13]
Ejemplo
Minimización de un AFD.
AFD minimizado.
Autómata finito 8
En la primera figura del ejemplo, se muestra un autómata con el estado inaccesible d, el cual puede eliminarse
inmediatamente. Luego se construye la tabla de pares de estados, y a continuación se marcan, de acuerdo a la tercera
línea del algoritmo, las filas y columnas correspondientes a los estados finales c y g, salvo la celda que representa el
par (c,g), puesto que al ser ambos estados finales, pueden ser estados equivalentes. Posteriormente, se marcan las
celdas restantes de acuerdo a la cuarta línea del algoritmo, notando que el par (b, f) queda asociado con el par (c, g),
y así finalmente se obtiene el autómata final, agrupando los estados b y f, así como c y g, tal y como se muestra en la
segunda figura del ejemplo.
b b b
c c c
e e e
f f f
g g g
a b c e f a b c e f a b c e f
Jerarquía de Chomsky.[17]
Véase también
• Lenguaje regular
• Teoría de autómatas
Autómata finito 9
Referencias
[1] Wolfram, Stephen (2002). « Starting From Randomness (http:/ / www. wolframscience. com/ reference/ notes/ 958a)» (en inglés). A New
Kind of Science. Wolfram Media. pp. 958. . Consultado el 31 de marzo de 2010.
[2] Basharin, Gely P.; Langville, Amy N.; Naumov, Valeriy A. (2004). « The Life and Work of A. A. Markov (http:/ / citeseerx. ist. psu. edu/
viewdoc/ summary?doi=10. 1. 1. 4. 4887)» (en inglés). Linear Algebra and its Applications 386: pp. 3-26. . Consultado el 31 de marzo de
2010.
[3] Rabin, Michael O.; Scott, Dana (1959). « Finite automata and their decision problems (http:/ / portal. acm. org/ citation. cfm?id=1661909)»
(en inglés). IBM Journal of Research and Development (IBM Corp. Riverton, NJ, USA) 3 (2): pp. 114-125. ISSN 0018-8646 (http:/ /
worldcat. org/ issn/ 0018-8646). . Consultado el 05 de abril de 2010.
[4] Wolfram, Stephen (2002) (en inglés). A New Kind of Science (http:/ / www. wolframscience. com/ reference/ notes/ 958a). Wolfram Media.
pp. 893. . Consultado el 31 de marzo de 2010.
[5] Thompson, Ken (1968). « Programming Techniques: Regular expression search algorithm (http:/ / portal. acm. org/ citation.
cfm?id=363387& dl=GUIDE,)» (en inglés). Communications of the ACM 11 (6): pp. 419-422. . Consultado el 01 de abril de 2010.
[6] Chakraborty, Samarjit (17 de marzo de 2003). « Formal Languages and Automata Theory. Regular Expressions and Finite Automata (http:/ /
citeseerx. ist. psu. edu/ viewdoc/ summary?doi=10. 1. 1. 89. 9977)» (en inglés). Computer Engineering and Networks Laboratory. Swiss
Federal Institute of Technology (ETH) Zürich: pp. 17. . Consultado el 30 de marzo de 2010.
[7] Brena, Ramón (2003). « Autómatas y Lenguajes. Un enfoque de diseño (http:/ / homepages. mty. itesm. mx/ rbrena/ AyL. html)» (en
español). Tecnológico de Monterrey, México: pp. 205. . Consultado el 31 de marzo de 2010.
[8] Berry, G.; Sethi, R. (1987). « From regular expressions to deterministic automata (http:/ / hal. archives-ouvertes. fr/ docs/ 00/ 07/ 59/ 04/ PDF/
RR-0649. pdf)» (en inglés). TCS: Theoretical Computer Science 48: pp. 117-126. . Consultado el 01 de abril de 2010.
[9] Neumann, Christoph (2005) (en inglés). Converting Deterministic Finite Automata to Regular Expressions (http:/ / citeseerx. ist. psu. edu/
viewdoc/ download?doi=10. 1. 1. 85. 2597& rep=rep1& type=pdf). . Consultado el 01 de abril de 2010.
[10] van Noord, Gertjan (2000). « Treatment of epsilon moves in subset construction (http:/ / portal. acm. org/ citation. cfm?id=971841.
971845)» (en inglés). Computational Linguistics (MIT Press. Cambridge, MA, USA) 26 (1): pp. 61-76. ISSN 0891-2017 (http:/ / worldcat.
org/ issn/ 0891-2017). . Consultado el 05 de abril de 2010.
[11] Hopcroft, John E. (1971). « An n log n algorithm for minimizing states in a finite automaton (http:/ / portal. acm. org/ citation.
cfm?id=891883)» (en inglés). Theory of Machines and Computations (Academic Press, Nueva York): pp. 189-196. . Consultado el 09 de abril
de 2010.
[12] Jiang, Tai; Ravikumar, B. (1993). « Minimal NFA problems are hard (http:/ / portal. acm. org/ citation. cfm?id=165076& dl=GUIDE&
coll=GUIDE& CFID=85447364& CFTOKEN=52905360)» (en inglés). SIAM Journal on Computing (Society for Industrial and Applied
Mathematics Philadelphia, PA, Estados Unidos) 22 (6): pp. 1117-1141. ISSN 0097-5397 (http:/ / worldcat. org/ issn/ 0097-5397). .
Consultado el 09 de abril de 2010.
[13] Malcher, Andreas (2004). « Minimizing finite automata is computationally hard (http:/ / www. springerlink. com/ content/
xj7hde7ewmucw94a/ )» (en inglés). Theoretical Computer Science (Elsevier Science Publishers Ltda. Essex, Reino Unido) 327 (3):
pp. 375-390. ISSN 0304-3975 (http:/ / worldcat. org/ issn/ 0304-3975). . Consultado el 05 de abril de 2010.
[14] Koskenniemi, Kimmo (1984), A general computational model for word-form recognition and production (http:/ / acl. ldc. upenn. edu/ P/
P84/ P84-1038. pdf), Morristown, NJ, Estados Unidos: Association for Computational Linguistics, pp. 178-181, , consultado el 10 de abril de
2010
[15] Moore, Edward F. (1956). « Gedanken-experiments on Sequential Machines (http:/ / books. google. cl/ books?hl=es& lr=&
id=oL57iECEeEwC& oi=fnd& pg=PA129& dq=Gedanken-experiments+ on+ Sequential+ Machines& ots=xtIZlfNSh3&
sig=_IZbeMzi9_E7N5vQpocPAfK1KiU#v=onepage& q=Gedanken-experiments on Sequential Machines& f=false)» (en inglés). Automata
Studies, Annals of Mathematical Studies (Princeton, N.J.: Princeton University Press) (34): pp. 129–153. . Consultado el 10 de abril de 2010.
[16] Mealy, George H. (1955). «A Method for Synthesizing Sequential Circuits» (en inglés). Bell Systems Technical Journal 34: pp. 1045-1079.
[17] Hopcroft, John E.; Ullman, Jeffrey D. (1969), Formal languages and their relation to automata (http:/ / portal. acm. org/ citation.
cfm?id=1096945), Boston, MA, Estados Unidos: Addison-Wesley Longman Publishing Co., Inc., pp. 262, , consultado el 10 de abril de 2010
Autómata finito 10
Bibliografía
• Hopcroft, John; Motwani, Rajeev; Ullman, Jeffrey D. (2001) (en inglés). Introduction to Automata Theory,
Languages, and Computation. Massachusetts, Estados Unidos: Addison-Wesley.
Enlaces externos
• Wikimedia Commons alberga contenido multimedia sobre Autómata finito. Commons
• JFLAP, software para experimentar con lenguajes formales y autómatas (http://www.jflap.org/)
Fuentes y contribuyentes del artículo 11
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/