S-Pz / Simulator_AFD-and-AFN

Simulador de autômatos finitos determinísticos (AFD) e autômatos finitos não determinísticos (AFN).

Simulator_AFD-and-AFN

Simulador de autômatos finitos determinísticos (AFD) e autômatos finitos não determinísticos (AFN).

Manual

Para escrever o arquivo deve-se seguir o seguinte padrão:

O arquivo é um TSV, A primeira linha deve conter o simbolo '&', que indica a coluna de estados, em seguida as próximas colunas serão os simbolos do alfabeto.

As próximas linhas contem as transicões em si

O simbolo '!' antes do estado indica que ele é um estado inicial

O simbolo '*' antes do estado indica que ele é um estado final

Arquivo de Exemplo: data.tsv

Entrada Manual

Como fazer a entrada manual

#N0 = AFN({"0","1"},{0,1,2},{(0,"0"):{0},(0,"1"):{0,1},(1,"0"):{2},(1,"1"):{2}},{0},{2})