O autômato 01 é um autômato finito determinístico, pois cada estado tem no máximo uma transição para cada símbolo do alfabeto de entrada. O fato de ter duas transições saindo de cada estado sendo a ou b não é um problema, desde que cada transição esteja associada a um símbolo diferente do alfabeto de entrada.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar