titulo

Autómata finito no determinista con transiciones ε (AFND-ε)
Además de ser capaz de alcanzar más estados leyendo un símbolo, permite alcanzarlos sin leer ningún símbolo. Si un estado tienetransiciones etiquetadas con \epsilon, entonces el AFND puede encontrarse en cualquier de los estados alcanzables por las transiciones \epsilon, directamente o a través de otros estados con transiciones\epsilon. El conjunto de estados que pueden ser alcanzados mediante este método desde un estado q, se denomina la clausura \epsilon de q.

autómata
nombre masculino

1.
Máquina que imita lafigura y los movimientos de un ser animado.
"museo de autómatas; en su repertorio, Giuseppe Pinetti, el mago italiano más imitado en el siglo XVIII, incluía la actuación de autómatas"
2.Máquina automática programable capaz de realizar determinadas operaciones de manera autónoma y sustituir a los seres humanos en algunas tareas, en especial las pesadas, repetitivas o peligrosas;puede estar dotada de sensores, que le permiten adaptarse a nuevas situaciones.
"las soldaduras en instrumentos muy pequeños se hacen por medio de autómatas"
Historia
El modelo neuronal deMcCulloch-Pitts también utiliza diagramas con estados y transiciones, además de los conceptos de entrada y salida.

El origen de los autómatas finitos probablemente se remonta a su uso implícito enmá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 unacierta 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 estadotambién depende del estado anterior, así como del símbolo o palabra presente en la función de transición.

Posteriormente, en 1943, surge una primera aproximación formal de los autómatas finitos con...