Teoria Da Computação

Cursos:
Bacharelado em Cincia da Computao e

Bacharelado em Sistemas de Informao
Disciplinas: (1493A) Teoria da Computao e Linguagens Formais,
(4623A) Teoria da Computao e Linguagens Formais e
(1601A) Teoria da Computao
Professora: Simone das Graas Domingues Prado
simonedp@fc.unesp.br
e-mail:
home-page: wwwp.fc.unesp.br/~simonedp/discipl.htm
Apostila 03
Assunto:
Linguagens Livres de Contexto
Objetivos:
Estudar as linguagens livres de contexto

Estudar as gramticas livres de contexto
Estudar os autmatos com pilha
Contedo:
1.
2.
3.
4.
5.
6.
7.
8.
Introduo
Gramtica Livre de Contexto
rvore de derivao
Ambigidade
Simplificao de GLC
Formas Normais
Autmato com pilha
Propriedades das Linguagens Livres de Contexto
_______________________________________________________________________________________________________________
Teoria da Computao e Linguagens Formais - Simone Domingues Prado Apostila 03
-1-
1. Introduo
Foi visto na primeira apostila (TC01.pdf) a hierarquia de Chomsky (veja a figura 1). Na segunda
(TC02.pdf) foram tratadas as linguagens regulares que so as mais simples das linguagens, sendo possvel
desenvolver algoritmos de reconhecimento ou de gerao de pouca complexidade, grande eficincia e de
fcil implementao.
Figura 1. Hierarquia de Chomsky

As Linguagens Livres de Contextos compreendem uma abordagem mais ampla do que as Linguagens
Regulares tratando, de forma apropriada, as questes de balanceamentos entre parnteses e blocos de
programas. Os seus algoritmos so simples e possuem uma boa eficincia.
Nessa Apostila sero abordadas as Linguagens Livres de Contexto a partir de dois formalismos:
Operacional ou reconhecedor uso dos autmatos com pilha (AP)
Axiomtico ou gerador gramtica livre de contexto (GLC)
2. Gramtica Livre de Contexto

Definio 1.
Uma gramtica G = (V, T, S, P) dita ser uma Gramtica Livre de Contexto (GLC) se todas as suas
produes, em P, so da forma:
A
onde A V e (V T)*.
Como A V, ento, do lado esquerdo da produo, aparece somente uma varivel. Entretanto, do lado
direito, podem aparecer quaisquer combinaes, j que (V T)*, ou seja, quaisquer combinaes
entre as variveis e os smbolos terminais.
_______________________________________________________________________________________________________________
-2-
Exemplo 01
L1 = { anbn | n 0} uma LLC
com G1 = ({S}, {a,b}, S, P) tal que
P = { S aSb
S }
Ento as cadeias { , ab, aabb, aaabbb ... } pertencem a L1
Exemplo 02
L2 = { wwR | w {a,b}*} uma LLC
com G2 = ({S}, {a,b}, S, P) tal que
P = { S aSa
S bSb
S }
Ento as cadeias { , aa, bb, abba, aabbaa, aabbbbaa ... } pertencem a L2
Exemplo 03
L3 composta de expresses aritmticas contendo parnteses balanceados, um operador e dois operandos:
com G3 = ({S}, {+, *, (, ), a}, S, P) tal que
P= { SS+S
SS*S
S(S)
Sa }
Ento as cadeias { a, a+a, a*a, (a+a), (a*a), (a+a)*a ... } pertencem a L3
3. rvore de derivao
Definio 2
Seja uma Gramtica G = (V, T, S, P).
Uma Derivao Esquerda aquela que, em cada passo, a varivel A V, mais esquerda,
substituda.
Uma Derivao Direita aquela que, em cada passo, a varivel A V, mais direita, substituda.
Exemplo 04
Seja L = {anbm | n m}, uma linguagem livre de contexto, com G = ({S,T,A,B}, {a,b}, S, P), onde as
produes so da forma:
S AT | TB
T aTb |
A aA | a
B bB | b
_______________________________________________________________________________________________________________
-3-
Verifique as derivaes abaixo:

S AT aAT aaT aaaTb aaab
S AT AaTb Aab aAab aaab
Derivao 01:
Derivao 02:
Pela Definio02 tem-se que a Derivao 01 uma derivao esquerda e a Derivao 02 uma
derivao direita. Percebe-se que as duas derivaes so diferentes e resultam na mesma cadeia. Isso
quer dizer que a gramtica construda ambgua. Esse conceito ser mais bem formalizado adiante.
Outra forma de mostrar as derivaes atravs das rvores de derivao.
Definio 3
Para uma determinada Gramtica Livre de Contexto, G = (V, T, S, P), a representao da derivao das
cadeias na forma de rvore, denominada rvore de Derivao, como segue:
a) a raiz o smbolo inicial da gramtica, portanto S;
b) os vrtices interiores obrigatoriamente so variveis.
Se A um vrtice interior e X1, X2, ..., Xn so os filhos de A, ento A X1 X2 ... Xn uma
produo da gramtica e os vrtices X1, X2, ..., Xn so ordenados da esquerda para a direita;
c) um vrtice folha um smbolo terminal ou o smbolo (vazio).
Se a folha o smbolo vazio, ele o nico filho, ou seja, A .
Exemplo 05
L1 = { anbn | n 0} uma LLC, com G1 = ({S},{a,b},S,P1) tal que P1 = { S aSb, S }
Ento a cadeia aabb pertence a L1. A rvore de derivao dada pela figura 2.
Exemplo 06
L2 composta de expresses aritmticas contendo parnteses balanceados, um operador e dois operandos,
com G2 = ({S}, {+, *, (, ), a}, S, P2) tal que P2 = {S S + S | S * S | ( S ) | a }
Ento a cadeia a+a*a pertence a L2. A rvore de derivao dada pela figura 3.
S
S
a
Figura 2. cadeia aabb L1
S
a
Figura 3. cadeia a+a*a L2
_______________________________________________________________________________________________________________
-4-
4. Ambigidade
Definio 4
Uma Gramtica Livre de Contexto dita ser Gramtica Ambgua, se existe uma cadeia que possua duas
ou mais derivaes ou duas ou mais rvores de derivao.
Exemplo 07
L1 composta de expresses aritmticas contendo parnteses balanceados, um operador e dois operandos,
com G1 = ({S}, {+, *, (, ), a}, S, P1) tal que P1 = {S S + S | S * S | ( S ) | a }
A cadeia a+a*a, pertencente a L1 pode ter as derivaes:
SS+Sa+Sa+S*Sa+a*Sa+a*a
SS+SS+S*SS+S*aS+a*aa+a*a
e as rvores de derivao:
S
Ento a gramtica ambgua.
Definio 5
Uma Linguagem uma Linguagem Inerentemente Ambgua se qualquer Gramtica Livre de Contexto
que a define ambgua.
Uma Linguagem uma Linguagem No Ambgua se existir uma Gramtica Livre de Contexto, que a
define, no ambgua.
_______________________________________________________________________________________________________________
-5-
Exemplo 08 - Linguagens no ambguas.

Seja G1 = ({S}, {a, +}, S, P1), tal que P1 = { S a | S + S}
Ento se pode gerar a cadeia a + a da forma:
S S + S S + a a + a (derivao direita)
S S + S a + S a + a (derivao esquerda)
Portanto G1 ambgua
Seja G2 = ({S}, {a, +}, S, P2), tal que P2 = { S a | a + S}
Sa+Sa+aa+a
Portanto G2 no ambgua
Seja G3 = ({S}, {a, +}, S, P3), tal que P3 = { S a | a + a | S + S}
Sa+a
S S + S S + a a + a (derivao direita)
S S + S a + S a + a (derivao esquerda)
Portanto G3 ambgua
Entretanto a Linguagem, L = L(G1) = L(G2) = L(G3), no ambgua, j que existe uma gramtica
(G2) que no ambgua.
Exemplo 09 - Linguagens inerentemente ambguas.
A linguagem L = { an bm cm | n 0, m 0} { an bm cn | n 0, m 0} inerentemente ambgua.
Vejamos porque:
L = L1 L2
L1 gerada pela Gramtica G1 = ({S1, A},{a,b,c}, S1, P1), tal que P1 = {S1S1c | A, A aAb | }
L2 gerada pela Gramtica G2 = ({S2, B},{a,b,c}, S2, P2), tal que P2 = {S2aS2 | B, B bBc | }
L gerada pela gramtica, G = ({S1, A, S2, B},{a,b,c}, S, P), tal que P = P1 P2 { S S1| S2}
A gramtica G ambgua desde que a cadeia anbncn (a nica resultante da unio das duas linguagens) tem
duas derivaes distintas (uma a partir de S1 e outra a partir de S2).
_______________________________________________________________________________________________________________
-6-
5. Simplificao de Gramticas Livres de Contexto

A simplificao acontece para a otimizao de construes de gramticas e por conseqncia na
otimizao de algoritmos e demonstrao de teoremas. A seguir sero vistas as seguintes simplificaes:
Retirada de produes vazias da forma A
Retirada de produes da forma A B que simplesmente substituem uma varivel por outra.
Retirada de variveis ou smbolos terminais no usados
5.1. Retirada de produes vazias

