AUTÔMATOS DE PILHA

DETERMINISTICOS
• PDA é determinístico se nunca existe uma
escolha de movimento em qualquer
situação.
• As escolhas podem ser:
δ( q,a,X) mais de um par (PDA não-
deterministico).
δ( q,a,X) sendo sempre unitário (PDA
determinístico).
 AUTÔMATOS DE PILHA
DETERMINISTICOS
• Condições para um PDA:
 δ( q,a,X) tem no máximo um elemento para
qualquer q em Q, a em Σ ou a = ε e X em Γ.
Se δ( q,a,X) é não vazio para algum a em Σ,
então δ( q,ε,X) deve ser vazio.
• Se L é uma linguagem regular, então
L=L(P) para algum DPDA P.
 LINGUAGENS REGULARES E
PDA’s DETERMINISTICOS
• Um linguagem L é N(P) para algum DPDA
P se e somente se L tem a propriedade
de prefixo e L é L(P´) para algum DPDA P
´.
 DPDA’s E LINGUAGENS LIVRES
DE CONTEXTO
• As linguagens aceitas por DPDA’s pelo
estado final incluem propriamente as
linguagens regulares, mas estão incluídas
propriamente nas CFL’s.
• Supondo que P verifique a linguagem
0n110n, depois de receber ela como
entrada ela pode receber outra como
sendo 0m110m, o que não será aceito pelo
automato.
 DPDA’s E GRÁMATICAS
AMBÍGUAS
• Se L = N(P) para algum DPDA P, então L
tem uma gramática livre de contexto não-
ambigua.
• Se L = L(P) para algum DPDA P, então L
tem uma CFG não-ambigua.