Beruflich Dokumente
Kultur Dokumente
ndice [esconder]
1
AFD Mnimo
2
Estados Inalcanveis
3
Estados Indistinguveis
3.1
Algoritmo de Hopcroft
3.2
Algoritmo de Moore
3.3
Algoritmo de Brzozowski
4
Minimizao de AFN
5
Notas
6
Referncias
7
Links externos
AFD Mnimo[editar | editar cdigo-fonte]
Para cada linguagem regular passvel de ser aceita por um AFD, existe um AFD com u
m nmero mnimo de estados (e portanto com esforo mnmo de programao para cri-lo e use nico (embora possam ser dados nomes diferentes a estados).[2]
H trs classes de estados que podem ser removidos/mesclados ao AFD original sem afe
tar as linguagens que esse aceita:
Estados inalcanveis podem ser removidos do AFD sem afetar a linguagem que ele acei
ta.
Uma vez que o algoritmo de Hopcroft tenha sido usado para agrupar estados do AFD
de entrada em classe de equivalncia, o AFD mnimo pode ser construdo formando um es
tado para cada classe de equivalncia. Se S um conjunto de estados em P, s um esta
do em S, e c um caracter de entrada, ento a transio no AFD mnimo do estado para S, s
obre a entrada c, leva ao conjunto contendo o estado ao qual o autmato de entrada
levaria partindo do estado s, sobre a entrada c. O estado inicial do AFD mnimo o
conjunto que contm o estado inicial do AFD de entrada, e os estados de aceitao do
AFD mnimo so os conjuntos cujos membros so estados de aceitao no AFD de entrada.