Considere a Gramtica Livre de Contexto G = (V, T, S, P). O algoritmo para retirada das produes vazias
composto por trs etapas, como segue:
Etapa1: Definio do conjunto de variveis que constituem produes vazias (V)
Etapa2: Definio do conjunto de produes sem produes vazias.
Etapa3: Incluso de gerao da palavra vazia, se necessrio.
Etapa1: Conjunto de variveis que constituem produes vazias
No final dessa etapa ser construdo um conjunto de variveis que geram , ou seja, V.
Rotina para construo de V
V = {A | A };
Repita
V = V { X | X X1 ... Xn P tal que X1, ...., Xn V }
At que o cardinal de V no aumente
Lembre-se que cardinal de um conjunto corresponde ao tamanho deste conjunto. Assim, a rotina encerra o
comando Repita ... At ... quando o conjunto V no se alterar.
Etapa2: Conjunto de produes sem produes vazias.
A gramtica resultante dessa etapa G1 = (V, T, S, P1) onde o conjunto de produes P1 construdo pela
rotina abaixo.
Rotina para construo de P1
P1 = {A | }
Repita
para toda produo A P e X V tal que = 1 X 2 e 12 faa
P1 = P1 { A 12 }
At que o cardinal de P1 no aumente
Etapa3: Incluso de gerao da palavra vazia, se necessrio.
Se a palavra vazia pertence linguagem, ento a gramtica resultante desta etapa G2 = (V, T, S, P2),
com P2 = P1 { S }
_______________________________________________________________________________________________________________
-7-
Exemplo 10
Seja G = ({S, X, Y}, {a,b}, P, S) com P = {S aXa | bXb | , X a | b | Y, Y ab | }
Etapa1:
V = {Y | Y } = { Y }
V = {S | S } = { S, Y }
1a. iterao: V = { Y } { X | X Y } = {S, Y, X}
Portanto V = {S, X, Y}
Etapa2:
P1 = { S aXa | bXb , X a | b | Y, Y ab }
P1 = { S aXa | bXb , X a | b | Y , Y ab } { S aa | bb } =
1a. iterao = { S aXa | bXb | aa | bb , X a | b | Y, Y ab }
a
P1 = { S aXa | bXb | aa | bb, X a | b | Y , Y ab } =
2 . iterao = { S aXa | bXb | aa | bb , X a | b | Y, Y ab }
Ento G1 = (V, T, S, P1) onde P1 = { S aXa | bXb | aa | bb , X a | b | Y , Y ab }
Etapa3:
P2 = P1 { S }
Ento G2 = (V, T, S, P2), com P2 = { S aXa | bXb | aa | bb | , X a | b | Y , Y ab }
5.2. Retirada de produes da forma A B

Considere a Gramtica Livre de Contexto G = (V, T, S, P). O algoritmo para retirada dessas produes
composto por duas etapas, como segue:
Etapa1: Construo do fecho de cada varivel
Etapa2: Excluso das produes da forma A B.
Etapa1: construo do fecho de cada varivel
Rotina para construo dos fechos
Para toda varivel A V faa
fecho-A = {B | A B e A + B usando exclusivamente produes da forma X Y};
Etapa2: excluso das produes da forma A B.
A gramtica resultante dessa etapa G1 = (V, T, P1, S) onde P1 construdo como na rotina a seguir:
Rotina para gerao de P1
P1 = { A | V};
Para toda varivel A V e B fecho-A faa
Se B P e V
Ento P1 = P1 { A };
_______________________________________________________________________________________________________________
-8-
Exemplo 11
Considere a Gramtica obtida do exerccio 10:
G = ({S,X,Y}, {a,b}, S, P), com P = { S aXa | bXb | aa | bb | , X a | b | Y, Y ab }
Etapa1:
Para toda varivel A V, ento S, X e Y
fecho-S =
fecho-X = {Y}
fecho-Y =
Etapa2:
P1 = { S aXa | bXb | aa | bb | , X a | b , Y ab }
1a.iterao - S {S,X,Y}
fecho-S = ento (FALHA)
a
2 .iterao - X {S,X,Y} e Y fecho-X = {Y}
Como Y ab, ento X ab
Ento P1 = {S aXa | bXb | aa | bb | , Xa|b,Yab} {X ab} =
P1 = {S aXa | bXb | aa | bb | , Xa | b | ab, Yab}
A gramtica resultante G1 = (V, T, P1, S) onde P1 = {S aXa | bXb | aa | bb | , Xa | b | ab, Yab}
5.3. Retirada de smbolos no usados

Considere a Gramtica Livre de Contexto G = (V, T, S, P). O algoritmo para retirada dos smbolos inteis
composto por duas etapas, como segue:
Etapa1: Garantia de que qualquer varivel gera terminais.
Etapa2: Garantia de que qualquer smbolo atingvel a partir do smbolo inicial.
Etapa1: garante que qualquer varivel gera terminais. Resultado: G1 = (V1, T, S, P1)
Ao final dessa etapa construda a Gramtica Livre de Contexto G1 = (V1, T, S, P1) com V1 construdo
como na rotina a seguir e P1 possuir os mesmos elementos de P excetuando-se as produes cujas
variveis no pertencem a V1.
Rotina para gerao de V1:
V1 = ;
Repita
V1 = V1 { A | A P e (T V1)*}
At que o cardinal de V1 no se altere.
Lembre-se que cardinal de um conjunto corresponde ao tamanho deste conjunto. Assim, a rotina encerra o
comando Repita ... At ... quando o conjunto V1 no se alterar.
_______________________________________________________________________________________________________________
-9-
Etapa2: garante que qualquer smbolo atingvel a partir do smbolo inicial.

Ao final dessa etapa construda a Gramtica Livre de Contexto G2 = (V2, T2, S, P2) com V2 construdo e
T2 construdos como a rotina abaixo e o conjunto P2 possuir os mesmos elementos de P1 excetuando-se
as produes cujos smbolos no pertencem a V2 ou T2.
Rotina para a gerao de V2 e T2 :
T2 = ;
V2 = { S };
Repita
V2 = V2 { A | X A P1, X V2 };
T2 = T2 { a | X a P1, X V2 };
At que os cardinais de V2 e T2 no aumentem.
Exemplo 12
A gramtica resultante do exerccio 11 foi G = (V, T, P, S) onde
P = {S aXa | bXb | aa | bb | , Xa | b | ab, Yab}
Etapa1:
A gerao de V1
V1 = ;
1a. interao - V1 = { S, X, Y | S aa | bb, X a | b | ab, Yab } = {S, X, Y}
Ento V1 = {S, X, Y}
Ento P1 = P
Etapa2:
A gerao de V2 e T2
T2 = ;
V2 = { S };
1a. interao - V2 = {S} { A | B A P1, B {S}} =
= {S} { X | S a X a } = {S, X}
T2 = { a | B a P1, B {S, X}} =
= { a | X a} = {a}
2a. interao - V2 = {S, X} { A | B A P1, B {S,X}} =
= {S, X} = {S, X}
T2 = {a} { a | B a P1, B {S, X}} =
= {a} { b | X b } = {a,b}
Ento V2 = {S, X} e T2 = {a,b}
Ento P2 = P = {S aXa | bXb | aa | bb | , Xa | b | ab } , j que Y V2
Assim, G2 = ({S, X}, {a,b}, S, P2), com P2 = {S aXa | bXb | aa | bb | , Xa | b | ab }
Portanto, a partir de:
G = ({S, X, Y}, {a,b}, P, S) com P = {S aXa | bXb | , X a | b | Y, Y ab | }
Obteve-se:
G2 = ({S, X}, {a,b}, S, P2), com P2 = {S aXa | bXb | aa | bb | , Xa | b | ab }
_______________________________________________________________________________________________________________
- 10 -
5.4. Simplificaes combinadas

Deve-se seguir a seguinte seqncia:
1. Retirada de produes vazias (A )
2. Retirada de produes da forma A B
3. Retirada de smbolos no usados
Exemplo 13
Seja G = ({S,X,Y,Z,A,B}, {a,b,u,v}, S, P), onde
P = { S XYZ,
X AXA | BXB| Z | ,
Y AYB | BYA | Z | ,
Z Zu | Zv | ,
A a,
B b}
1. Fase: Retirada das produes vazias
Etapa 1.1: Definio do conjunto de variveis que constituem produes vazias (V)
V = {X, Y, Z}, j que X , Y e Z
Mas como S XYZ e todas essas variveis j pertencem a V, ento S pertence, tambm a V
Ento V = {S, X, Y, Z}
Etapa 1.2: Definio do conjunto de produes sem produes vazias.
Primeiramente, faro parte do conjunto de produes, as produes que no so vazias, ou seja,
{A | }
Ento, P1 = {SXYZ, X AXA | BXB| Z, Y AYB | BYA | Z, Z Zu | Zv, A a, B b}
Depois, sero includas as produes que obedecem regra:
Se A P e X V tal que = 1 X 2 e 12 faa P1 = P1 { A 12 }
Assim,
P1 = P1 { S YZ | XZ | XY | X | Y | Z, X AA | BB, Y AB | BA, Z u | v }
Portanto P1 = {SXYZ | YZ | XZ | XY | X | Y | Z, X AXA | BXB| Z | AA | BB,
Y AYB | BYA | Z | AB | BA, Z Zu | Zv | u | v, A a, B b}
Etapa 1.3: Incluso de gerao da palavra vazia, se necessrio (S )
A palavra vazia pertencia linguagem, portanto precisa ser recolocada.
Portanto, G2 = ({S,X,Y,Z,A,B}, {a,b,u,v}, S, P2), onde
P2 = { SXYZ | YZ | XZ | XY | X | Y | Z | , X AXA | BXB| Z | AA | BB,
Y AYB | BYA | Z | AB | BA, Z Zu | Zv | u | v, A a, B b}
_______________________________________________________________________________________________________________
- 11 -
2. Fase: Retirada de produes da forma A B

