COMPORT – Compilador Portugol - Nilo Menezes

Figura 3 - Exemplo de autômato finito
ComPort – Compilador Portugol
Supondo aabab como entrada, iniciaríamos no estado q0, lendo o “a”
mais à esquerda. Pela função programa da Tabela 1, teríamos trocado de estado
para q1 e leríamos o segundo “a”, permanecendo em q1. Ao lermos o “b”,
trocaríamos de estado para qf, onde permaneceremos, enquanto “a” ou “b” forem
lidos até o fim da fita. Como chegamos a um estado final no fim da fita, este
autômato diz que a seqüência é válida.
Em autômatos finitos não-determinísticos temos a mesma definição
formal, exceto em relação a função programa que pode gerar um conjunto de
estados para um símbolo de entrada.
Ao executar um autômato finito não-determinístico e obtermos um
conjunto de estados como resultado da função programa, “cria-se” uma linha de
execução independente para cada elemento do conjunto. Como se tivéssemos uma
nova máquina para cada elemento, com recursos e destinos próprios.
Todo autômato finito não determinístico pode ser transformado em
autômato finito determinístico, como é provado em MENEZES (2001).
Segundo AHO (1995), tanto os autômatos finitos determinísticos
quanto os não-determinísticos são capazes de reconhecer precisamente expressões
regulares. Conseqüentemente, ambos podem validar exatamente o que estas
expressões podem denotar. Entretanto, existe uma barganha tempo-espaço:
enquanto os autômatos finitos determinísticos podem levar a reconhecedores mais
rápidos que os não determinísticos, um autômato finito determinístico pode ser muito
maior que um não determinístico equivalente.
23