Professional Documents
Culture Documents
Autmatas Finitos
Determinsticos
Para cada estado y para cada smbolo se determina unvocamente un
solo estado:
a, c
b
b
e1
e0
a, c
No Determinsticos
Para algunos estados, dado un smbolo a, existe un conjunto de
estados siguientes para elegir
a, b, c
b
e0
e1
: E x A P(E)
Determinismo y No determinismo
Determinismo trmino importante en muchas reas de
Teora de la Computacin
Determinismo existe una alternativa vlida, o no hay alternativa.
No Determinismo puede haber varias alternativas vlidas.
Importante distinguir si el no determinismo agrega o no poder
computacional
a, c
e1
e0
b
e0,e1
e0
a, c
ND
e0
{e0}
{e0, e1}
{e0}
[e0]
[e0]
[e0, e1]
[e0]
e1
[e0, e1]
[e0]
[e0, e1]
[e0]
Funcin de transicin
no determinstica
Funcin de transicin
determinstica
Minimizacin de AFD
Teorema
Para cada AFD existe un AFD con cantidad mnima de
estados que acepta el mismo lenguaje.
Algoritmo para minimizar un AFD
(divide al conjunto de estados del AFD en clases de
estados equivalentes)
Dado un AFD = <E, A, , e0, F>, dos estados p, q E son
equivalentes s y slo s para toda cadena x A*,
* (p,x) F * (q,x) F
* (p,x) F * (q,x) F
(Si las transiciones desde p con la cadena x llegan a un estado final, las de q con esa
misma cadena x tambin tienen que llegar, lo mismo si no se llega a un estado final)
Minimizacin de AFD
Algoritmo para minimizar un AFD
1) Eliminar los estados no alcanzables desde el estado inicial.
2) Eliminar los estados desde los que no es posible alcanzar un estado final.
3) Construir una particin 0 del conjunto de estados, que consiste en dos
grupos: estados finales y estados no finales.
4) Sea K = 0.
5) Definir K+1 de la siguiente manera:
para cada grupo G de una particin K, dividir a G en subgrupos tales que
dos estados s y t estn en el mismo grupo s y slo s para todo smbolo a
del alfabeto de entrada, los estados s y t van al mismo grupo de K.
6) K = K + 1.
7) Si K K-1 volver al paso 5. En caso contrario, terminar.