Você está na página 1de 10

376

Linguagens Formais - Teoria, Modelagem e Implementao

Teorema 4.16 (Regulares


texto que no so regulares.

6= livres de ontexto) Existem linguagens livres de on-

Justi ativa Considere-se, por exemplo, a linguagem

= {0i 10i | i 1}.

Conforme

L no regular, uma vez que no satisfaz ao Pumping


Lemma das linguagens regulares. No entanto, a gramti a G = ({S , 0, 1}, {0, 1}, {S
0S 0, S 010}, S ) gera exatamente L. Logo, L livre de ontexto, porm no regular.
demonstrado no Exemplo 3.53,

De maneira semelhante, pode-se demonstrar a existn ia de inmeras outras linguagens

om essa mesma ara tersti a.

Conforme denido na Seo 4.1, uma linguagem dita estritamente livre de ontexto
se ela for livre de ontexto, porm no-regular. A ara tersti a desse tipo de linguagens
que elas so geradas apenas por gramti as que possuam pelo menos um smbolo noterminal que seja auto-re ursivo entral e essen ial. Assim, possvel gerar, nas formas
senten iais geradas pela gramti a, sub adeias da forma:

Y ,

om

, +

as quais so responsveis pelo balan eamento dos termos

nas sentenas da lingua-

gem.
De fato, gramti as lineares direita no permitem a denio de smbolos noterminais om essa propriedade. Ao ontrrio, gramti as lineares direita geram apenas
formas senten iais da seguinte forma:

Y ,

om

em que, obviamente, no h balan eamento de termos nem, portanto, aninhamentos


sintti os. A existn ia de termos balan eados (ou aninhados) , por isso, o fator que
diferen ia uma linguagem estritamente livre de ontexto de uma linguagem regular.

4.10 Linguagens que no so Livres de Contexto


Como se sabe, as linguagens regulares podem ser denidas atravs de expresses regulares, gramti as regulares ou autmatos nitos. Por outro lado, a existn ia de linguagens
no-regulares foi provada atravs do uso do Pumping Lemma das linguagens regulares.
De maneira anloga, para provar que uma linguagem livre de ontexto, su iente apresentar uma gramti a livre de ontexto que gere esta linguagem, ou ainda
um autmato de pilha que a re onhea. A existn ia de linguagens que no so livres
de ontexto pode ser demonstrada om o auxlio do Pumping Lemma das linguagens
livres de ontexto, apresentado a seguir.
A importn ia de um Pumping Lemma para as linguagens livres de ontexto no
se limita posssibilidade de demonstrar a existn ia de linguagens que no sejam livres
de ontexto, e, portanto, de sugerir a existn ia de outras lasses de linguagens. Ele
usado tambm na demonstrao de algumas propriedades importantes das linguagens
livres de ontexto.

Teorema 4.17 (Pumping Lemma para linguagens livres de ontexto) Seja L


uma linguagem livre de ontexto, om 6 L. Ento, existe uma onstante inteira n, dependente apenas de L, que satisfaz s seguintes ondies: (i) L, | | n , =
uvwxy ; ; (ii) |vwx | n; (iii) |vx | 1; (iv) i 0, uv i wx i y L.

377

4 Linguagens Livres de Contexto

Justi ativa Se

L livre de ontexto e no ontm a adeia vazia, ento L

= (V , , P , S ), G

= L(G ),

sendo

uma gramti a livre de ontexto na Forma Normal de Chomsky.

Portanto, qualquer rvore de derivao que represente uma sentena de

L nessa gramti a

ser uma rvore binria.


ximo

Por outro lado, rvores binrias de altura i geram sentenas de omprimento m2i 1 . A Figura 4.19 ilustra essa relao para os asos i =1, 2 e 3, e fa ilita a

generalizao da mesma:

Figura 4.19. Altura e omprimento de sentenas em rvores binrias gera-

das por gramti as na Forma Normal de Chomsky

Atravs desta gura, f il per eber que rvores de altura 1 geram sentenas de
0
omprimento 1 (portanto 2 ), rvores de altura 2 geram sentenas de omprimento 2
1
2
( 2 ) e rvores de altura 3 geram sentenas de omprimento 3 ou 4 ( 2 ). No aso
i 1
geral, rvores om altura i geram sentenas de omprimento menor ou igual a 2
.
Como onseqn ia desse resultado, possvel inferir que, se uma sentena tem
omprimento mnimo
mnima

