Este é um programa Python que implementa um Autômato Finito Determinístico (AFD) genérico.
Este programa solicita a entrada do usuário para definir os componentes de um autômato, incluindo estados, alfabeto, estado inicial e conjunto de estados finais. Em seguida, o usuário é solicitado a definir as funções de transição δ(q, a) = q' para cada par estado-caractere do alfabeto.
Depois que o autômato é definido, o programa entra em um loop onde o usuário pode inserir palavras para serem reconhecidas pelo autômato. O programa verifica se os caracteres da palavra pertencem ao alfabeto definido e, em seguida, segue as funções de transição para determinar se a palavra é aceita ou rejeitada pelo autômato.
-
Certifique-se de ter o Python 3.1 (ou superior) instalado em seu sistema.
-
Salve o código fornecido em um arquivo chamado
main.py
. -
Abra um terminal ou prompt de comando e navegue até o diretório onde o arquivo
main.py
está localizado. -
Execute o seguinte comando para iniciar o programa:
python main.py
-
Siga as instruções na saída do programa para definir o autômato e testar palavras.
Em exemplo de uso temos a descrição do funcionamento do autômato nomeado "AFD.png".