Ling. Formais e Autômatos AFN-ε. Tópicos AF com ε-transições Autômatos finitos.
Minimização Autômatos
-
Upload
joel-carvalho -
Category
Documents
-
view
3.770 -
download
1
description
Transcript of Minimização Autômatos
Minimização de AutómatosMinimização de Autómatos
Universidade da Beira InteriorT i d C t ãTeoria da Computação
2007/2008
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
MotivaçõesAutómato mínimo é único.Uma linguagem regular qualquer possui um único autómato finito determinístico um único autómato finito determinístico (DFA) mínimo que a representa.
f d d lMecanismo verificador de equivalência entre autómatos e linguagens.
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
Pré‐RequisitosDeterminísticoCompleto (todos os estados devem ter transições para todos os símbolos do transições para todos os símbolos do alfabeto)
d dNão pode ter estados inacessíveis
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
Joel Carvalho
Minimização de AutómatosMinimização de AutómatosEtapa Zero
Epsilon
1 x
2 x
3 v
a bEtapa Um
1 x v
2 x v
3 ‐ ‐3
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
Joel Carvalho
Minimização de AutómatosMinimização de Autómatos
Joel Carvalho