2i ,

ento a rvore de derivao orrespondente possuir altura

+ 1.

| |

Considere-se k = N , onde N o onjunto dos smbolos no-terminais de G ,


k 1
estando esta expressa na Forma Normal de Chomsky, e faa-se n = 2
+ 1.3
k 1
Se L e n , isto , se 2
+ 1, ento, fa e ao resultado anterior,

| |

| |

erto que a altura da rvore de derivao orrespondente sentena

ser maior ou igual

(pois om rvores de altura k possvel apenas gerar adeias de omprimento


k 1
mximo 2
). Suponha-se que o valor desta altura seja p (portanto, p k + 1) e

+1

onsidere-se um aminho

z qualquer na rvore que possua omprimento p (haver pelo

menos um aminho que satisfaa a essa ondio).

p , ento este aminho formado de


q smbolos, apenas um ser terminal (o ltimo smbolo do

Se o aminho sele ionado possui omprimento

q smbolos, q

k + 2.

Desses

aminho, aquele que folha da rvore) e os demais sero ne essariamente no-terminais.

q 1 no-terminais,
r smbolos no-terminais neste aminho,

Ignorando o smbolo terminal e on entrando a ateno nos

q
q 1, ou seja, r

seus ante essores, se


e

k + 2,
k + 1.

ento existem

k + 1 smbolos no-terminais onse utivos


r (k + 1) smbolos
no-terminais situados no in io do aminho sele ionado. O aminho es olhido z pode,
Considerem-se agora apenas os primeiros

que ante edem imediatamente a folha da rvore, ignorando os

portanto, ser onsiderado omo:

= ,

om

N , | | = r (k + 1), N + , || = k + 1

A Figura 4.20 ilustra esta interpretao do aminho

3 Alguns autores adotam

= 2k .

Apesar de orreto (pois se

z:

L innita sempre havero adeias om omprin des onsidera a possibilidade de uso das

mento maior ou igual a esse valor, ou qualquer outro), tal valor de


adeias

L tais que 2k 1 + 1 |z | < 2k , as quais tambm satisfazem os ritrios do Pumping Lemma.

378

Linguagens Formais - Teoria, Modelagem e Implementao

Figura 4.20. Mltiplas o orrn ias do smbolo no-terminal

X no aminho

Se ontm exatamente k + 1 smbolos no-terminais e a gramti a ontm apenas


k smbolos no-terminais distintos, erto que pelo menos um smbolo no-terminal de
G apare e mais de uma vez em . Se hamarmos a este smbolo X , as seguintes onsideraes podero ser feitas a er a das posies em que os smbolos X podem apare er na
rvore de derivao:
1.

Para o

primeiro X (aquele que est na posio mais alta da rvore, prxima da

raiz):

Ele pode ser o primeiro smbolo da adeia

Ele pode ser o penltimo smbolo da adeia


uma vez que o segundo

2.

(portanto, estar na altura k +1);

(portanto, estar na altura

2),

X ompare e por ltimo nesta mesma adeia;

Ele pode assumir qualquer posio entre essas duas.

Para o

segundo X (aquele que est na posio mais baixa da rvore, prxima da

folha):

Ele pode ser o segundo smbolo da adeia


uma vez que o primeiro

(portanto, estar na altura

X ompare e antes nesta mesma adeia;

Ele pode ser o ltimo smbolo da adeia

Ele pode assumir qualquer posio entre essas duas.

(portanto, na altura

Assim, pode-se on luir:


1.

Para o

primeiro X : se X

2.

Para o

segundo X : se X

1 , 1 ,
2 , 2 ,

ento
ento

2 |1 | 2k ;
1 |2 | 2k 1 .

1);

k ),

379

4 Linguagens Livres de Contexto

A situao da rvore de derivao da sentena


a Figura 4.21 (S representa a raiz de
smbolo da adeia

pode ser representada omo mostra

G , e pode, eventualmente, oin idir om o primeiro

):

Figura 4.21. rvore de derivao da adeia

= uvwxy

A inspeo desta rvore nos permite hegar s seguintes on luses:

A sentena

pode ser onsiderada omo sendo omposta por in o partes,

uvwxy ;

Como

Como

vwx

Como

1 |w |

= 2 ,

ento

= 1 ,
e

1 |w | 2k 1 ;

ento

2 |vwx |,

Alm disso, as regras de

uXy

vXx

2 |vwx | 2k ;
ento

