Automa Minimo

Esistono infiniti automi equivalenti che riconoscono lo stesso linguaggio L.

E` possibile dimostrare, per ogni linguaggio L l'esistenza e l'unicita`, a meno di un isomorfismo, di un automa minimo che lo riconosce.