Construção de um AFND-ε a partir de uma gramática


Dada uma gramática do tipo GLUD, podemos construir um AFND-ε (Autômato Finito Não Determinístico com transições-ε) da seguinte forma:

  • (alfabeto igual ao conjunto de terminais da gramática).
  • , onde (um novo estado final).
  • (conjunto de estados finais).
  • (o estado inicial é o símbolo inicial da gramática).

As produções da gramática são convertidas em transições no autômato conforme:

ProduçãoTransição

Exemplo:

Gramática: Produções:

Autômato:

Transições:

ProduçãoTransição

Diagrama de estados: (com transições conforme as produções).

Referências


Aula de Gramática Regular