C | |
| char_of_string [Fsa] |
função utilitária simples
|
E | |
| em_par [Fsa] |
tradução para o formato transição
|
| epsilon_trans [Fsa] |
Generaliza a função anterior.
|
| epsilon_trans_aux [Fsa] |
Dado uma máquina
maq e um estado state, a função
epsilon_trans_aux calcula que estados se consegue atingir a partir
de state e de *uma* transição epsilon.
|
| equal [Fsa] | |
I | |
| is_accepted [Fsa] | is_accepted é um predicado que detecta se uma configuração
memo da execução do autómato maq prefigura a aceitação.
|
L | |
| leitura [Fsa] |
Lê no formato texto o autómato por executar, e a palavra por reconhecer.
|
M | |
| main [Fsa] |
função principal
|
N | |
| next [Fsa] | next calcula os estados atingíveis a partir dos estados em lesta
com o simbolo simb, combinado com os estados atingíveis por
transsições epsilon a partir daí.
|
| normalize [Fsa] |
As operações sobre transições, estados ou configurações podem
levar a que se gere muitos duplicados nas listas que os represnetam.
|
P | |
| print_output [Fsa] |
a função
print_output analisa a configuração final e imprime na
saída standard o veredicto.
|
S | |
| select [Fsa] | select devolve todas os estados alvo de transições que partem de
est com o label simb
|
| step [Fsa] | step realiza um passo de execução do autómato maq a partir da
configuração memo.
|
| subset [Fsa] |
Duas funções simples mas naturais que codificam as noções de
subconjuntos e igualdade de conjunto (sendo estes codificados como
listas)
|
T | |
| to_fita [Fsa] | to_fita é uma função de tradução de char para simbolo.
|
U | |
| union [Fsa] |
união de dois conjuntos
|