wagnernegrao / Automatos-Finitos-Deterministicos

Programa com objetivo de ler autômatos finitos determinísticos - AFD, lendo suas regras e determinando se a palavra inserida é aceita ou não.

Autômatos Finitos Determinísticos (AFD)

Programa com objetivo de ler autômatos finitos determinísticos - AFD, lendo suas regras e determinando se a palavra inserida é aceita ou não.

Como executar:

Dentro do diretório dos arquivos, digite: python3 main.py [arquivo] [palavra] ou: python3.5 main.py [arquivo] [palavra]

Sendo [arquivo] um arquivo txt com a definição do autômato e suas regras de transição, e [palavra] uma palavra que se deseja processar.

Arquivo .txt:

O arquivo txt com a definição do autômato finito determinístico deve seguir a seguinte sintaxe (padrão):

Deve ter a quíntupla (os 5 parâmetros) entre parênteses e separados por vírgula, contendo:

1. O conjunto de símbolos (alfabeto) entre chaves;
2. O conjunto de estados atingíveis, entre chaves;
3. O caractere referente ao conjunto de regras de transição;
4. O estado inicial;
5. O conjunto de estados finais, entre chaves.

Nas linhas abaixo devem estar as definições das regras de transição, seguindo:

1. Cada regra contém 3 (três) itens, estado inicial, símbolo e estado alvo, e devem estar separados por vírgula.
2. As regras devem estar dispostas em linhas diferentes, uma logo após a outra.