|vx | 1.

G permitem a derivao das seguintes formas senten iais:

A inspeo dessas formas senten iais, assim omo a anlise da rvore mostrada na
Figura 4.21, permite on luir que existem outras possibilidades de derivaes (ou seja,
de onstruo da rvore) de sentenas em
original

G , as quais produzem sentenas diversas da


L.

e que, por onstruo, devem ne essariamente perten er linguagem

Por exemplo, possvel imaginar que, em vez de apli ar regras que fazem o primeiro

X derivar vXx , possvel apli ar, a esta o orrn ia de X , as regras apli adas ao segundo
X , e dessa maneira gerar a sentena uwy no lugar da sentena uvwxy . Da mesma forma,
seria possvel repetir a derivao apli ada ao primeiro X no lugar da derivao feita para
o segundo X , e om isso gerar a sentena uvvwxxy . Generalizando, todas as sentenas
uv i wx i y , om i 0, podem ser derivadas em G , e, portanto, perten em ne essariamente
a L(G ). A Figura 4.22 mostra, gra amente, a apli ao desta idia:

380

Linguagens Formais - Teoria, Modelagem e Implementao

Figura 4.22. rvores de derivao para as adeias

Em termos gramati ais, omo

uvwxy , uwy e uvvwxxy

uXy , X vXx

w ,

ou seja,

uvwxy , ento, ne essariamente:

uXy uwy

uXy uvvwxxy

uXy uvvvwxxxy

...

uXy uv i wx i y , i 0


Considerado de maneira informal, este Pumping Lemma para linguagens livres de


ontexto pode ser interpretado da seguinte maneira:

Sentenas que apresentem um erto omprimento mnimo geram rvores de derivao om uma erta altura mnima;

Como a quantidade de smbolos no-terminais da gramti a limitada, ne essariamente dever haver repetio de smbolos em algum aminho da rvore de
derivao orrespondente;

Tal repetio permite a gerao de uma quantidade innita de outras sentenas


estruturalmente similares, que devem ne essariamente perten er linguagem.
O smbolo no-terminal

vXx

X , na demonstrao a ima, possibilita derivaes do tipo

e orresponde ao smbolo que denominamos previamente de auto-re ursivo

entral essen ial. A existn ia de pelo menos um smbolo desse tipo na gramti a garante
a possibilidade de se gerar uma quantidade innita de outras sentenas que tambm
pertenam mesma linguagem.
Se

v ou x forem vazios, a linguagem ser regular (note-se que o Pumping Lemma

para linguagens regulares  Teorema 3.16  um aso parti ular do Pumping Lemma
para linguagens livres de ontexto). Se

v e x forem simultaneamente diferentes da adeia


v e x o orrero

vazia, ento a linguagem livre de ontexto e no-regular, e os termos


sempre de forma balan eada nas sentenas da linguagem.

i i
A linguagem {a ba | i 1}
({S , X , Y , Z , a , b }, {a , b }, {S XY | b , X

Exemplo 4.39

gerada pela gramti a livre de ontexto

ZS , Z

a, Y

a }, S ),

que est na Forma

381

4 Linguagens Livres de Contexto

N = {S , X , Y , Z }, |N | = 4. De a ordo om a demonstrao do
n para G 2k 1 + 1 = 2|N |1 + 1 = 241 + 1 = 23 + 1 = 8 + 1 = 9.
z a ba L(G ) tal que |z | 9. Portanto, z = uvwxy , om |vwx | n e
|vx | 1. A Figura 4.23 apresenta a rvore de derivao orrespondente adeia z .
A rvore da Figura 4.23 possui altura 9 (portanto maior ou igual a |N | +1 = 5) e ontm
diversos aminhos formados por |N | +2 = 6 ou mais smbolos, nos quais possvel isolar os |N | +1
Normal de Chomsky e possui

Pumping Lemma, a onstante


A adeia
= 4 4

ltimos smbolos no-terminais.

Figura 4.23. rvore de derivao para a sentena

a 4 ba 4

SXSXSXSXSb
SXSXS

Considere-se o aminho
, ujo omprimento 10, e os 5 ltimos smbolos noterminais que o ompe,
. De a ordo om o Pumping Lemma, esse aminho deve onter
(e ontm) pelo menos um smbolo no-terminal repetido: o smbolo
o orre trs vezes e o smbolo
o orre duas vezes.
Considere-se o smbolo
. A primeira o orrn ia do mesmo gera a adeia
, ao passo que
a segunda o orrn ia gera a adeia
. Logo:

