Você está na página 1de 132

Automatos com pilha

Umberto Rivieccio
UFRN

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

1 / 30

Motivacao

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

2 / 30

Motivacao
Como vimos, os automatos finitos nao sabem contar sem
limite, pois possuem uma memoria estritamente finita, nem
armazenar informacao (p.e. uma sequencia de smbolos).

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

2 / 30

Motivacao
Como vimos, os automatos finitos nao sabem contar sem
limite, pois possuem uma memoria estritamente finita, nem
armazenar informacao (p.e. uma sequencia de smbolos).
Ha linguagens livres do contexto que nao sao reconhecidos por
nenhum automato finito, por exemplo L tan b n : n 0u ou
L tw w R : w P u.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

2 / 30

Motivacao
Como vimos, os automatos finitos nao sabem contar sem
limite, pois possuem uma memoria estritamente finita, nem
armazenar informacao (p.e. uma sequencia de smbolos).
Ha linguagens livres do contexto que nao sao reconhecidos por
nenhum automato finito, por exemplo L tan b n : n 0u ou
L tw w R : w P u.
Existe uma classe de automatos que corresponde `as linguagens
livres do contexto?

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

2 / 30

Motivacao
Como vimos, os automatos finitos nao sabem contar sem
limite, pois possuem uma memoria estritamente finita, nem
armazenar informacao (p.e. uma sequencia de smbolos).
Ha linguagens livres do contexto que nao sao reconhecidos por
nenhum automato finito, por exemplo L tan b n : n 0u ou
L tw w R : w P u.
Existe uma classe de automatos que corresponde `as linguagens
livres do contexto?
Esta pergunta nos leva a tentar uma pilha como mecanismo di
armazenamento ilimitado.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

2 / 30

Automatos com pilha determinsticos


Definicao
Um APD e definido por xQ, , , , q0 , z, F y onde:

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

3 / 30

Automatos com pilha determinsticos


Definicao
Um APD e definido por xQ, , , , q0 , z, F y onde:
Q conjunto finito de estados internos da unidade de controle

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

3 / 30

Automatos com pilha determinsticos


Definicao
Um APD e definido por xQ, , , , q0 , z, F y onde:
Q conjunto finito de estados internos da unidade de controle
conjunto finito de smbolos chamado alfabeto de entrada

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

3 / 30

Automatos com pilha determinsticos


Definicao
Um APD e definido por xQ, , , , q0 , z, F y onde:
Q conjunto finito de estados internos da unidade de controle
conjunto finito de smbolos chamado alfabeto de entrada
conjunto finito de smbolos chamado alfabeto da pilha

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

3 / 30

Automatos com pilha determinsticos


Definicao
Um APD e definido por xQ, , , , q0 , z, F y onde:
Q conjunto finito de estados internos da unidade de controle
conjunto finito de smbolos chamado alfabeto de entrada
conjunto finito de smbolos chamado alfabeto da pilha
q0 estado inicial

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

3 / 30

Automatos com pilha determinsticos


Definicao
Um APD e definido por xQ, , , , q0 , z, F y onde:
Q conjunto finito de estados internos da unidade de controle
conjunto finito de smbolos chamado alfabeto de entrada
conjunto finito de smbolos chamado alfabeto da pilha
q0 estado inicial
z smbolo de incio da pilha

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

3 / 30

Automatos com pilha determinsticos


Definicao
Um APD e definido por xQ, , , , q0 , z, F y onde:
Q conjunto finito de estados internos da unidade de controle
conjunto finito de smbolos chamado alfabeto de entrada
conjunto finito de smbolos chamado alfabeto da pilha
q0 estado inicial
z smbolo de incio da pilha
F Q conjunto de estados finais

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

3 / 30

Automatos com pilha determinsticos


Definicao
Um APD e definido por xQ, , , , q0 , z, F y onde:
Q conjunto finito de estados internos da unidade de controle
conjunto finito de smbolos chamado alfabeto de entrada
conjunto finito de smbolos chamado alfabeto da pilha
q0 estado inicial
z smbolo de incio da pilha
F Q conjunto de estados finais
: Q Q funcao de transicao.
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

3 / 30

Automatos com pilha determinsticos


A unidade de controle esta inicialmente no estado q0 , com o
smbolo z no (topo da) pilha.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

