só pode haver um único estado final.

o número de estados iniciais deve ser igual ao número de estados finais.

cada estado inicial define a existência de dois estados finais.

o número de estados finais não pode ser superior a dois.

só pode haver um único estado inicial.