Este documento discute a minimização de autômatos. Ele apresenta as motivações para se minimizar autômatos, que é encontrar o autômato finito determinístico mínimo para representar uma linguagem regular. Também apresenta pré-requisitos para a minimização, como o autômato ser determinístico, completo e não ter estados inacessíveis.

1. Minimização de Autómatos
Universidade da Beira Interior
T i d C
Teoria da Computação
t ã
2007/2008
Joel Carvalho

2. Minimização de Autómatos
Motivações
Autómato mínimo é único.
Uma linguagem regular qualquer possui
um único autómato finito determinístico
(DFA) mínimo que a representa.
Mecanismo verificador de equivalência
f d d l
entre autómatos e linguagens.
Joel Carvalho