Um Autômato Finito é uma máquina de estado, como a Máquina de Turing.
Este é um trabalho da disciplina "Linguagens Formais e Autômatos" do curso de Ciência da Computação. O Objetivo é construir um programa - utilizando qualquer linguagem - que simule um Autômato Finito Determinístico (AFD|DFA) e Autômato Finito Não-Determinístico (AFND|NFA). Assim, este programa é capaz de determinar se uma dada string é ou não aceita por um autômato, sem o uso de regex nativas à linguagem de programação.
Defina qual o Alfabeto reconhecido pelo Autômato. Para incluir a possiblidade de Épsilon (ε) e outros utilize a tabela abaixo:
| ε | Para habilitar transações epsilons |
| Δ | Como um curinga para todos os digitos numéricos [0-9] |
| α | Como um curinga para todos os digitos alfabéticos [a-zA-Z] |
| ω | Como um curinga para todos os digitos alfanuméricos [a-zA-Z0-9] |
* Os estados em linha tracejada são aqueles que foram adicionados à etapa (coluna) por serem o destino de uma transição Épsilon de um estado origem presente na mesma coluna.