Está en la página 1de 9

AUTÓMATAS

FINITOS
INTEGRANTES:
Ariadna Acevedo B. 8-712-1473
Madelhen Esquivel 8-827-214
Oreste Pérez 8-819-888
AUTÓMATAS FINITOS
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
En la década de
proceso llamado
1960, se establece
cadena de Markov,
su conexión con las
donde la ocurrencia
series de potencias y
de cada evento
los sistemas de
depende con una
sobre escritura.
cierta probabilidad
del event

En 1943, surge una


primera
aproximación formal
de los autómatas
finitos con el modelo
neuronal de
McCulloch-Pitts.
Autómata:
Máquina que imita la figura y los movimientos de
un ser animado.
¿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.

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.

Este modelo está conformado:

Alfabeto Estados finales


Función de Transición

Estados finito Estado inicial


¿Qué es una Máquina de Estado Finito?

ENTRADA PROCESO SALIDA


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 Quíntupla. Σ es el alfabeto de entrada

AFD = (Σ, Q, δ, q0, F) Q es el conjunto finito y no vació de


los estados del Autómata
δ es la función de transición que indica en
Donde:
qué situaciones el Autómata pasa de un
estado a otro.
q0 es el estado inicial
F es el conjunto de estado finales de
aceptación
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 x Σ 2Q

2Q es el conjunto formado por los subconjuntos de Q,


incluyendo a
Donde:

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)
Autómata Finito Determinista (AFD) VS
Autómata Finito No Determinista (AFND)

AFD AFND
La Transición desde un estado puede La transición desde un estado puede
tener como destino un único estado. tener múltiples destinos. Por eso se le
Por eso se llama determinista. llama no determinista.

No se aceptan transiciones con cadenas Permite transiciones con cadenas


vacías. vacías.

No siempre se permite el uso de


Se permite el uso de backtracking.
backtracking.

Requiere mas espacio. Requiere menos espacio.

Una cadena es aceptada si solo una de


Una cadena es aceptada si su transición
todas sus posibles transiciones son
es hacia un estado final.
hacia un estado final.
¡GRACIAS!

EJEMPLO AFD

También podría gustarte