Características{
*Escrito na linguagem Python
*Autores: Davi Perdigão e Edmilson Lino
}
Esse programa registra um Autômato Finito Determinístico através de um arquivo .txt e testa se uma palavra, informada pelo usuário, é aceita pelo AFD registrado.
O arquivo.txt que descreverá o AFD terá a seguinte forma geral descrita abaixo. Na primeira linha serão apresentados os componentes do AFD, conforme abaixo:
(∑︀, Q, 𝛿, q0, F)
∑︀ = Alfabeto do AFD
Q = Estados do AFD
𝛿 = Regras de transição do AFD
q0 = Estado inicial do AFD
F = Estado(s) final(is) do AFD