4 / 30

Automatos com pilha determinsticos


A unidade de controle esta inicialmente no estado q0 , com o
smbolo z no (topo da) pilha.
Uma transicao pqi , a, Aq pqj , A1 . . . An q indica que

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

4 / 30

Automatos com pilha determinsticos


A unidade de controle esta inicialmente no estado q0 , com o
smbolo z no (topo da) pilha.
Uma transicao pqi , a, Aq pqj , A1 . . . An q indica que
se o APD esta no estado qi
o smbolo no topo da pilha e A
e a unidade le a

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

4 / 30

Automatos com pilha determinsticos


A unidade de controle esta inicialmente no estado q0 , com o
smbolo z no (topo da) pilha.
Uma transicao pqi , a, Aq pqj , A1 . . . An q indica que
se o APD esta no estado qi
o smbolo no topo da pilha e A
e a unidade le a
entao
o estado do APD muda para qj
o smbolo A e substituido pela cadeia A1 . . . An
o novo topo da pilha e A1 .

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

4 / 30

Automatos com pilha determinsticos


A unidade de controle esta inicialmente no estado q0 , com o
smbolo z no (topo da) pilha.
Uma transicao pqi , a, Aq pqj , A1 . . . An q indica que
se o APD esta no estado qi
o smbolo no topo da pilha e A
e a unidade le a
entao
o estado do APD muda para qj
o smbolo A e substituido pela cadeia A1 . . . An
o novo topo da pilha e A1 .
O APD aceita uma cadeia se apos ler a cadeia o estado do APD e
um estado final.
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

4 / 30

Automatos com pilha determinsticos


APD que aceita qualquer cadeia an b n pn 1q

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

5 / 30

Automatos com pilha determinsticos


APD que aceita qualquer cadeia an b n pn 1q

Provemos alguma (p.e., ab e bbaa).


U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

5 / 30

Automatos com pilha determinsticos


Observem:

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

6 / 30

Automatos com pilha determinsticos


Observem:
Qualquer AFD xQ, , , q0 , F y pode ser simulado pelo APD
xQ, , , P , q0 , z, F y onde tzu e P pq, a, zq pq, aq para
cada a P , q P Q.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

6 / 30

Automatos com pilha determinsticos


Observem:
Qualquer AFD xQ, , , q0 , F y pode ser simulado pelo APD
xQ, , , P , q0 , z, F y onde tzu e P pq, a, zq pq, aq para
cada a P , q P Q.
Assim, qualquer linguagem regular e reconhecida por um APD,
mas os APDs tambem reconhecem linguagens livres do
contexto que nao sao regulares.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

6 / 30

Automatos com pilha determinsticos


Observem:
Qualquer AFD xQ, , , q0 , F y pode ser simulado pelo APD
xQ, , , P , q0 , z, F y onde tzu e P pq, a, zq pq, aq para
cada a P , q P Q.
Assim, qualquer linguagem regular e reconhecida por um APD,
mas os APDs tambem reconhecem linguagens livres do
contexto que nao sao regulares.
Porem, ha linguagens livres do contexto que nao sao
reconhecidos por nenhum APD, por exemplo
L tw w R : w P t0, 1u u.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

6 / 30

Automatos com pilha determinsticos


Observem:
Qualquer AFD xQ, , , q0 , F y pode ser simulado pelo APD
xQ, , , P , q0 , z, F y onde tzu e P pq, a, zq pq, aq para
cada a P , q P Q.
Assim, qualquer linguagem regular e reconhecida por um APD,
mas os APDs tambem reconhecem linguagens livres do
contexto que nao sao regulares.
Porem, ha linguagens livres do contexto que nao sao
reconhecidos por nenhum APD, por exemplo
L tw w R : w P t0, 1u u.
Problema: Quando parar? Como decidir deterministicamente
quando termina a primeira metade da cadeia e comeca a
segunda?
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

6 / 30

AP nao determinsticos (APN)


Definicao
Um APN e definido por xQ, , , , q0 , z, F y onde, como antes:

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

7 / 30

AP nao determinsticos (APN)


Definicao
Um APN e definido por xQ, , , , q0 , z, F y onde, como antes:
Q estados internos; alfabeto de entrada; alfabeto da pilha;
q0 estado inicial; z smbolo de incio da pilha; F Q estados
finais;

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

