COMPORT – Compilador Portugol - Nilo Menezes

δ Função programa ou de transição
q0 Estado inicial
F Conjunto de estados finais, tal que F ⊂ Q
ComPort – Compilador Portugol
O processamento de um autômato finito M, para uma palavra de entrada
w, consiste na sucessiva aplicação de δ para cada símbolo de w (da esquerda para
a direita), até ocorrer uma condição de parada.
Um autômato finito determinístico pode parar em três casos:
1. Quando o processamento da entrada leva a um estado finito e a
entrada é aceita.
2. Quando um símbolo de entrada possui uma saída indeterminada pela
função programa, neste caso a entrada é rejeitada.
3. Quando a fita acaba e o autômato está num estado não-final, a entrada
é rejeitada.
Um autômato finito sempre pára, uma vez que um novo símbolo de
entrada é lido a cada aplicação da função programa, não existindo a possibilidade
de loop infinito, dada a natureza finita da fita.
Figura 2 - Representação gráfica de um autômato
Um exemplo de autômato finito determinístico seria aquele responsável
por validar uma entrada que possua a seqüência ab, considerando-se Σ={a,b} como
alfabeto, Q={q0, q1,qf} como os possíveis estados e F={qf}.
Sendo δ a função programa abaixo:
Tabela 1 - Função programa
δ a b
q0 q1 q0
q1 q1 qf
Qf qf qf
Graficamente este autômato seria representado por:
22