COMPORT – Compilador Portugol - Nilo Menezes

1.1.4. Autômatos Finitos
ComPort – Compilador Portugol
Segundo AHO (1995), um reconhecedor para uma linguagem é um
programa que toma como entrada uma cadeia x e responde “sim” se x for uma
sentença da linguagem e “não” caso contrário. Compilamos expressões regulares
(veja 1.3.2) num reconhecedor através da construção de um diagrama de transições
generalizado, chamado autômato finito.
Os autômatos finitos se classificam em determinísticos e nãodeterminísticos.
Um autômato finito determinístico pode ser visto como uma máquina
simples, composta de fita, unidade de controle e programa ou função.
A fita é finita (nos dois sentidos), sendo dividida em células de um símbolo
ou caractere. Esta fita não permite gravação e contém toda a informação de entrada.
Os símbolos pertencem ao alfabeto de entrada.
Figura 1 - Fita e unidade de controle
A unidade de controle possui um número finito e predefinido de estados.
Inicialmente a cabeça de leitura está posicionada no símbolo mais à esquerda da
fita. A cada símbolo lido, desloca-se a cabeça de leitura uma célula para a direita.
O programa é uma função parcial que dependendo do símbolo lido
determina o estado corrente do autômato. É importante notar que um autômato não
possui memória, devendo-se utilizar estados intermediários para armazenar
resultados.
Formalmente, podemos definir um autômato finito determinístico como
uma quíntupla:
M=(Σ,Q,δ,q0,F)
Onde:
Σ Alfabeto de símbolos de entrada
Q Conjunto de estados possíveis do autômato
21