7 / 30

AP nao determinsticos (APN)


Definicao
Um APN e definido por xQ, , , , q0 , z, F y onde, como antes:
Q estados internos; alfabeto de entrada; alfabeto da pilha;
q0 estado inicial; z smbolo de incio da pilha; F Q estados
finais;
a funcao de transicao e:
: Q t Y u P fin pQ q
(a escolha e nao-determinstica, e sao possveis -transicoes).

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

7 / 30

AP nao determinsticos (APN)


Por exemplo: pq1 , a, xq tpq2 , yzq, pq3 , qu

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

8 / 30

AP nao determinsticos (APN)


Exemplo (6.2.2)
Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u,
:

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

9 / 30

AP nao determinsticos (APN)


Exemplo (6.2.2)
Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u,
:

Este APN aceita a linguagem L tan b n : n 0u Y tau.


U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

9 / 30

Grafo de transicao de um APD

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

10 / 30

Grafo de transicao de um APD

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

10 / 30

Grafo de transicao de um APD

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

10 / 30

Uma notacao logica

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

11 / 30

Uma notacao logica


Uma descricao instantanea de um APN e dada pela tripla
pq, w , uq
onde

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

11 / 30

Uma notacao logica


Uma descricao instantanea de um APN e dada pela tripla
pq, w , uq
onde
q e o estado corrente da unidade de controle

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

11 / 30

Uma notacao logica


Uma descricao instantanea de um APN e dada pela tripla
pq, w , uq
onde
q e o estado corrente da unidade de controle
w e a parte nao lida da cadeia

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

11 / 30

Uma notacao logica