Etapa 2.1: Construo do fecho de cada varivel
fecho-S = {X,Y,Z}
fecho-X = {Z}
fecho-Y = {Z}
fecho-Z =
fecho-A =
fecho-B =
Etapa 2.2: Excluso das produes da forma A B.
Primeiramente, forme o conjunto de produes excluindo as produes da forma A B
P3 = { SXYZ | YZ | XZ | XY | , X AXA | BXB| AA | BB,
Y AYB | BYA | AB | BA, Z Zu | Zv | u | v, A a, B b}
Passe por todas as variveis e seus fechos e faa:
Para varivel X e Z em seu fecho, acrescentaremos: X Zu | Zv | u | v
Para varivel Y e Z em seu fecho, acrescentaremos: Y Zu | Zv | u | v,
Para varivel S e X em seu fecho, acrescentaremos: S AXA | BXB| AA | BB
Para varivel S e Y em seu fecho, acrescentaremos: S AYB | BYA | AB | BA
Para varivel S e Z em seu fecho, acrescentaremos: S Zu | Zv | u | v,
Assim, P3 = { SXYZ |YZ|XZ|XY||AXA | BXB|AA |BB |AYB |BYA |AB |BA | Zu |Zv | u | v,
X AXA | BXB| AA | BB | Zu | Zv | u | v,
Y AYB | BYA | AB | BA | Zu | Zv | u | v,
Z Zu | Zv | u | v, A a, B b }
3. Fase: Retirada de smbolos no usados
Etapa 3.1: Garantia de que qualquer varivel gera terminais.
V1 = ;
V1 = { W | W P e (a,b,u,v)*} = {S, X, Y, Z, A, B}
Assim, P3 no se altera.
Etapa 3.2: garante que qualquer smbolo atingvel a partir do smbolo inicial.
T2 = ;
V2 = {S};
1a. interao - verifica quais variveis so vistas pelas variveis que esto em V2 = {S}.
Assim, V2 = {S} {X, Y, Z, A, B} = {S, X,Y,Z,A,B}
Verifica quais terminais so vistos pelas variveis que esto em V2
Assim, T2 = { a, b, u, v} = {a, b, u, v}
Ento V2 = { S, X, Y, Z, A, B} e T2 = {a, b, u, v}
Portanto a gramtica simplificada :
G3 = ({S,X,Y,Z,A,B}, {a,b,u,v}, S, P3), onde:
P3 = { SXYZ | YZ | XZ | XY | | AXA | BXB| AA | BB | AYB | BYA | AB | BA | Zu | Zv | u | v,
X AXA | BXB| AA | BB | Zu | Zv | u | v,
Y AYB | BYA | AB | BA | Zu | Zv | u | v,
Z Zu | Zv | u | v, A a, B b }
_______________________________________________________________________________________________________________
- 12 -
6. Formas Normais
Existem vrios conjuntos de formas normais para linguagens livres de contexto. Algumas delas so mais
teis e so mais estudadas. Aqui sero vistas duas: a Forma Normal de Chomsky e a Forma Normal de
Greibach.
Uma forma normal, a pesar de impor restries sobre as gramticas, suficientemente abrangentes para
permitir que qualquer gramtica tenha uma gramtica equivalente na forma normal.
6.1. Forma Normal de Chomsky

Definio 6
Uma Gramtica Livre de Contexto dita estar na Forma Normal de Chomsky se todas as produes so
da forma:
A BC ou A a
Onde A, B e C so variveis e a um terminal.
Teorema 1
Qualquer Gramtica Livre de Contexto G = (V, T, S, P) com L(G)
tem uma gramtica
Gfnc = (Vfnc, Tfnc, S, Pfnc)
na Forma Normal de Chomsky
Algoritmo
Transforma uma Gramtica Livre de Contexto em uma Gramtica na Forma Normal de Chomsky em trs
etapas:
Etapa1: Simplificao da gramtica
Etapa2: Transformao do lado direito das produes de comprimento maior ou igual a dois.
Etapa3: Transformao do lado direito das produes de comprimento maior ou igual a trs, em
produes com exatamente duas variveis.
_______________________________________________________________________________________________________________
- 13 -

