Autômato Finito Determinístico (AFD) Genérico

Este é um programa Python que implementa um Autômato Finito Determinístico (AFD) genérico.

Descrição

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.

Como Executar

1. Certifique-se de ter o Python 3.1 (ou superior) instalado em seu sistema.

2. Salve o código fornecido em um arquivo chamado main.py.

3. Abra um terminal ou prompt de comando e navegue até o diretório onde o arquivo main.py está localizado.

4. Execute o seguinte comando para iniciar o programa: python main.py

5. 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".