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