Uma descricao instantanea de um APN e dada pela tripla
pq, w , uq
onde
q e o estado corrente da unidade de controle
w e a parte nao lida da cadeia
u e o conteudo da pilha (smbolo mais `a esquerda e o topo).

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

11 / 30

Uma notacao logica


Uma descricao instantanea de um APN e dada pela tripla
pq, w , uq
escrevemos
pq1 , aw , Auq $ pq2 , w , yuq
quando
pq2 , y q P pq1 , a, Aq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

12 / 30

Uma notacao logica


Uma descricao instantanea de um APN e dada pela tripla
pq, w , uq
escrevemos
pq1 , aw , Auq $ pq2 , w , yuq
quando
pq2 , y q P pq1 , a, Aq.
Se pq, a, Aq H, escrevemos
pq, aw , Auq $ K
para qualquer w P e u P .
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

12 / 30

Uma notacao logica


Uma descricao instantanea de um APN e dada pela tripla
pq, w , uq
escrevemos
pq, w , uq $ pq 1 , w 1 , u 1 q

ou

pq, w , uq $` pq 1 , w 1 , u 1 q

quando
pq, w , uq $ . . . $ pq 1 , w 1 , u 1 q

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

13 / 30

Uma notacao logica


Uma descricao instantanea de um APN e dada pela tripla
pq, w , uq
escrevemos
pq, w , uq $ pq 1 , w 1 , u 1 q

ou

pq, w , uq $` pq 1 , w 1 , u 1 q

quando
pq, w , uq $ . . . $ pq 1 , w 1 , u 1 q
$ e o fecho reflexivo e transitivo de $
$` indica que, no mnimo, um movimento e feito.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

13 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K
mas tambem: pq0 , aaabbb, 0q

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K
mas tambem: pq0 , aaabbb, 0q $ pq1 , aabbb, 10q

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K
mas tambem: pq0 , aaabbb, 0q $ pq1 , aabbb, 10q $
pq1 , abbb, 110q
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K
mas tambem: pq0 , aaabbb, 0q $ pq1 , aabbb, 10q $
pq1 , abbb, 110q $ pq1 , bbb, 1110q
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K
mas tambem: pq0 , aaabbb, 0q $ pq1 , aabbb, 10q $
pq1 , abbb, 110q $ pq1 , bbb, 1110q $ pq2 , bb, 110q
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K
mas tambem: pq0 , aaabbb, 0q $ pq1 , aabbb, 10q $
pq1 , abbb, 110q $ pq1 , bbb, 1110q $ pq2 , bb, 110q $
pq2 , b, 10q
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K
mas tambem: pq0 , aaabbb, 0q $ pq1 , aabbb, 10q $
pq1 , abbb, 110q $ pq1 , bbb, 1110q $ pq2 , bb, 110q $
pq2 , b, 10q $ pq2 , , 0q
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K
mas tambem: pq0 , aaabbb, 0q $ pq1 , aabbb, 10q $
pq1 , abbb, 110q $ pq1 , bbb, 1110q $ pq2 , bb, 110q $
pq2 , b, 10q $ pq2 , , 0q $ pq3 , , q
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

Uma notacao logica


Q tq0 , q1 , q2 , q3 u, ta, bu, t0, 1u, z 0, F tq3 u, :

Exemplo (6.2.2), cont. Verifiquemos que:


pq0 , aaabbb, 0q $ pq3 , aabbb, q $ K
mas tambem: pq0 , aaabbb, 0q $ pq1 , aabbb, 10q $
pq1 , abbb, 110q $ pq1 , bbb, 1110q $ pq2 , bb, 110q $
pq2 , b, 10q $ pq2 , , 0q $ pq3 , , q o APN recohnece aaabbb.
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

14 / 30

A linguagem aceita por um APN


Definicao
A linguagem aceita por M xQ, , , , q0 , z, F y e o conjunto
LpMq : tw P : D qf P F , u P pq0 , v , zq $ pqf , , uq u.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

15 / 30

A linguagem aceita por um APN


Definicao
A linguagem aceita por M xQ, , , , q0 , z, F y e o conjunto
LpMq : tw P : D qf P F , u P pq0 , v , zq $ pqf , , uq u.
Uma cadeia e reconhecida por M sse esta em LpMq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

15 / 30

A linguagem aceita por um APN


Definicao
A linguagem aceita por M xQ, , , , q0 , z, F y e o conjunto
LpMq : tw P : D qf P F , u P pq0 , v , zq $ pqf , , uq u.
Uma cadeia e reconhecida por M sse esta em LpMq.
N.B.: e suficiente que exista pelo menos um caminho
pq0 , v , zq $ pqf , , uq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

15 / 30

Exemplos

Exemplo (6.2.7): APN que aceita L tw w R : w P ta, bu u.


U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

16 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

pq0 , aba, zq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

pq0 , aba, zq $ pq0 , ba, Azq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

pq0 , aba, zq $ pq0 , ba, Azq $ pq0 , a, AAzq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

pq0 , aba, zq $ pq0 , ba, Azq $ pq0 , a, AAzq $ pq0 , , AAAzq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

pq0 , aba, zq $ pq0 , ba, Azq $ pq0 , a, AAzq $ pq0 , , AAAzq $ K

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

pq0 , aba, zq $ pq0 , ba, Azq $ pq0 , a, AAzq $ pq0 , , AAAzq $ K


ou
pq0 , aba, zq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

pq0 , aba, zq $ pq0 , ba, Azq $ pq0 , a, AAzq $ pq0 , , AAAzq $ K


ou
pq0 , aba, zq $ pq0 , ba, Azq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

pq0 , aba, zq $ pq0 , ba, Azq $ pq0 , a, AAzq $ pq0 , , AAAzq $ K


ou
pq0 , aba, zq $ pq0 , ba, Azq $ pq1 , ba, Azq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
APN que aceita L tw w R : w P ta, bu u.
Verifiquemos:
1

pq0 , abba, zq $ pq0 , bba, Azq $ pq0 , ba, BAzq $


pq1 , ba, BAzq $ pq1 , a, Azq $ pq1 , , zq $ pq2 , , q.
Notemos: pq0 , ba, BAzq $ pq0 , a, BBAzq $ pq0 , , ABBAzq.

pq0 , aba, zq $ pq0 , ba, Azq $ pq0 , a, AAzq $ pq0 , , AAAzq $ K


ou
pq0 , aba, zq $ pq0 , ba, Azq $ pq1 , ba, Azq $ K.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

17 / 30

Exemplos
Exemplo (6.2.8): APN que aceita L tan b m : 1 n m 3nu.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

18 / 30

Exemplos
O reconhecimento da cadeia aaabbbbb pode ser feito de varias
formas, p.e., pq0 , aaabbbbb, zq $

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

19 / 30

Exemplos
O reconhecimento da cadeia aaabbbbb pode ser feito de varias
formas, p.e., pq0 , aaabbbbb, zq $

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

19 / 30

Exemplos
O reconhecimento da cadeia aaabbbbb pode ser feito de varias
formas, p.e., pq0 , aaabbbbb, zq $

ou

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

19 / 30

Equivalencia entre APN e GLC

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

20 / 30

Equivalencia entre APN e GLC


Vimos que certas gramaticas livres do contexto sao
reconhecidas por APNs.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

20 / 30

Equivalencia entre APN e GLC


Vimos que certas gramaticas livres do contexto sao
reconhecidas por APNs.
De fato, toda gramatica livre do contexto e reconhecida por
algum APN.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

20 / 30

Equivalencia entre APN e GLC


Vimos que certas gramaticas livres do contexto sao
reconhecidas por APNs.
De fato, toda gramatica livre do contexto e reconhecida por
algum APN.
Inversamente, toda linguagem aceita por um APN e livre do
contexto.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

20 / 30

Equivalencia entre APN e GLC


Vimos que certas gramaticas livres do contexto sao
reconhecidas por APNs.
De fato, toda gramatica livre do contexto e reconhecida por
algum APN.
Inversamente, toda linguagem aceita por um APN e livre do
contexto.
Vamos demonstrar este resultado.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

20 / 30

Para cada GLC existe um APN

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

21 / 30

Para cada GLC existe um APN


Ideia da prova:

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

21 / 30

Para cada GLC existe um APN


Ideia da prova:
1. Reduzir a gramatica G xV , T , S, Py a uma forma normal
conveniente (pseudo-Greibach), onde cada producao em P tem a
forma:
A aw
onde A P V , a P T Y tu e w P V .

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

21 / 30

Para cada GLC existe um APN


Ideia da prova:
1. Reduzir a gramatica G xV , T , S, Py a uma forma normal
conveniente (pseudo-Greibach), onde cada producao em P tem a
forma:
A aw
onde A P V , a P T Y tu e w P V .
2. Definir um APN
xQ tq0 , q1 , q2 u, T , V Ytzu pz R V q, , q0 , z, F tq2 uy
onde:

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

21 / 30

Para cada GLC existe um APN


Ideia da prova:
1. Reduzir a gramatica G xV , T , S, Py a uma forma normal
conveniente (pseudo-Greibach), onde cada producao em P tem a
forma:
A aw
onde A P V , a P T Y tu e w P V .
2. Definir um APN
xQ tq0 , q1 , q2 u, T , V Ytzu pz R V q, , q0 , z, F tq2 uy
onde:
pq0 , , zq pq1 , Szq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

21 / 30

Para cada GLC existe um APN


Ideia da prova:
1. Reduzir a gramatica G xV , T , S, Py a uma forma normal
conveniente (pseudo-Greibach), onde cada producao em P tem a
forma:
A aw
onde A P V , a P T Y tu e w P V .
2. Definir um APN
xQ tq0 , q1 , q2 u, T , V Ytzu pz R V q, , q0 , z, F tq2 uy
onde:
pq0 , , zq pq1 , Szq
pq1 , a, Aq pq1 , w q para cada A a w P P
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

21 / 30

Para cada GLC existe um APN


Ideia da prova:
1. Reduzir a gramatica G xV , T , S, Py a uma forma normal
conveniente (pseudo-Greibach), onde cada producao em P tem a
forma:
A aw
onde A P V , a P T Y tu e w P V .
2. Definir um APN
xQ tq0 , q1 , q2 u, T , V Ytzu pz R V q, , q0 , z, F tq2 uy
onde:
pq0 , , zq pq1 , Szq
pq1 , a, Aq pq1 , w q para cada A a w P P
pq1 , , zq pq2 , zq.
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

21 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

22 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
1. Convertemos a gramatica:
S ABC ,

U. Rivieccio (UFRN)

A aAa|a,

B bbB|bb,

Aut
omatos com pilha

C abC |

TdC 2015

22 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
1. Convertemos a gramatica:
S ABC ,

A aAa|a,

B bbB|bb,

C abC |

em forma normal de pseudo-Greibach:


S ABC , A aAXa |a,
Xa a, Xb b

U. Rivieccio (UFRN)

B bXb B|bXb ,

Aut
omatos com pilha

C aXb C |,

TdC 2015

22 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
1. Convertemos a gramatica:
S ABC ,

A aAa|a,

B bbB|bb,

C abC |

em forma normal de pseudo-Greibach:


S ABC , A aAXa |a,
Xa a, Xb b

B bXb B|bXb ,

C aXb C |,

(i) substituindo no lado direito de cada producao cada smbolo


terminal a (que nao seja o smbolo mais `a esquerda) com uma nova
variavel Xa , e (ii) adicionando a producao Xa a.
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

22 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
2. Construmos o APN
M xQ tq0 , q1 , q2 u, ta, bu,
tS, A, B, C , Xa , XB , zu, , q0 , z, F tq2 uy
onde e:
pq0 , , zq pq1 , Szq

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

23 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
2. Construmos o APN
M xQ tq0 , q1 , q2 u, ta, bu,
tS, A, B, C , Xa , XB , zu, , q0 , z, F tq2 uy
onde e:
pq0 , , zq pq1 , Szq
pq1 , , Sq pq1 , ABC q,

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

23 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
2. Construmos o APN
M xQ tq0 , q1 , q2 u, ta, bu,
tS, A, B, C , Xa , XB , zu, , q0 , z, F tq2 uy
onde e:
pq0 , , zq pq1 , Szq
pq1 , , Sq pq1 , ABC q, pq1 , a, Aq tpq1 , AXa q, pq1 , qu,

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

23 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
2. Construmos o APN
M xQ tq0 , q1 , q2 u, ta, bu,
tS, A, B, C , Xa , XB , zu, , q0 , z, F tq2 uy
onde e:
pq0 , , zq pq1 , Szq
pq1 , , Sq pq1 , ABC q, pq1 , a, Aq tpq1 , AXa q, pq1 , qu,
pq1 , b, Bq tpq1 , Xb Bq, pq1 , Xb qu,

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

23 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
2. Construmos o APN
M xQ tq0 , q1 , q2 u, ta, bu,
tS, A, B, C , Xa , XB , zu, , q0 , z, F tq2 uy
onde e:
pq0 , , zq pq1 , Szq
pq1 , , Sq pq1 , ABC q, pq1 , a, Aq tpq1 , AXa q, pq1 , qu,
pq1 , b, Bq tpq1 , Xb Bq, pq1 , Xb qu, pq1 , a, C q pq1 , Xb C q,

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

23 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
2. Construmos o APN
M xQ tq0 , q1 , q2 u, ta, bu,
tS, A, B, C , Xa , XB , zu, , q0 , z, F tq2 uy
onde e:
pq0 , , zq pq1 , Szq
pq1 , , Sq pq1 , ABC q, pq1 , a, Aq tpq1 , AXa q, pq1 , qu,
pq1 , b, Bq tpq1 , Xb Bq, pq1 , Xb qu, pq1 , a, C q pq1 , Xb C q,
pq1 , , C q pq1 , q,

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

23 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
2. Construmos o APN
M xQ tq0 , q1 , q2 u, ta, bu,
tS, A, B, C , Xa , XB , zu, , q0 , z, F tq2 uy
onde e:
pq0 , , zq pq1 , Szq
pq1 , , Sq pq1 , ABC q, pq1 , a, Aq tpq1 , AXa q, pq1 , qu,
pq1 , b, Bq tpq1 , Xb Bq, pq1 , Xb qu, pq1 , a, C q pq1 , Xb C q,
pq1 , , C q pq1 , q, pq1 , a, Xa q pq1 , q,

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

23 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
2. Construmos o APN
M xQ tq0 , q1 , q2 u, ta, bu,
tS, A, B, C , Xa , XB , zu, , q0 , z, F tq2 uy
onde e:
pq0 , , zq pq1 , Szq
pq1 , , Sq pq1 , ABC q, pq1 , a, Aq tpq1 , AXa q, pq1 , qu,
pq1 , b, Bq tpq1 , Xb Bq, pq1 , Xb qu, pq1 , a, C q pq1 , Xb C q,
pq1 , , C q pq1 , q, pq1 , a, Xa q pq1 , q,
pq1 , b, Xb q pq1 , q.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

23 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
2. Construmos o APN
M xQ tq0 , q1 , q2 u, ta, bu,
tS, A, B, C , Xa , XB , zu, , q0 , z, F tq2 uy
onde e:
pq0 , , zq pq1 , Szq
pq1 , , Sq pq1 , ABC q, pq1 , a, Aq tpq1 , AXa q, pq1 , qu,
pq1 , b, Bq tpq1 , Xb Bq, pq1 , Xb qu, pq1 , a, C q pq1 , Xb C q,
pq1 , , C q pq1 , q, pq1 , a, Xa q pq1 , q,
pq1 , b, Xb q pq1 , q.
pq1 , , zq pq2 , zq.
U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

23 / 30

Para cada GLC existe um APN


Exemplo (6.3.1)
, S|ABC a, A|AXa | b, B|Xb B|Xb
a, C |Xb C , C | a, Xa | b, Xb |

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

24 / 30

Para cada GLC existe um APN

Teorema (6.3.2)
Para qualquer linguagem livre do contexto LpG q gerada por uma
gramatica livre do contexto G , existe um APN M tal que
LpG q LpMq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

25 / 30

LpG q LpMq
Demonstracao.
Seja G xV , T , S, Py uma gramatica na forma de pseudoGreibach.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

26 / 30

LpG q LpMq
Demonstracao.
Seja G xV , T , S, Py uma gramatica na forma de pseudoGreibach.
Definimos um APN M como mostrado anteriormente:
xQ tq0 , q1 , q2 u, T , V Ytzu pz R V q, , q0 , z, F tq2 uy

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

26 / 30

LpG q LpMq
Demonstracao.
Seja G xV , T , S, Py uma gramatica na forma de pseudoGreibach.
Definimos um APN M como mostrado anteriormente:
xQ tq0 , q1 , q2 u, T , V Ytzu pz R V q, , q0 , z, F tq2 uy
Provemos que, se w P LpG q, entao w P LpMq: por inducao sobre o
numero de etapas na derivacao de w em G .

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

26 / 30

LpG q LpMq
Demonstracao.
Seja G xV , T , S, Py uma gramatica na forma de pseudoGreibach.
Definimos um APN M como mostrado anteriormente:
xQ tq0 , q1 , q2 u, T , V Ytzu pz R V q, , q0 , z, F tq2 uy
Provemos que, se w P LpG q, entao w P LpMq: por inducao sobre o
numero de etapas na derivacao de w em G .
Base. Se S w P P, entao w P T e conclumos w P LpMq usando
pq0 , , zq pq1 , Szq e pq1 , , Sq pq1 , w q.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

26 / 30

LpG q LpMq
Passo indutivo.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

27 / 30

LpG q LpMq
Passo indutivo.
Consideremos a derivacao:
S a1 . . . an A1 A2 . . . Am a1 . . . an bB1 . . . Bk A2 . . . Am

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

27 / 30

LpG q LpMq
Passo indutivo.
Consideremos a derivacao:
S a1 . . . an A1 A2 . . . Am a1 . . . an bB1 . . . Bk A2 . . . Am
Se M simula S a1 . . . an A1 A2 . . . Am , entao, apos ler a1 . . . an ,
a pilha deve conter A1 A2 . . . Am .

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

27 / 30

LpG q LpMq
Passo indutivo.
Consideremos a derivacao:
S a1 . . . an A1 A2 . . . Am a1 . . . an bB1 . . . Bk A2 . . . Am
Se M simula S a1 . . . an A1 A2 . . . Am , entao, apos ler a1 . . . an ,
a pilha deve conter A1 A2 . . . Am .
Para o proximo passo, G deve ter a producao A1 bB1 . . . Bk .

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

27 / 30

LpG q LpMq
Passo indutivo.
Consideremos a derivacao:
S a1 . . . an A1 A2 . . . Am a1 . . . an bB1 . . . Bk A2 . . . Am
Se M simula S a1 . . . an A1 A2 . . . Am , entao, apos ler a1 . . . an ,
a pilha deve conter A1 A2 . . . Am .
Para o proximo passo, G deve ter a producao A1 bB1 . . . Bk .
Por construcao de M, temos que pq1 , B1 . . . Bk q P pq1 , b, A1 q.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

27 / 30

LpG q LpMq
Passo indutivo.
Consideremos a derivacao:
S a1 . . . an A1 A2 . . . Am a1 . . . an bB1 . . . Bk A2 . . . Am
Se M simula S a1 . . . an A1 A2 . . . Am , entao, apos ler a1 . . . an ,
a pilha deve conter A1 A2 . . . Am .
Para o proximo passo, G deve ter a producao A1 bB1 . . . Bk .
Por construcao de M, temos que pq1 , B1 . . . Bk q P pq1 , b, A1 q.
A pilha agora contem B1 . . . Bk , A2 . . . Am apos ter lido a1 . . . an , b.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

27 / 30

LpG q LpMq

Portanto, se S w , entao pq1 , w , Szq $ pq1 , , zq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

28 / 30

LpG q LpMq

Portanto, se S w , entao pq1 , w , Szq $ pq1 , , zq.


Entao temos
pq0 , w , zq $ pq1 , w , Szq $ pq1 , , zq $ pq2 , , zq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

28 / 30

LpG q LpMq

Portanto, se S w , entao pq1 , w , Szq $ pq1 , , zq.


Entao temos
pq0 , w , zq $ pq1 , w , Szq $ pq1 , , zq $ pq2 , , zq.
Ou seja, LpG q LpMq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

28 / 30

LpMq LpG q
Seja agora w a1 . . . an P LpMq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

29 / 30

LpMq LpG q
Seja agora w a1 . . . an P LpMq.
Por definicao, pq0 , w , zq $ pq2 , , uq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

29 / 30

LpMq LpG q
Seja agora w a1 . . . an P LpMq.
Por definicao, pq0 , w , zq $ pq2 , , uq.
Mas, por construcao de M, temos pq1 , w , Szq $ pq1 , , zq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

29 / 30

LpMq LpG q
Seja agora w a1 . . . an P LpMq.
Por definicao, pq0 , w , zq $ pq2 , , uq.
Mas, por construcao de M, temos pq1 , w , Szq $ pq1 , , zq.
A primeira etapa em
pq1 , a1 . . . an , Szq $ pq1 , a2 . . . an , u1 zq $ pq1 , , zq
e dada por uma transicao da forma pq1 , u1 q P pq1 , a1 , Sq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

29 / 30

LpMq LpG q
Seja agora w a1 . . . an P LpMq.
Por definicao, pq0 , w , zq $ pq2 , , uq.
Mas, por construcao de M, temos pq1 , w , Szq $ pq1 , , zq.
A primeira etapa em
pq1 , a1 . . . an , Szq $ pq1 , a2 . . . an , u1 zq $ pq1 , , zq
e dada por uma transicao da forma pq1 , u1 q P pq1 , a1 , Sq.
Entao G tem uma regra S a1 u1 e portanto S a1 u1 .

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

29 / 30

LpMq LpG q
Escrevendo u1 Au2 , consideramos a proxima etapa
pq1 , a2 a3 . . . an , Au2 zq $ pq1 , a3 . . . an , u3 u2 zq.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

30 / 30

LpMq LpG q
Escrevendo u1 Au2 , consideramos a proxima etapa
pq1 , a2 a3 . . . an , Au2 zq $ pq1 , a3 . . . an , u3 u2 zq.
Entao G tem uma regra A a2 u3 e portanto S a1 a2 u3 u2 .

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

30 / 30

LpMq LpG q
Escrevendo u1 Au2 , consideramos a proxima etapa
pq1 , a2 a3 . . . an , Au2 zq $ pq1 , a3 . . . an , u3 u2 zq.
Entao G tem uma regra A a2 u3 e portanto S a1 a2 u3 u2 .
Em qualquer momento, o conteudo da pilha e igual `a parte nao
casada da forma sentencial.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

30 / 30

LpMq LpG q
Escrevendo u1 Au2 , consideramos a proxima etapa
pq1 , a2 a3 . . . an , Au2 zq $ pq1 , a3 . . . an , u3 u2 zq.
Entao G tem uma regra A a2 u3 e portanto S a1 a2 u3 u2 .
Em qualquer momento, o conteudo da pilha e igual `a parte nao
casada da forma sentencial.
Portanto, S a1 a2 . . . an , i.e. LpMq LpG q.

U. Rivieccio (UFRN)

Aut
omatos com pilha

TdC 2015

30 / 30

Você também pode gostar