A gramtica resultante desta etapa : G1 = (V1, T1, S, P1)
A gramtica resultante desta etapa : G2 = (V2, T1, S, P2), onde V2 e P2 so construdos atravs da rotina
abaixo:
V 2 = V 1;
P2 = P1;
Para toda produo A X1X2 ... Xn P2 tal que n 2 faa
se r {1, ..., n}, Xr um smbolo terminal
ento (suponha Xr = a)
V2 = V2 {Ca};
substitui a pela varivel Ca em A X1X2 ... Xn P2 ;
P2 = P2 {Ca a};
Etapa3: Transformao do lado direito das produes de comprimento maior ou igual a trs, em
produes com exatamente duas variveis.
A gramtica resultante desta etapa : G3 = (V3, T1, S, P3), onde V3 e P3 so construdos atravs da rotina
abaixo:
V 3 = V 2;
P3 = P2;
Para toda produo A B1B2 ... Bn P3 tal que n 3 faa
P3 = P3 { A B1B2 ... Bn };
V3 = V3 { D1D2 ... Dn-2 };
P3 = P3 {A B1D1, D1 B2D2, , Dn-3 Bn-2Dn-2, Dn-2 Bn-1Bn};
Exemplo 14
Considere a Gramtica G = ({S}, {+, *, [, ], x}, P, S), onde P = { S S + S | S * S | [ S ] | x}
Etapa1: Simplificao j est simplificada
Etapa2:
V2 = V = {S}
P2 = P = { S S + S | S * S | [ S ] | x}
Para
toda produo A X1X2 ... Xn P2 tal que n 2
SS+S
Faa: se para r {1, ..., 3}, Xr um smbolo terminal
ento (suponha Xr = +)
V2 = {S} {C+} = { S, C+}
S S C+ S
P2 = { S S C+ S | S * S | [ S ] | x} {C+ +} =
P2 = { S S C+ S | S * S | [ S ] | x, C+ +}
_______________________________________________________________________________________________________________
- 14 -
SS*S
Faa se r {1, ..., 3}, Xr um smbolo terminal
ento (suponha Xr = *)
V2 = { S, C+} {C*} = { S, C+,C*}
S S C* S
P2 = { S S C+ S | S C* S | [ S ] | x, C+ +} {C* *} =
P2 = { S S C+ S | S C* S | [ E ] | x, C+ +, C* *}
S[S]
Faa se r {1, ..., 3}, Xr um smbolo terminal
ento (suponha Xr = [)
V2 = { S, C+,C*} {C[} = { S, C+,C*,C[}
S C[ S ]
P2 = { S S C+ S | S C* S | C[ S ] | x, C+ +} {C[ [} =
P2 = { S S C+ S | S C* S | C[ S ] | x, C+ +, C[ [}
ento (suponha Xr = ])
V2 = { S, C+,C*,C[} {C]} = { S, C+,C*,C[,C]}
S C [ S C]
P2 = { S S C+ S | S C* S | C[ S C] | x, C+ +, C[ [} {C] ]}
P2 = { S S C+ S | S C* S | C[ S C] | x, C+ +, C[ [,C] ]}
Ento V2 = { S, C+,C*,C[,C]}
P2 = { S S C+ S | S C* S | C[ S C] | x, C+ +, C[ [, C] ]}
Etapa3:
V3 = V2 = { S, C+,C*,C[,C]}
P3 = P2 = { S S C+ S | S C* S | C[ S C] | x, C+ +, C[ [, C] ]}
Para toda produo A B1B2 ... Bn P3 tal que n 3
S S C+ S
P3 = P3 { S S C+ S } = { S S C* S | C[ S C] | x, C+ +, C[ [, C] ]}
V3 = V3 { D1} = { S, C+,C*,C[,C], D1 }
P3 = P3 {S SD1, D1 C+ S} =
= { S S C* S | C[ S C] | x | SD1, C+ +, C[ [, C] ], D1 C+ S}
S S C* S
P3 = P3 { S S C* S } =
= {S C[ S C] | x | SD1, C+ +, C[ [, C] ], D1 C+ S}
V3 = V3 { D2} = { S, C+,C*,C[,C], D1, D2}
P3 = P3 {S SD2, D2 C* S} =
= {S C[ SC] | x | SD1 | SD2, C+ +, C[ [, C] ], D1 C+ S, D2 C* S}
S C[ S C]
P3 = P3 { S C[ S C] } =
= {S x | SD1 | SD2, C+ +, C[ [, C] ], D1 C+ S, D2 C* S}
V3 = V3 { D3} = { S, C+,C*,C[,C], D1, D2, D3}
P3 = P3 {S C[ D3, D3 S C] } =
= {S x|SD1|SD2|C[D3, C++, C[[, C]], D1C+ S, D2C* S, D3S C]}
_______________________________________________________________________________________________________________
- 15 -
Portanto, a Gramtica na Forma Normal de Chomsky, pode ser dada por:

Gfnc = (Vfnc, Tfnc, S, Pfnc), onde
Vfnc = { S, C+,C*,C[,C], D1, D2, D3}
Tfnc = {+, *, [, ], x}
Pfnc = {S x,
S SD1,
S SD2,
S C[D3,
C++,
C[[,
C]],
D1C+ S,
D2C* S,
D3S C]}
Exemplo 15
Considere a Gramtica G = ({S, A, B}, {a,b}, S, P), P = {S abAB, A bAB|, B BAa|A|}
Etapa1: Simplificao
1. Fase: Retirada das produes vazias
Etapa 1.1: Definio do conjunto de variveis que constituem produes vazias (V)
V = {A, B}, j que A e B
Ento V = {A,B}
Etapa 1.2: Definio do conjunto de produes sem produes vazias.
Primeiramente, faro parte do conjunto de produes, as produes que no so vazias
Ento, P1 = {S abAB, A bAB, B BAa | A}
Depois, sero includas as produes que obedecem regra:
Se A P e X V tal que = 1 X 2 e 12 faa P1 = P1 { A 12 }
Assim, P1 = P1 { S abB | abA | ab , A bB | bA | b, B Ba | Aa | a}
Portanto P1 = { S abAB| abB | abA | ab, A bAB | bB | bA | b, B BAa | A | Ba | Aa | a }
Etapa 1.3: Incluso de gerao da palavra vazia, se necessrio (S )
A palavra vazia no pertencia linguagem, portanto no precisa ser recolocada.
Portanto, G1 = ({S, A, B}, {a,b}, S, P1), onde
P1 = { S abAB| abB | abA | ab, A bAB | bB | bA | b, B BAa | A | Ba | Aa | a }
fecho-S =
fecho-A =
fecho-B = {A}
_______________________________________________________________________________________________________________
- 16 -

P2 = { S abAB| abB | abA | ab, A bAB | bB | bA | b, B BAa | Ba | Aa | a }
Passe por todas as variveis e seus fechos:
Para fecho-B = {A}, acrescentaremos: B bAB | bB | bA | b
Assim, P2 ={SabAB| abB |abA |ab, AbAB | bB | bA | b, BBAa |Ba | Aa | bAB | bB | bA |a|b}
Portanto, G2 = ({S, A, B}, {a,b}, S, P2), onde
P2 ={SabAB| abB |abA |ab, AbAB | bB | bA | b, BBAa |Ba | Aa | bAB | bB | bA |a|b}
V2 = ;
V2 = { W | W P e (a,b)*} = {S, A, B}
T3 = ;
V3 = {S};
Assim, V3 = {S} { A, B} = {S, A,B}
Assim, T3 = { a, b } = {a, b }
Ento V3 = { S, A, B} e T3 = {a, b}
Portanto a gramtica simplificada G2 = ({S, A,B}, {a,b}, S, P2), onde:
P2 = { S abAB | abB | abA | ab,
A bAB | bB | bA | b,
B BAa | Ba | Aa | bAB | bB | bA | a | b}
V3 = {S,A,B};
P3 = {S abAB | abB | abA | ab, A bAB | bB | bA | b, B BAa | Ba | Aa | bAB | bB | bA | a | b};
V3 = V3 {Ca , Cb} = {S,A,B,Ca,Cb};
deve-se acrescentar as produes: {Ca a, Cb b} e fazer as substituies.
P3 = { S CaCbAB | CaCbB | CaCbA | CaCb, A CbAB | CbB | CbA | b,
B BACa | BCa | ACa | CbAB | CbB | CbA | a | b, Ca a, Cb b};
Etapa3: Transformao do lado direito das produes de comprimento maior ou igual a trs, em produes
com exatamente duas variveis.
V4 = V3 = {S,A,B,Ca,Cb};
P4 = P3;
Verifique as produes que possuam mais de 2 variveis e as retire de P4
Ento: P4 = {S CaCb, A CbB | CbA | b, B BCa | ACa | CbB | CbA | a | b, Ca a, Cb b};
Para cada produo retirada, { S CaCbAB | CaCbB | CaCbA, A CbAB, B BACa| CbAB}
S CaCbAB
V4 = V4 {D1, D2} = {S,A,B,Ca,Cb,D1, D2}
P4 = P4 {S CaD1, D1 CbD2, D2 AB}
_______________________________________________________________________________________________________________
- 17 -
S CaCbB
V4 = V4 {D3} = {S,A,B,Ca,Cb,D1,D2,D3}
P4 = P4 {S CaD3, D3 CbB}
S CaCbA
V4 = V4 {D4} = {S,A,B,Ca,Cb,D1,D2,D3,D4}
P4 = P4 {S CaD4, D4 CbA}
A CbAB
V4 = V4 {D5} = {S,A,B,Ca,Cb,D1,D2,D3,D4,D5}
P4 = P4 { A CbD5, D5 AB}
B BACa
V4 = V4 {D6} = {S,A,B,Ca,Cb,D1,D2,D3,D4,D5,D6}
P4 = P4 { B BD6, D6 ACa}
B CbAB
V4 = V4 {D7} = {S,A,B,Ca,Cb,D1,D2,D3,D4,D5,D6,D7}
P4 = P4 { B CbD7, D7 AB}
Portanto, a Gramtica G = ({S, A, B}, {a,b}, S, P), P = {S abAB, A bAB|, B BAa|A|}, na

Forma Normal de Chomsky :
G = ({S,A,B,Ca,Cb,D1,D2,D3,D4,D5,D6,D7}, {a,b}, S, P4),
P4 = { S CaCb | CaD1 | CaD3 | CaD4
A CbB | CbA | CbD5 | b
B BCa | ACa | CbB | CbA | BD6 | CbD7 | a | b
D1 CbD2,
D2 AB,
D3 CbB,
D4 CbA,
D5 AB,
D6 ACa,
D7 AB,
Ca a,
Cb b }
6.2. Forma Normal de Greibach

Definio 7
Uma Gramtica Livre de Contexto dita estar na Forma Normal de Greibach se todas as produes so
da forma:
A a
Onde A uma varivel, a um terminal e uma cadeia de variveis.
_______________________________________________________________________________________________________________
- 18 -
Teorema 2
Qualquer Gramtica Livre de Contexto G = (V, T, S, P) com L(G)
tem uma gramtica Gfng = (Vfng, Tfng, S, Pfng)
na Forma Normal de Greibach
Algoritmo
Transforma uma Gramtica Livre de Contexto em uma Gramtica na Forma Normal de Greibach em seis
etapas:
Etapa 1: Simplificao da gramtica
Etapa 2: Renomeao das variveis em uma ordem crescente qualquer
Etapa 3: Transformao de produes para a forma Ar As , onde r s
Etapa 4: Excluso das recurses da forma Ar Ar.
Etapa 5: Um terminal no incio do lado direito de cada produo.
Etapa 6: Produes na forma A a onde composta por variveis.

A gramtica resultante desta etapa : G1 = (V1, T1, S, P1)
Etapa2: Renomeao das variveis em uma ordem crescente qualquer
A gramtica resultante desta etapa : G2 = (V2, T1, S, P2) onde V2 e P2 so construdos como segue:
Supondo que o cardinal de V1 n,
V2 = { A1, A2, ..., An} e V1 onde as variveis so renomeadas;
P2 P1 renomeando as variveis nas produes.
Etapa 3 e 4: Transformao de produes para a forma Ar As , onde r s e Excluso das
recurses da forma Ar Ar.
A gramtica resultante destas duas etapas realizadas em conjunto : G3 = (V3, T1, S, P3) onde V3 e P3 so
construdos como a rotina a seguir e supondo o cardinal de V2 = n
P3 = P2;
V 3 = V 2;
Para r variando de 1 at n faa
Para s variando de 1 at r-1 faa
Para toda produo Ar As P3 faa
Excluir a produo Ar As de P3
Para toda produo As P3 faa
P3 = P3 { Ar }
_______________________________________________________________________________________________________________
- 19 -
Para toda produo Ar Ar P3 faa

Excluir a produo Ar Ar de P3
V3 = V3 {Br}
P3 = P3 {Br } {Br Br}
Para toda produo Ar P3 tal que no inicia por Ar e alguma Ar Ar foi excluda
faa
P3 = P3 { Ar Br}

A gramtica resultante destas duas etapas realizadas em conjunto : G4 = (V3, T1, S, P4) onde P4
construdo a partir da rotina:
P4 = P3;
Para r variando de n-1 at 1 e toda Ar As P4 faa
Excluir a produo Ar As de P4;
Para toda produo As P4 faa
P4 = P4 { Ar }
Tambm necessrio garantir que as produes relativas s variveis auxiliares Br iniciam por um
terminal do lado direito, como segue:
Rotina para produes Br
Para toda produo Br Asr P4 faa
Excluir a produo Br Asr de P4
Para toda produo As a faa
P4 = P4 { Br ar}
A gramtica resultante desta etapa : G5 = (V4, T1, S, P5) onde P5 construdo a partir da rotina:
V 4 = V 3;
P5 = P4;
Para toda produo A aX1X2 ... Xn P5 faa
se para r {1, ..., n}, Xr um smbolo terminal
ento (suponha Xr = b)
V4 = V4 {Cb};
substitui b pela varivel Cb em A aX1X2 ... Xn P5 ;
P5 = P5 {Cb b};
_______________________________________________________________________________________________________________
- 20 -
Exemplo 16
Considere a Gramtica Livre de Contexto G = ({S,A}, {a,b}, S, P) onde P = { S AA | a, A SS | b}
A gramtica j est simplificada.

G2 = (V2, T, S, P2) onde V2 e P2 so dados abaixo:
V2 = { A1, A2}
P2 = { A1 A2A2 | a, A2 A1A1 | b}

P3 = P2 = { A1 A2A2 | a, A2 A1A1 | b}
V3 = V2 = {A1, A2};
Para r =1 (at 2) faa
Para s =1 (at r-1 = 0) .....
Para toda A1 A1 P3 ....
Para toda A1 P3 tal que no inicia por A1 e alguma A1 A1 foi excluda ....
Para r = 2 (at 2) faa

Para s =1 (at 1)
Para A2 A1 P3, portanto A2 A1A1 ( = A1)
Excluir A2 A1A1 de P3 ento P3 = { A1 A2A2 | a, A2 b}
Para toda A1 P3, ou seja, A1 A2A2 e A1 a , faa
P3 = P3 { A2 } = P3 { A2 A2A2A1} { A2 aA1}
P3 = { A1 A2A2 | a, A2 b | A2A2A1 | aA1}
Para toda A2 A2 P3 , portanto: A2 A2A2A1, com = A2A1, faa
Excluir A2 A2 A2A1 de P3, portanto P3 = { A1 A2A2 | a, A2 b | aA1}
V3 = V3 {B2} = {A1, A2, B2}
P3 = P3 {B2 A2A1 } {B2 A2A1B2}
P3 = { A1 A2A2 | a, A2 b | aA1, B2 A2A1 | A2A1B2}
Para toda A2 P3 , ou seja: A2 b | aA1, e A2 A2 A2A1 foi excluda faa
P3 = P3 { A2 B2} = P3 { A2 b B2 | aA1B2}
P3 = { A1 A2A2 | a, A2 b | aA1 | b B2 | aA1B2, B2 A2A1 | A2A1B2}
Assim, G3 = ({A1, A2, B2}, {a,b}, S, P3) onde
P3 = { A1 A2A2 | a, A2 b | aA1 | bB2 | aA1B2, B2 A2A1 | A2A1B2}
P4 = { A1 A2A2 | a, A2 b | aA1 | bB2 | aA1B2, B2 A2A1 | A2A1B2}

Para r = 2 (at 1) e toda A2 As P4 .....
Para r = 1 (at 1) e toda A1 As P4 , ento A1 A2A2 , com = A2 , faa
Excluir A1 A2A2 de P4, ento
P4 = { A1 a, A2 b | aA1 | bB2 | aA1B2, B2 A2A1 | A2A1B2}
Para toda A2 P4 , ou seja: A2 b | aA1 | bB2 | aA1B2, faa
P4 = P4 { A1 } = P4 { A1 bA2 | aA1A2 | bB2A2 | aA1B2A2 }
_______________________________________________________________________________________________________________
- 21 -
P4 = { A1 bA2 | aA1A2 | bB2A2 | aA1B2A2 | a, A2 b | aA1 | bB2 | aA1B2,

B2 A2A1 | A2A1B2}
Para toda Br Asr P4 , ou seja, B2 A2A1 | A2A1B2, faa
B2 A2A1, ento r = 2, As = A2 e r = A1
Excluir B2 A2A1 de P4, ento
B2 A2A1B2}
Para toda A2 a, ou seja, A2 b | aA1 | bB2 | aA1B2, faa
P4 = P4 { B2 ar} = P4 { B2 bA1| aA1A1| bB2A1 | aA1B2A1}
B2 A2A1B2| bA1| aA1A1| bB2A1 | aA1B2A1}
B2 A2A1B2, ento r = 2, As = A2 e r = A1B2
Excluir B2 A2 A1B2 de P4, ento
B2 bA1| aA1A1| bB2A1 | aA1B2A1}
Para toda A2 a, ou seja, A2 b | aA1 | bB2 | aA1B2, faa
P4 = P4 {B2ar} = P4 {B2 b A1B2| aA1 A1B2| bB2 A1B2 | aA1B2 A1B2}
B2 bA1| aA1A1| bB2A1 | aA1B2A1| bA1B2| aA1A1B2| bB2A1B2 | aA1B2A1B2}
G4 = ({A1, A2, B2}, {a,b}, A1, P4) com
Toda produo A a, composta por variveis. Ento no tem nada para fazer.
Portanto, a Gramtica G = ({S,A}, {a,b}, S, P) onde P = { S AA | a, A SS | b}

na Forma Normal de Greibach :
G4 = ({A1, A2, B2}, {a,b}, A1, P4) com
P4 = { A1 bA2 | aA1A2 | bB2A2 | aA1B2A2 | a,
A2 b | aA1 | bB2 | aA1B2,
_______________________________________________________________________________________________________________
- 22 -
Exemplo 17
Considere a Gramtica Livre de Contexto G = ({S,A}, {a,b}, S, P), P = {S aSaA | A, A abA | b}
Etapa1: Simplificao
1. Fase: Retirada das produes vazias no h produes vazias
fecho-S = {A}
fecho-A =
P2 = { S aSaA, A abA | b }
Passe por todas as variveis e seus fechos:
Para fecho-S = {A}, acrescentaremos: S abA | b
Assim, P2 ={ S aSaA | abA | b, A abA | b }
Portanto, G2 = ({S, A, B}, {a,b}, S, P2), onde P2 ={ S aSaA | abA | b, A abA | b }
V2 = ;
V2 = { W | W P e (a,b)*} = {S, A}
T3 = ;
V3 = {S};
Assim, V3 = {S} { A } = {S, A}
Assim, T3 = {a, b} = {a, b}
Ento V3 = { S, A} e T3 = {a, b}
Portanto a gramtica simplificada G2 = ({S, A}, {a,b}, S, P2), onde:
P2 ={ S aSaA | abA | b,
A abA | b }
G3 = ({ A1, A2}, T, S, P3) , P3 = { A1 a A1a A2 | abA2 | b, A2 ab A2 | b }

Como no temos Ar As, r s e nem Ar Ar, nada muda.
G3 = (V3, T, S, P3) , V3 = {A1, A2}, P3 = { A1 a A1a A2 | abA2 | b, A2 ab A2 | b }
_______________________________________________________________________________________________________________
- 23 -

Como j temos um terminal no incio de cada produo, nada se altera.
G3 = (V3, T, S, P3) , V3 = {A1, A2}, P3 = { A1 a A1a A2 | abA2 | b, A2 ab A2 | b }

V4 = V3 = {A1, A2};
P4 = P3 = { A1 a A1a A2 | abA2 | b, A2 ab A2 | b }
Como temos terminais em , ento se retira essas produes de P4 , ficando P4 ={ A1 b, A2 b }
Faz: V4 = V4 {Ca, Cb} = {A1, A2, Ca, Cb};
E: P4 = P4 { Ca a, Cb b};
Substitui os terminais nas produes excludas: { A1 a A1a A2 | abA2 , A2 ab A2 }
Obtendo: {A1 a A1 Ca A2 , A1 a Cb A2 ,A2 a Cb A2 }
Ento: V4 = {A1, A2, Ca, Cb};
P4 ={ A1 aA1CaA2 | aCbA2 | b, A2 aCbA2 | b , Ca a, Cb b}
Portanto, a Gramtica G = ({S,A}, {a,b}, S, P), P = {S aSaA | A, A abA | b},

na Forma Normal de Greibach :
G4 = ({A1, A2, Ca, Cb}, {a,b}, A1, P4),
P4 ={ A1 aA1CaA2 | aCbA2 | b,
A2 aCbA2 | b ,
Ca a,
Cb b}
7. Autmatos com Pilha (Pushdown Automata)

Os aceitadores ou reconhecedores das Linguagens Livres de Contexto so os Autmatos com Pilha. Os
Autmatos com Pilha podem ser determinsticos ou no determinsticos. Os mais usuais so os Autmatos
com Pilha no determinsticos.
Esses Autmatos possuem uma memria auxiliar para o processamento da entrada. Essa memria
definida como sendo uma pilha que no possui limite mximo de armazenamento, portanto, sendo infinita.
Por ser uma pilha o ltimo smbolo gravado na pilha o primeiro a ser lido.
Enquanto os Autmatos Finitos eram definidos como sendo M = ( Q, , , q0, F), onde
Q conjunto finito de estados
alfabeto de entrada, conjunto finito de smbolos
funo de transio ou funo programa definido por : Q x Q
q0 estado inicial ( q0 Q )
F conjunto de estados finais ( F Q )
O Autmato com Pilha pode ser definido como abaixo.
_______________________________________________________________________________________________________________
- 24 -
Definio 8
Um Autmato com Pilha No Determinstico (APND) definido pela stupla: M = (Q, , , , q0, z, F)
Onde: Q conjunto finito de estados
alfabeto de entrada, conjunto finito de smbolos
conjunto finito de smbolos, chamado de alfabeto da pilha
funo de transio ou funo programa definido por : Q x ( {}) x ( {}) 2Qx*
q0 estado inicial ( q0 Q )
z smbolo inicial da pilha ( z )
F conjunto de estados finais ( F Q )
Exemplo 18
Seja a funo de transio (q1, a, b) = {(q2, cd), (q3, )}
Ento:
Se em algum momento, o AP estiver no estado q1, o smbolo lido a e o smbolo desempilhado b (o
topo da pilha continha b)
Ento:
vai para o estado q2 e cd empilhado
vai para o estado q3 e nada empilhado
Assume-se que a insero de um conjunto de smbolos (por exemplo o cd do exemplo anterior) na pilha
feita smbolo por smbolo, da direita para a esquerda.
Exemplo 19
Seja o Autmato com Pilha No Determinstico:
M = ({ q0, q1, q2, q3}, {a, b}, {0,1}, , q0, 0, {q3}), onde:
(q0, a, 0) = {(q1,10), (q3, )},
(q0, , 0) = {(q3,)},
(q1, a, 1) = {(q1,11)},
(q1, b, 1) = {(q2, )},
(q2, b, 1) = {(q2, )},
(q2, , 0) = {(q3, )}.
A leitura das funes de transio pode ser feita:
(q0, a, 0) = {(q1,10), (q3, )}
Estando no estado q0, lido o smbolo a e desempilhado o smbolo 0,
ento desempilha 0 e pode-se ir para q1 e empilhar 10 ou ir para q3 e no empilhar nada.
(q0, , 0) = {(q3,)}
Estando no estado q0, lido o smbolo e desempilhado o smbolo 0,
ento desempilha 0, vai para q3 e no se empilha nada.
_______________________________________________________________________________________________________________
- 25 -
(q1, a, 1) = {(q1,11)}
Estando no estado q1, lido o smbolo a e desempilhado o smbolo 1,
ento desempilha 1, vai para q1 e empilha-se 11.
(q1, b, 1) = {(q2, )},
Estando no estado q1, lido o smbolo b e desempilhado o smbolo 1,
(q2, b, 1) = {(q2, )},
Estando no estado q2, lido o smbolo b e desempilhado o smbolo 1,
(q2, , 0) = {(q3, )}.
Estando no estado q2, lido o smbolo e desempilhado o smbolo 0,
7.1. A linguagem aceita por um Autmato com Pilha

Definio 9
Um Autmato com Pilha No Determinstico (APND) definido pela stupla:
M = (Q, , , , q0, z, F)
A linguagem aceita por M o conjunto:
L(M) = { w *: (q0, w, z) * M(p, , u), p F, u *}
Ou seja, a linguagem aceita por um autmato o conjunto de todas as cadeias/palavras que podem colocar
o autmato em um estado final quando atingir o fim da string. O contedo da pilha irrelevante para essa
definio.
Considerando o APND do exerccio 19,
M = ({ q0, q1, q2, q3}, {a, b}, {0,1}, , q0, 0, {q3}), onde:
(q0, a, 0) = {(q1,10), (q3, )},
(q0, , 0) = {(q3,)},
(q1, a, 1) = {(q1,11)},
(q1, b, 1) = {(q2, )},
(q2, b, 1) = {(q2, )},
(q2, , 0) = {(q3, )}.
Sabendo-se que:
q0 estado inicial
0 smbolo inicial da pilha, portanto Pilha = {0}
{q3} conjunto de estados finais
_______________________________________________________________________________________________________________
- 26 -
Pode-se intuitivamente concluir:

(1) As cadeias {a, } so reconhecidas pelo autmato, j que:
Por (q0, a, 0) = {(q3, )}, chega-se ao estado final. Portanto a reconhecida pelo autmato.
Por (q0, , 0) = {(q3, )}, chega-se ao estado final. Portanto reconhecida pelo autmato.
(2) A cadeia {ab} reconhecida pelo autmato, j que:
Pilha = {0}
Por (q0, a, 0) = {(q1,10)}, Pilha = {10}
Por (q1, b, 1) = {(q2, )}, Pilha = {0}
Por (q2, , 0) = {(q3, )}, Pilha = {}
(3) A cadeia {aabb} reconhecida pelo autmato, j que:
Pilha = {0}
Por (q0, a, 0) = {(q1,10)}, Pilha = {10}
Por (q1, a, 1) = {(q1,11)}, Pilha = {110}
Por (q1, b, 1) = {(q2, )}, Pilha = {10}
Por (q1, b, 1) = {(q2, )}, Pilha = {0}
Por (q2, , 0) = {(q3, )}, Pilha = {}
Percebe-se que esse autmato reconhece a linguagem:
L = { a, , ab, aabb, ....} = {anbn: n0} {a}
Exemplo 20
Seja a linguagem L = {w {a,b}* | w possui o mesmo nmero de a e de b}
Ento o autmato M = ({q0, qf}, {a, b}, {0, 1, z}, , q0, z, {qf}), onde:
(q0, , z) = {(qf, z)},
(q0, a, z) = {(q0, 0z) },
(q0, b, z) = {(q0, 1z)},
(q0, a, 0) = {(q0, 00)},
(q0, b, 0) = {(q0, )},
(q0, a, 1) = {(q0, )},
(q0, b, 1) = {(q0, 11)}.
Processando:
(q0, baab, z)
(q0, aab, 1z)
(q0, ab, z)
(q0, b, 0z)
(q0, , z)
(qf, , z) aceita baab

(q0, aab, z)
(q0, ab, 0z)

(q0, b, 00z)
(q0, , 0z) no aceita aab

_______________________________________________________________________________________________________________
- 27 -
Exemplo 21
Seja a linguagem L = {wwR | w {a,b}+ }
Ento o autmato M = ({ q0, q1, qf}, {a, b}, {a, b, z}, , q0, z, {qf}), onde:
(q0, a, a) = {(q0, aa)},
(q0, b, a) = {(q0, ba)},
(q0, a, b) = {(q0, ab)},
(q0, b, b) = {(q0, bb)},
(q0, a, z) = {(q0, az)},
(q0, b, z) = {(q0, bz)},
(q0, , a) = {(q1, a)},
(q0, , b) = {(q1, b)}.
(q1, a, a) = {(q1, )},
(q1, b, b) = {(q1, )},
(q1, , z) = {(q2, z)}.
Processando:
(q0, abba, z)
(q0, bba, az)

(q0, ba, baz)
(q0, a, bbaz)
(q0, , abbaz)
(q1, , abbaz) no aceita

(q0, abba, z)
(q0, bba, az)
(q0, ba, baz)

(q1, ba, baz)
(q1, a, az)
(q1, , z)
(q2, , z) aceita
7.2. Autmatos com Pilha, Gramticas Livres de Contexto e Linguagens Livres de

Contexto
Teorema 03
Se L uma Linguagem Livre de Contexto, ento existe um Autmato com Pilha No Determinstico tal
que L = L(M).
_______________________________________________________________________________________________________________
- 28 -
Se L uma Linguagem Livre de Contexto, ento existe uma Gramtica Livre de Contexto G, tal que L =
L(G). Se a partir de G for possvel determinar um Autmato com Pilha No Determinstico M, tal que
L(G) = L(M), ento teremos L = L(G) = L(M).
Seja G uma Gramtica Livre de Contexto na forma Normal de Greibach, tal que G = (V, T, S, P) com
L(G) . Ento para construir um Autmato com Pilha No Determinstico M a partir de G, faz-se:
M = ({ q0, q1, qf}, T, V {z}, , q0, z, {qf}), onde:
(q0, , z) = {(q1, Sz)},
(q1, a, A) = {(q1, ) para A a P},
(q1, , z) = {(qf, z)},
Se L, ento basta construir um autmato como feito anteriormente e incluir a transio:
(q0, , z) = {(qf, z)}
Exemplo 22
Considere a Gramtica Livre de Contexto na Forma Normal de Greibach:
G = ({S,B}, {a,b}, S, P) com P = { S aB | aSB, B b}
Ento M = ({q0, q1, qf}, {a, b}, {S, B, z}, , q0, z, {qf}), onde:
(q0, , z) = {(q1, Sz)},
(q1, a, S) = {(q1, B)},
(q1, a, S) = {(q1, SB)},
(q1, b, B) = {(q1, )},
(q1, , z) = {(qf, z)}.
L(G) = {ab, aabb, aaabbb, ...} de forma intuitiva
(q0, ab, z)
(q1, ab, Sz)
(q1, b, Bz)
(q1, , z)
(qf, , z) aceita
(q0, aabb, z)
(q1, aabb, Sz)

(q1, abb, SBz)
(q1, bb, BBz)
(q1, b, Bz)
(q1, , z)
(qf, , z) aceita
(q0, aaabbb, z) (q1, aaabbb, Sz)
(q1, aabbb, SBz)
(q1, abbb, SBBz)
(q1, bbb, BBBz)
_______________________________________________________________________________________________________________
- 29 -
(q1, bb, BBz)

(q1, b, Bz)
(q1, , z)
(qf, , z) aceita
Exemplo 23
Considere a Gramtica Livre de Contexto na Forma Normal de Greibach:
G = ({S,A,B,C}, {a,b,c}, S, P) com P = { S aA, AaABC| bB| a, B b, C c}
Ento M = ({q0, q1, qf}, {a, b, c}, {S, A, B, C, z}, , q0, z, {qf}), onde:
(q0, , z) = {(q1, Sz)},
(q1, a, S) = {(q1, A)},
(q1, a, A) = {(q1, ABC)},
(q1, b, A) = {(q1, B)},
(q1, a, A) = {(q1, },
(q1, b, B) = {(q1, )},
(q1, c, C) = {(q1, )},
(q1, , z) = {(qf, z)}.
A cadeia aaabc pertence a L(G) = L(M) ?
S aA aaABC aaaBC aaabC aaabc
(q0, aaabc, z) (q1, aaabc, Sz)
(q1, aabc, Az)
(q1, abc, ABCz)

(q1, bc, BCz)
(q1, c, Cz)
(q1, , z)
(qf, , z)
Teorema 04
Se L aceita por um Autmato com Pilha No Determinstico ento L uma Linguagem Livre de
Contexto.
Se for possvel a partir de um Autmato com Pilha No Determinstico M, tal que L = L(M), encontrar
uma Gramtica Livre de Contexto G tal que L(G) = L(M) = L, ento L uma Linguagem Livre de
Contexto.
Seja M = (Q, , , , q0, z, F) com as seguintes restries:
F = {qf}, ou seja, possui um nico estado final
Todas as Funes de Transio so da forma:
(qi, a, A) = {c1, c2, ..... , cn}, onde ci = (qj, ) ou ci = (qj, BC)
ou seja, cada movimento incrementa ou decrementa a pilha de um smbolo.
_______________________________________________________________________________________________________________
- 30 -
Suponha que uma Gramtica que tenha as variveis da forma (qiAqj) * v se no Autmato com Pilha
No Determinstico apaga A da pilha enquanto faz a leitura de v e passa do estado qi para qj. Apagar A
da pilha significa que A e todos seus efeitos sero removidos da pilha.
Suponha que em tal Gramtica se possa escolher (q0zqf) como varivel inicial, ento (q0zqf) * w, ou
seja, o Autmato com Pilha No Determinstico consegue aceitar w partindo de q0 e indo at qf. Assim a
Linguagem gerada pela Gramtica ser a mesma gerada pelo Autmato com Pilha No Determinstico.
Para criar a Gramtica, segundo essas condies, faz-se:
- a partir das produes da forma: (qi, a, A) = (qj, ), cria-se as regras de produo na forma:
(qiAqj) a
- a partir das produes da forma: (qi, a, A) = (qj, BC), cria-se as regras de produo na forma:
(qiAqk) a(qjBql)(qlCqk)
onde qk e ql so todas os possveis smbolos do conjunto Q do Autmato com Pilha No Determinstico
- escolhe-se o (q0zqf) como varivel inicial da Gramtica, onde q0 o smbolo inicial e qf, o smbolo final
do Autmato com Pilha No Determinstico.
Exemplo 24
Considere o Autmato com Pilha No Determinstico M = ({q0,q1,q2}, {a,b}, {A,z}, , q0, z, {q2}) com
(q0,a,z) = {(q0,Az)}
(q0,a,A)={(q0,A)}
(q0,b,A)={(q1,)}
(q1,,z)={(q2,)}
Vejamos as restries:
F = {q2}, ou seja, possui um nico estado final - OK
(qi, a, A)={c1,c2,..,cn}, onde ci=(qj, ) ou ci=(qj,BC) NO est na forma: (q0,a,A)={(q0,A)}
Ento se cria a partir de (q0,a,A)={(q0,A)}, faz-se:
(q3,,z)={(q0,Az)}
(q0,a,A)={(q3,)}
Assim tem-se:
(q0,a,z) = {(q0,Az)}
(q3,,z)={(q0,Az)}
(q0,a,A)={(q3,)}
(q0,b,A)={(q1,)}
(q1,,z)={(q2,)}
Agora temos de encontrar as regras de produo a partir das funes de transio:

- as ltimas trs funes de transio so convertidas diretamente j que so da forma ci = (qj, ):
(q0,a,A)={(q3,)}, ento (q0Aq3) a
(q0,b,A)={(q1,)}, ento (q0Aq1) b
(q1,,z)={(q2,)}, ento (q1zq2)
_______________________________________________________________________________________________________________
- 31 -
- as duas primeiras, que so da forma ci = (qj, BC), geram:

(q0,a,z) = {(q0,Az)}, ento (q0zq0) a(q0Aq0)(q0zq0)| a(q0Aq1)(q1zq0)| a(q0Aq2)(q2zq0)| a(q0Aq3)(q3zq0)
(q0zq1) a(q0Aq0)(q0zq1)| a(q0Aq1)(q1zq1)| a(q0Aq2)(q2zq1)| a(q0Aq3)(q3zq1)
(q3,,z)={(q0,Az)}, ento
(q3zq0) (q0Aq0)(q0zq0)| (q0Aq1)(q1zq0)| (q0Aq2)(q2zq0)| (q0Aq3)(q3zq0)

- varivel inicial (q0zqf) = (q0zq2)

Ento a Gramtica Livre de Contexto G = (V, {a,b}, (q0zq2), P) onde P so as produes acima e V o
conjunto formado por todas as variveis geradas: {(q0Aq3), (q0Aq1), (q1zq2), (q0zq0), (q0zq1), (q0zq2),
(q0zq3), (q0Aq0), (q0zq0), ...}
Verifiquemos se a cadeia aab aceita pelo Autmato M e pela Gramtica G:
(q0, aab, z)
(q0, ab, Az)

(q3, b, z)
(q0, b, Az)
(q1, , z)
(q2, , ) ACEITA
(q0zq2)
a(q0Aq3)(q3zq2)
aa(q3zq2)
aa(q0Aq1)(q1zq2)
aab(q1zq2)
aab
ACEITA
7.3. Autmato com Pilha Determinstico

Definio 10
Um Autmato com Pilha Determinstico, M = (Q, , , , q0, z, F) um Autmato com Pilha No
Determinstico sujeito as seguintes restries, para todo q Q, a {} e b :
(1) (q,a,b) contm ao menos um elemento
(2) se (q,,b) no vazio, ento (q,c,b) deve ser vazio para todo c
_______________________________________________________________________________________________________________
- 32 -
Exemplo 25
Seja L = { wwR | w {a,b}+} e M = ({q0,q1,q2}, {a,b}, {a,b,z},, q0, z, {q2}) com as funes de transio:
(q0,a,a) = {(q0,aa)}
(q0,b,a) = {(q0,ba)}
(q0,a,b) = {(q0,ab)}
(q0,b,b) = {(q0,bb)}
(q0,a,z) = {(q0,az)}
(q0,b,z) = {(q0,bz)}
(q0,,a) = {(q1,a)}
(q0,,b) = {(q1,b)}
(q1,a,a) = {(q1,)}
(q1,b,b) = {(q1,)}
(q1,,z) = {(q2,z)}
M no determinstico, j que (q0,,a) = {(q1,a)} e (q0,a,a) = {(q0,aa)} vazio ....
Exemplo 26
Seja L = {anbn | n 0} com M = ({q0,q1,q2}, {a,b}, {0,1},, q0, 0, {q0}) com as funes de transio:
(q0,a,0) = {(q1,10)}
(q1,a,1) = {(q1,11)}
(q1,b,1) = {(q2, )}
(q2,b,1) = {(q2, )}
(q2,,0) = {(q0, )}
M determinstico, j que (q2,,0) = {(q0, )} e (q2,a,0) = (q2,b,0) = {}
Definio 11
L dita ser uma Linguagem Livre de Contexto Determinstica se e somente se existe um Autmato com
Pilha Determinstico M tal que L = L(M).
Como no exemplo 26, M determinstico ento L = {anbn | n 0} uma Linguagem Livre de Contexto
Determinstica.
_______________________________________________________________________________________________________________
- 33 -
8. Propriedades das Linguagens Livres de Contexto

8.1. Lema do Bombeamento
Lema:
Se L uma Linguagem Livre de Contexto, ento existe uma constante m 0 tal que para qualquer
palavra w L com | w | m, w pode ser decomposta como w = uvxyz com | vxy | m, | vy | 1 tal que
uvixyiz palavra de L, i 0.
Exemplo 27:
Seja a Linguagem L = {anbncn | n 0}.
Aplicando o Lema do Bombeamento, w = uvxyz = arbrcr com | vxy | r, | vy | 1 e para i 0,
uvixyiz tem de ser uma palavra de L.
Supondo que vy possui os smbolos a e c, x deve conter smbolos b. S que uvixyiz no palavra de L, j
que tem desbalanceamento no nmero de a, b e c.
8.2. Operaes sobre as Linguagens Livres de Contexto

Teorema 05
A Classe das Linguagens Livres de Contexto fechada para as operaes de Unio e Concatenao.
Prova - Unio
Sejam L1 e L2 duas Linguagens Livres de Contexto geradas, respectivamente, pelas Gramticas Livres de
Contexto G1 = (V1, T1, S1, P1) e G2 = (V2, T2, S2, P2). Considere L3 = L1 L2, ento G3 = (V3, T3, S3, P3)
(S3 V1 V2) tal que
V3 = V1 V2 {S3},
T3 = T1 T2 e
P3 = P1 P2 {S3 S1|S2}
Suponha w L1, ento w L3, j que S3 S1 * w.
Suponha v L2, ento v L3, j que S3 S2 * v.
Portanto L3 = L(G3) uma Linguagem Livre de Contexto.
Pode-se provar tambm usando Autmatos com Pilha No Determinsticos.
Sejam L1 e L2 duas Linguagens Livres de Contexto aceitas, respectivamente, pelos Autmatos com Pilha
No Determinsticos M1 = (Q1, 1, 1,1, q01, z1, F1) e M2 = (Q2, 2, 2,2, q02, z2, F2). Seja M3 = (Q3, 3,
3,3, q03, z3, F3) com q03 Q1 Q2, z3 z1 z2, tal que
Q3 = Q1 Q2 {q03}
3 = 1 2 ,
3 = 1 2 {z3}
F3 = F1 F2
Dessa forma, M3 reconhece L1 L2
_______________________________________________________________________________________________________________
- 34 -
Prova Concatenao
Retomando a prova para Unio acima usando Gramtica Livre de Contexto, pode-se definir G4 = (V4, T4,
S4, P4) (S4 V1 V2) tal que
V4 = V1 V2 {S4},
T4 = T1 T2 e
P4 = P1 P2 {S4 S1S2}
Ento L(G4) = L(G1)L(G2) que possui como prefixo uma cadeia de L1 e como sufixo uma cadeia de L2.
Se construir G5 = (V5, T5, S5, P5) (S5 V1) tal que
V5 = V1 {S5},
T5 = T1
P5 = P1 {S5 S1S5|}
Ento L(G5) = L(G1)*
Teorema 06
A Classe das Linguagens Livres de Contexto no fechada para as operaes de Interseco e
Complemento.
Prova Interseco.
Faamos a prova com um contra-exemplo.
Considere as Linguagens Livres de Contexto L1 = {anbncm | n 0, m 0} e L2 = {anbmcm | n 0, m 0}.
Seja L = L1 L2 = {anbncn | n 0} no uma Linguagem Livre de Contexto.
Prova Complemento
Sabe-se que L1 L2 = L1 L2 . Como para a interseco a operao no fechada, ento tambm no o
para o complemento.
Teorema 07
Seja L1 uma Linguagem Livre de Contexto e L2 uma Linguagem Regular. Ento L1 L2 uma
Linguagem Livre de Contexto.
Prova
Seja M1 = (Q, , ,1, q0, z, F1) um Autmato com Pilha No Determinstico que aceita L1 e M2 = (P, ,
2, p0, F2) um Autmato Finito Determinstico que aceita L2.
Seja M3 = (Q3, , , 3, q03, z, F3) um Autmato com Pilha No Determinstico que aceita L = L1 L2
Onde Q3 = Q x P,
q03 = (q01,p0),
F3 = F1 x F2,
3 definido tal que ((qk,pl),x) 3((qi,pj),a,b), se e somente se (qk,x) 1(qi,a,b) e 2(pj,a) = pl.
se a = , ento pj = pl.
_______________________________________________________________________________________________________________
- 35 -
Assim uma cadeia aceita por M3 se e somente se ela aceita por M1 e por M2 ou seja, se ela est em
L(M1) L(M2) = L1 L2.
Exemplo 28
A linguagem L = {anbn | n 0, n 100} uma Linguagem Livre de Contexto.
Seja L1 = {anbn | n 0} e L2 = {a100b100}, onde L1 uma Linguagem Livre de Contexto e L2 uma
Linguagem Regular, L2 tambm Regular. Ento L1 L2 = L Livre de Contexto.
_______________________________________________________________________________________________________________
- 36 -

Teoria Da Computação

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Teoria Da Computação

Enviado por

Direitos autorais:

Formatos disponíveis

Cursos:

Bacharelado em Cincia da Computao e

Linguagens Livres de Contexto

Estudar as linguagens livres de contexto

Figura 1. Hierarquia de Chomsky

2. Gramtica Livre de Contexto

Verifique as derivaes abaixo:

Figura 2. cadeia aabb L1

Figura 3. cadeia a+a*a L2

Ento a gramtica ambgua.

Exemplo 08 - Linguagens no ambguas.

5. Simplificao de Gramticas Livres de Contexto

5.1. Retirada de produes vazias

5.2. Retirada de produes da forma A B

5.3. Retirada de smbolos no usados

Etapa2: garante que qualquer smbolo atingvel a partir do smbolo inicial.

5.4. Simplificaes combinadas

2. Fase: Retirada de produes da forma A B

6.1. Forma Normal de Chomsky

Etapa1: Simplificao da gramtica

Portanto, a Gramtica na Forma Normal de Chomsky, pode ser dada por:

Etapa 2.2: Excluso das produes da forma A B.

Portanto, a Gramtica G = ({S, A, B}, {a,b}, S, P), P = {S abAB, A bAB|, B BAa|A|}, na

6.2. Forma Normal de Greibach

Etapa1: Simplificao da gramtica

Para toda produo Ar Ar P3 faa

Etapa 5: Um terminal no incio do lado direito de cada produo.

Etapa2: Renomeao das variveis em uma ordem crescente qualquer

Etapa 3 e 4: Transformao de produes para a forma Ar As , onde r s e Excluso das

Para r = 2 (at 2) faa

Etapa 5: Um terminal no incio do lado direito de cada produo.

P4 = { A1 A2A2 | a, A2 b | aA1 | bB2 | aA1B2, B2 A2A1 | A2A1B2}

P4 = { A1 bA2 | aA1A2 | bB2A2 | aA1B2A2 | a, A2 b | aA1 | bB2 | aA1B2,

Etapa 6: Produes na forma A a onde composta por variveis.

Portanto, a Gramtica G = ({S,A}, {a,b}, S, P) onde P = { S AA | a, A SS | b}

Etapa2: Renomeao das variveis em uma ordem crescente qualquer

G3 = ({ A1, A2}, T, S, P3) , P3 = { A1 a A1a A2 | abA2 | b, A2 ab A2 | b }

Etapa 3 e 4: Transformao de produes para a forma Ar As , onde r s e Excluso das

Etapa 5: Um terminal no incio do lado direito de cada produo.

Etapa 6: Produes na forma A a onde composta por variveis.

Portanto, a Gramtica G = ({S,A}, {a,b}, S, P), P = {S aSaA | A, A abA | b},

7. Autmatos com Pilha (Pushdown Automata)

7.1. A linguagem aceita por um Autmato com Pilha

Pode-se intuitivamente concluir:

(q0, aab, 1z)

(qf, , z) aceita baab

(q0, ab, 0z)

(q0, , 0z) no aceita aab

(q0, bba, az)

(q1, , abbaz) no aceita

(q0, bba, az)

(q0, ba, baz)

7.2. Autmatos com Pilha, Gramticas Livres de Contexto e Linguagens Livres de

(q1, ab, Sz)

(q1, aabb, Sz)

(q1, bb, BBz)

(q1, abc, ABCz)

Agora temos de encontrar as regras de produo a partir das funes de transio:

- as duas primeiras, que so da forma ci = (qj, BC), geram:

(q3zq0) (q0Aq0)(q0zq0)| (q0Aq1)(q1zq0)| (q0Aq2)(q2zq0)| (q0Aq3)(q3zq0)

- varivel inicial (q0zqf) = (q0zq2)

(q0, ab, Az)

7.3. Autmato com Pilha Determinstico