ab
z = |{z}
aa |{z}
a |{z}
ab |{z}
a |{z}
aaa
u

aaba

uv i wx i y

i 0, devem tambm perten er linguagem.


L G ):
aa |{z}
ab |{z}
aaa = a 3 ba 3
|{z}

Conseqentemente, as adeias
, om
2
2
e
perten em a (

De fato, as adeias

uwy uv wx y

aa |{z}
a |{z}
a |{z}
ab |{z}
a |{z}
a |{z}
aaa = a
|{z}
uwy

ba 5
X

A adeia
pode ser obtida substituindo-se as derivaes apli adas ao primeiro smbolo
pelas apli adas ao segundo smbolo
. A nova seqn ia de derivaes torna-se (ver Figura 4.24):

S aa |{z}
X aaa aa |{z}
ab aaa = a 3 ba 3
1o

382

Linguagens Formais - Teoria, Modelagem e Implementao

Figura 4.24. rvore de derivao para a sentena

a 3 ba 3

2
2
A adeia uv wx y pode ser obtida substituindo-se as derivaes apli adas ao segundo smbolo
X pelas apli adas ao primeiro smbolo X . A nova seqn ia de derivaes torna-se (ver Figura 4.25):
5
5
S aaa |{z}
X aaaa aaa aaba
|{z} aaaa = a ba

2o

vwx

Figura 4.25. rvore de derivao para a sentena

a 5 ba 5

A iterao do ltimo passo (Figura 4.25) possibilita a gerao das sentenas


3.

uv i wx i y , om

383

4 Linguagens Livres de Contexto

Como no aso do Pumping Lemma para linguagens regulares, que estabele e uma
propriedade inerente a toda e qualquer linguagem regular, o Pumping Lemma para
linguagens livres de ontexto estabele e uma propriedade inerente a toda e qualquer
linguagem livre de ontexto. De maneira anloga quele aso, uma de suas prin ipais
apli aes na demonstrao da existn ia de linguagens que no so livres de ontexto,
onforme mostraro os exemplos a seguir.
Observe-se que o teorema garante a existn ia da onstante

n , mas a apli ao do

mesmo no exige que seja determinado o seu valor, omo mostram os exemplos seguintes.
Exemplo 4.40

hiptese, que

A linguagem

L1

= {a k b k k |

L1 seja livre de ontexto.

1}

no livre de ontexto.

Suponha-se, por

De a ordo om o Teorema 4.17 (Pumping Lemma para

linguagens livres de ontexto), existe uma onstante inteira

n tal que, qualquer que seja a sentena

L1 , | | n , ento = uvwxy , |vwx | n , |vx | 1 e uv i wx i y L1 .


n n n
n n n
Seja = a b . Como |a b | = 3 n , ento est satisfeita a ondio | | n .
Portanto, = uvwxy . Nesta situao, a sub adeia vwx pode assumir um dos seguintes formatos
(lembrar que |vwx | n ):
1.

vwx

ontm apenas smbolos   (pelo menos um); portanto,

vwx

ontm apenas smbolos   (pelo menos um); portanto,

vwx

ontm apenas smbolos   (pelo menos um); portanto,

smbolos
2.

smbolos

a (pelo menos um);


b (pelo menos um);

vx

tambm ontm apenas

vx

tambm ontm apenas


vx tambm ontm apenas
(pelo menos um);
4.
vwx ontm smbolos  a  (pelo menos um) seguidos de smbolos  b  (pelo menos um);
portanto, vx ontm pelo menos um smbolo a ou b , porm nenhum smbolo ;
5.
vwx ontm smbolos  b  (pelo menos um) seguidos de smbolos   (pelo menos um);
portanto, vx ontm pelo menos um smbolo b ou , porm nenhum smbolo a .
impossvel que a sub adeia vwx ontenha simultaneamente smbolos  a ,  b  e  , uma vez
que, para isso a onte er, seria ne essrio que o omprimento de vwx fosse no mnimo n + 2, o que
3.

smbolos

ontraria o Pumping Lemma.


Passando-se anlise de ada uma dessas possibilidades, onsiderando o formato assumido
pela sentena
, isto , pela sentena
aps a remoo das sub adeias
e
, o que

uwy

uvwxy

uv i wx i y

v x

L1
i = 0). Lembrar que |vx | 1:
1.
uwy onter n smbolos  b , n smbolos   e uma quantidade de smbolos  a  menor que
n ; logo, uwy no perten e a L1 ;
2.
uwy onter n smbolos  a , n smbolos   e uma quantidade de smbolos  b  menor que
n ; logo, uwy no perten e a L1 ;
3.
uwy onter n smbolos  a , n smbolos  b  e uma quantidade de smbolos   menor que
n ; logo, uwy no perten e a L1 ;
4.
uwy onter n smbolos  , e quantidades de smbolos  a  e de smbolos  b  respe tivamente
menores que n ; logo, uwy no perten e a L1 ;
5.
uwy onter n smbolos  a , e quantidades de smbolos  b  e de smbolos   respe tivamente
menores que n ; logo, uwy no perten e a L1 .
n n n
Portanto, a sentena a b ontradiz a hiptese ini ial, provando que a linguagem L1 no

