E | |
| estado [Fsa] |
Escolhemos representar os estados por inteiros.
|
F | |
| fita [Fsa] |
a fita de entrada é simplesmente uma lista de simbolos
|
M | |
| maquina [Fsa] |
Neste cenário, um autómato (ou máquina) é dado pela relação de
transição (a listas de adjacência, ou seja a lista das transições),
o conjuntos dos estados iniciais e o conjunto dos estados
finais.
|
| memoria [Fsa] |
As configurações da máquina (não determinista), aqui designada de
memória, é simplesmente o par dos estados actualmente activos (onde se
encontra no momento a execução) e o buffer ainda por processar
|
S | |
| simbolo [Fsa] |
O tipo
simbolo representa o tipo das letras (o alfabeto - presentes
nas fitas mas também nas transições).
|
T | |
| transicao [Fsa] |
As transições
q1 --a--> q2 são representadas como ((q1,a),q2) ao
detrimento da representação mais natural (q1,a,q2).
|