Index of values

função utilitária simples

is_accepted é um predicado que detecta se uma configuração da execução do autómato (ambos passados em parâmetro) prefigura a aceitação.

leitura lê no formato texto o autómato por executar, e a palavra por reconhecer.

main função principal

next calcula os estados atingíveis a partir dos estados em states com o simbolo simb, combinado com os estados atingíveis por transições epsilon a partir daí.

a função print_output analisa a configuração final e imprime na saída standard o veredicto.

reach calcula que estados são alvo de transições directas que partem do estado state com rótulo ch no autómato maquina

reach_epsilon devolve o conjunto de estados para os quais existe um caminho "epsilon" que parte dos estados de states -- i.e.

reach_star calcula que estados são alvo de transições directas e indirectas (i.e.

reach_star_aux é função (recursiva) auxiliar da função reach_star e calcula que estados são alvo de transições directas e indirectas que partem do conjunto de estados todo com rótulo ch no autómato maquina.

reach_states calcula que estados são alvo de transições directas que partem do conjunto de estados states com rótulo ch no autómato maquina

read_to_set lê uma linha de inteiros e devolve na forma de uma lista de inteiros

read_to_set lê uma linha de inteiros e devolve na forma de um conjunto de inteiros

read_transition lê transições linha a linha até ao fim de ficheiro.

step realiza um passo de execução do autómato maquina a partir da configuração config.

step_star é a função de execução principal.

to_fita é uma função de tradução de char para simbolo.

tradução para o formato transição