Este documento describe la historia y definición de los autómatas finitos. Se origina en máquinas electromecánicas en 1907 y se formaliza en 1943 como modelo neuronal. Explica que un autómata finito es una máquina que realiza cómputos automáticos sobre una entrada para producir una salida basada en estados finitos, función de transición, estado inicial y estados finales. También define autómatas finitos deterministas y no deterministas.
1. UNIVERSIDAD DE ORIENTE
NÚCLEO DE MONAGAS
INGENIERIA DE SISTEMAS
SUBCOMISIÓN DE TRABAJOS DE GRADO
ÁREAS DE GRADO: CIENCIAS DE LA COMPUTACIÓN
Profesor: Yeisland Rodriguez
Bachilleres:
Gisel Garcia
Dionelis Farias
Mayo-2017
2. Autómatas en la historia
El origen de los autómatas finitos se remonta a su uso
en máquinas electromecánicas.
En 1907, 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.
En 1943, surge una primera aproximación formal
de los autómatas finitos con el modelo neuronal
de McCulloch-Pitts.
En la década de 1960 se establece su
conexión con las series de potencias y
los sistemas de sobre escritura.
4. ¿Qué es un autómata finito?
Un autómata finito (AF) o máquina de estado finito es
un modelo computacional que realiza cómputos en forma
automática sobre una entrada para producir una salida.
Estados finito
Función de transición
Estado inicial
Estados finales
Alfabeto
Este modelo está conformado :
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.
5. Que es una Maquina de estado finito?
Entrada Proceso salida
6. 0 1 0 1
q1 q3 1 0
q1 q2 1 1
q3 q1 0 0
q1 q0 0 0
q3 q1 0 0
q0
q1
q2
q3
q4
f g
Entradas salidas
Ejercicio de autómatas finitos
Rellenamos los valores .
Construir una tabla de transiciones para un
autómata a partir de su representación
grafica:
7. Qué es un autómata finito determinista?
Los Autómatas Finitos son máquinas teóricas que van cambiando
de estado dependiendo de la entrada que reciban. La salida de
estos Autómatas está limitada a dos valores: aceptado y no
aceptado, que pueden indicar si la cadena que se ha recibido como
entrada es o no válida.
Formalmente, un Autómata Finito
Determinista (AFD) se define como una
tupla.
AFD = (Σ, Q, 𝛿, q0, F)
Donde:
Σ es el alfabeto de entrada
Q es el conjunto finito y no vacío de los estados del Autómata
𝛿 es la función de transición que indica en qué situaciones el Autómata pasa de un
estado a otro
q0 es el estado inicial
F es el conjunto de estados finales de aceptación
9. ¿Qué es un autómata finito no
determinista?
En los autómatas deterministas sabemos exactamente cuál es
la transición que debemos llevar a cabo ante una determinada
situación. Sin embargo, en los no deterministas podemos
encontrarnos con varias opciones e, incluso, con λ-transiciones
que se realizan sin considerar el correspondiente símbolo de la
cadena de entrada. Para tener en cuenta estas consideraciones.
AF ND = (Σ, Q, f, q0, F, T), f : Q × Σ −→ 2Q
Donde: • 2Q es el conjunto formado por los subconjuntos de Q, incluyendo a Ø
• T es una relación binaria definida sobre Q que indica las λ-transiciones del autómata
(si pT q ⇒ existe una λ-transición desde p hasta q)