previsto pelo Lemma quando estabele e que todas as sentenas

devem perten er a

(neste aso, faz-se

livre de ontexto. Cumpre observar que, no Exemplo 3.55 da Seo 3.9 (Pumping Lemma para
as Linguagens Regulares), esta mesma linguagem foi demonstrada omo sendo no-regular.

384

Linguagens Formais - Teoria, Modelagem e Implementao

w w w

ab

A linguagem
|
{ , }+ } no livre de ontexto. Esta lingua2 = {
gem sintetiza uma ara tersti a bastante omum nas linguagens de programao mais usuais: a
ne essidade de se usarem identi adores idnti os em partes diferentes de um mesmo programa, por
exemplo, na de larao de uma varivel e na o asio de sua utilizao posterior.
Suponha-se, por hiptese, que 2 seja livre de ontexto. De a ordo om o Pumping Lemma
para linguagens livres de ontexto, existe uma onstante inteira
tal que, qualquer que seja a
Exemplo 4.41

L
n
i i
sentena L2 , | | n , ento = uvwxy , |vwx | n , |vx | 1 e uv wx y L2 .
n n n n
Considere-se, por exemplo, a sentena = a b a b . Como | | = 4 n + 1 n , ento
est satisfeita a ondio do Pumping Lemma para a es olha da sentena . Portanto, = uvwxy
e a sub adeia vwx pode assumir um dos seguintes formatos:
1.
vwx ontm apenas smbolos  a  (pelo menos um);
2.
vwx ontm apenas smbolos  b  (pelo menos um);
3.
vwx ontm smbolos a (pelo menos um) seguidos de smbolos  b  (pelo menos um);
4.
vwx se ini ia om smbolos b (zero ou mais) e termina om o smbolo  ;
5.
vwx se ini ia om o smbolo   e termina om smbolos  a  (zero ou mais);
6.
vwx se ini ia om smbolos  b  (pelo menos um) , ontinua om um smbolo   e termina
om smbolos  a  (pelo menos um).
De maneira anloga ao que foi mostrado no Exemplo 4.40, passa-se a examinar o formato das
adeias
que so geradas em ada um desses asos:

uwy

1.

Ao extrair smbolos   da sub adeia


que ante ede o smbolo  , esta resulta diferente
da sub adeia
posterior ao mesmo  ; o mesmo a onte e se forem extrados smbolos  
da sub adeia posterior ao smbolo  ; logo,
no perten e a 2 ;

uwy

2.

Semelhante ao aso anterior;

3.

Modi a, ex lusivamente, a sub adeia anterior ao smbolo   ou a sub adeia posterior ao


smbolo  ; logo,
no perten e a 2 ;

4.

Como

|vx | 1, vx

adeias

6.

ontm pelo menos um smbolo   ou um smbolo  , que, se removidos

L2 (seja porque as
w tornam-se diferentes, seja porque o smbolo   que as separa desapare e);

da sentena

5.

uwy

provo am a gerao de uma sentena que no perten e a

Semelhante ao aso anterior;

w ) ou um
w ); qualquer que seja o aso,
a adeia resultante uwy no perten e a L2 (seja porque as adeias w tornam-se diferentes,
seja porque o smbolo   que as separa desapare e).
Pelo exposto,  a laro que a hiptese ini ial falsa e que L2 no uma linguagem livre de
Como

|vx | 1, vx

