FEUP / MIEIC

TEORIA DA COMPUTAO

EXERCCIOS DE AUTMATOS DE PILHA

1

Considere a linguagem sem contexto sobre o alfabeto ={a,b} definida pela seguinte
propriedade: L = {anbk | n k 2n}.

a) Escreva uma gramtica sem contexto para a linguagem L.

b) Obtenha um autmato de pilha que reconhea a mesma linguagem.
c) Mostre a sequncia de descries instantneas do autmato quando este recebe como
entrada a cadeia aabbb.
d) O que sucede quando a cadeia aaabb? Justifique com base nas descries
instantneas.
2 Considere a gramtica sem contexto (CFG) G= ({S, A}, {0, 1}, P, S) cujas produes
so:
SA1A
A 1A | 0 A |
Obtenha um autmato de pilha (com reconhecimento por pilha vazia) que reconhea a
linguagem da gramtica G.
3 Considere a gramtica sem contexto (CFG) G= ({S}, {i, e}, P, S) cujas produes
so:
SSS | iS | i S e S |
Obtenha um autmato de pilha (com reconhecimento por pilha vazia) que reconhea a
linguagem da gramtica G.
4 Considere o autmato de pilha seguinte, com aceitao por pilha vazia
P = ({p, s}, {0, 1}, {Z, 0, 1}, , p, Z).
A funo tem a seguinte definio:
(p, 0, Z)
(p, 0, 1)
(p, 0, 0)
(p, , Z)

=
=
=
=

{ (p, 0Z) }
{ (p, ) }
{ (p, 00) }
{ (s, ) }

(p, 1, Z) = { (p, 1Z) }

(p, 1, 0) = { (p, ) }
(p, 1, 1) = { (p, 11) }

a) Mostre a sequncia de configuraes atingidas, quando se parte da configurao (p,

1100, Z).
b) A cadeia 1100 reconhecida pelo autmato? Porqu?
c) E se for a partir de (p, 101, Z)?
5

Uma gramtica sem contexto ambgua se existir uma derivao mais esquerda e
uma derivao mais direita de pelo uma das frases por ela reconhecidas. Esta
afirmao verdadeira? Justifique.

GABRIEL D AVID/CRISTINA RIBEIRO

PDA - 1/1