C | |
| char_of_string [Dfsa] | |
E | |
| em_par [Dfsa] |
funções utilitárias simples
|
I | |
| is_accepted [Dfsa] | is_accepted é um predicado que detecta se uma configuração
memo da execução do autómato maq prefigura a aceitação.
|
L | |
| leitura [Dfsa] |
Lê no formato texto a palavra por reconhecer e o autómato por executar.
|
M | |
| main [Dfsa] | |
N | |
| next [Dfsa] | next calcula o próximo estado, ou seja o estado q destino da
transição esta---simb--->q, se esta transição existir.
|
P | |
| print_output [Dfsa] |
a função
print_output analisa a configuração final e imprime na
saída standard o veredicto.
|
S | |
| step [Dfsa] | step realiza um passo de execução do autómato maq a partir da
configuração memo.
|