ontm pelo menos um smbolo   (da primeira sub adeia

smbolo   ou, ainda, um smbolo a (da segunda sub adeia

ontexto.

L3 = {a k | k 1 um nmero primo} pno livre de ontexto.


ontexto e onsidere-se a sentena = a , ujo omprimento seja
n denida pelo Pumping Lemma para linguagens livres de ontexto,
p n
uvwxy perten e a L3 , ento, de a ordo om o Lemma, a sentena uwy
tambm deve perten er. Seja q = |uwy |.
i i
O omprimento das sentenas uv wx y , portanto, pode ser al ulado da seguinte forma:
i
i

|uv wx y | = |uwy | +i | vx |. Em parti ular, o omprimento da sentena |uv q wx q y | = |uwy |


+q | vx | = q + q | vx | = q (1 + |vx |). Logo, o omprimento de |uv q wx q y | no primo e isso
prova que L3 no pode ser livre de ontexto.

Exemplo 4.42
A linguagem
Suponha-se que 3 seja livre de
maior que o valor da onstante
portanto,
> . Se =

Vale lembrar que, no Exemplo 3.56 da Seo 3.9 (Pumping Lemma para as Linguagens

Regulares), esta mesma linguagem foi demonstrada omo sendo no-regular.

385

4 Linguagens Livres de Contexto

4.11 Linguagens Livres de Contexto Determinsti as


Diferentemente da lasse das linguagens regulares, que podem ser re onhe idas indistintamente por autmatos nitos, determinsti os ou no-determinsti os, somente autmatos
de pilha no-determinsti os so apazes de re onhe er as linguagens livres de ontexto,
no aso geral.
Esta on luso, que pode ser provada demonstrando-se a existn ia de linguagens
livres de ontexto no-re onhe veis por autmatos de pilha determinsti os, quaisquer
que sejam eles, possui uma importante onseqn ia prti a, uma vez que os autmatos
de pilha no-determinsti os so por natureza pou o e ientes, e por isso onstituem
modelos de implementao pou o atraentes em diversas situaes, entre as quais, na
importante rea de onstruo de ompiladores.

ww R w

ab

A linguagem 1 = {
| { , } } no-determinsti a, ou seja, re onhe ida
apenas por autmatos de pilha no-determinsti os. Um exemplo de tal autmato, om ritrio de
a eitao baseado em pilha vazia, apresentado na Figura 4.26.
Exemplo 4.43

(a , Z0 )/A, (b , Z0 )/B , (a , A)/AA

q0

(, Z0 )/, (, A)/A, (, B )/B

(a , B )/AB , (b , A)/BA, (b , B )/BB

q1

(a , A)/, (b , B )/

Figura 4.26. Autmato de pilha para a linguagem

w {a , b } }

So exemplos de adeias a eitas por este autmato


re onhe imentos abaixo:

{ww R |

aa e abba ,

omo se pode veri ar nos

(q0 , aa , Z0 ) (q0 , a , A) (q1 , a , A) (q1 , , )

(q0 , abba , Z0 ) (q0 , bba , A) (q0 , ba , BA) (q1 , ba , BA) (q1 , a , A) (q1 , , )

Como f il observar, a ara tersti a no-determinsti a do autmato fundamental para que


ele possa determinar o ponto exato da adeia de entrada em que termina a sub adeia
e se ini ia a

wR

sub adeia
: apenas uma movimentao em vazio no ponto entral da adeia ser apaz de fazer
om que o autmato atinja uma ongrao nal. Tal ara tersti a ne essria, uma vez que o
autmato, por onta de suas prprias limitaes, no tem ondies de determinar diretamente o
ponto exato em que se ini ia a adeia

w R.

Assim, apesar do elevado interesse prti o exibido pelas linguagens livres de ontexto, de orrente da relativa fa ilidade om que elas podem ser representadas e manipuladas, a di uldade a ima men ionada levou os pesquisadores a um estudo mais
aprofundado dessa lasse de linguagens, visando forne er aos projetistas e implementadores de linguagens arti iais subsdios que permitissem o aproveitamento prti o das
ara tersti as dessa lasse de linguagens, sem no entanto sa ri ar o desempenho dos
respe tivos re onhe edores pela presena de eventuais no-determinismos.
Como onseqn ia, foi identi ada e ara terizada a lasse das linguagens livres
de ontexto determinsti as, que se provou ser sub onjunto prprio das linguagens
livres de ontexto genri as.

Por denio, linguagens livres de ontexto determins-

ti as so aquelas que podem ser re onhe idas por autmatos de pilha determinsti os.