AUTÔMATO FINITO NÃO DETERMINISTICO COM MOVIMENTO VAZIO

Movimentos vazios constituem uma generalização dos modelos de máquinas não-determinística. Um

movimento vazio é uma transição sem leitura de símbolo algum da fita. Pode ser interpretado como um não-
determinismo interno ao autômato o qual é encapsulado, ou seja, excetuando-se por uma eventual mudança de
estados, nada mais pode ser observado sobre um movimento vazio.
Uma das vantagens dos Autômatos Finitos com Movimentos Vazios é o fato de facilitar algumas
construções e demonstrações relacionadas com os autômatos. Entretanto a facilidade de movimentos vazios
não aumenta o poder de reconhecimento de linguagens, qualquer Autômato Finito com Movimentos Vazios
pode ser simulado por um Autômato Finito Não-Determinístico.

Definição:

Um Autômato Finito Não Determinístico e com movimento vazio (AFNDε), ou simplesmente autômato finito
com movimento vazio (AFε), é uma quíntupla:

M = (Σ, Q, δ, q0, F),

Onde:

Σ- Alfabeto de símbolos de entrada

Q- Conjunto finito de estados possíveis do autômato
δ - Função programa ou função de transição δ: Q x (Σ ∪ { λ }) → 2Q, parcial.
q0 - Estado inicial tal que q0 ∈ Q
F - Conjunto de estados finais, tais que F ⊆ Q.

• Portanto os componentes do AFε são os mesmos do AFN, com exceção da função programa (ver figura
abaixo).

O processamento dos AFε é similar ao dos AFND. Por analogia o processamento de uma transição para uma
entrada vazia também é não-determinística.
Assim um AFε ao processar uma entrada vazia assume simultaneamente os estados de origem e destino da
transição.

Exemplo: Autômato Finito com Movimento Vazio

O AFε M = ({a,b}, {q0, qf}, δ, q0, {qf}), representado na figura abaixo reconhece a linguagem
L = { w | qualquer símbolo a antecede qualquer símbolo b }, onde δ é representada na forma da tabela:

δ a b λ
q0 {q0} - {qf}
qf - {qf} -

Teoria da Computação 1
Prof. Gláucya Carreiro Boechat