E | |
| estado [Dfsa] |
Escolhemos representar os estados por inteiros.
|
F | |
| fita [Dfsa] |
a fita de entrada é simplesmente uma lista de simbolos
|
M | |
| maquina [Dfsa] |
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* estado inicial e o conjunto dos estados finais.
|
| memoria [Dfsa] |
As configurações da máquina (determinista), aqui designada de
memória, é simplesmente o par *do* estado actualmente activo (onde
a máquina se encontra no momento a execução) e o buffer que resta
ainda por processar.
|
S | |
| simbolo [Dfsa] |
O tipo
simbolo representa o tipo das letras (o alfabeto -
presentes nas fitas mas também nas transições).
|
T | |
| transicao [Dfsa] |
As transições
q1 --a--> q2 são representadas como ((q1,a),q2) ao
detrimento da representação mais natural (q1,a,q2).
|