Programa com objetivo de ler autômatos finitos determinísticos - AFD, lendo suas regras e determinando se a palavra inserida é aceita ou não.
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.
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:
- O conjunto de símbolos (alfabeto) entre chaves;
- O conjunto de estados atingíveis, entre chaves;
- O caractere referente ao conjunto de regras de transição;
- O estado inicial;
- O conjunto de estados finais, entre chaves.
Nas linhas abaixo devem estar as definições das regras de transição, seguindo:
- Cada regra contém 3 (três) itens, estado inicial, símbolo e estado alvo, e devem estar separados por vírgula.
- As regras devem estar dispostas em linhas diferentes, uma logo após a outra.