Uma Introdu c ao Informal Aut omatos de Pilha Determin sticos Aut omatos de Pilha N ao Determin sticos Gram aticas

Livres do Contexto Linguagens Livres do Contexto: Propriedades

Uma Introdu c ao Informal Aut omatos de Pilha Determin sticos Aut omatos de Pilha N ao Determin sticos Gram aticas Livres do Contexto Linguagens Livres do Contexto: Propriedades

O lema do bombeamento para LLCs

Exemplo de uso do lema do bombeamento

Seja L = {an bn cn | n N}.

Lema do bombeamento Seja L uma LLC. Ent ao existe k > 0 tal que para qualquer z L com |z | k existem u , v , w , x e y tais que: z = uvwxy ; |vwx | k ; vx = ; e uv i wx i y L para todo i 0.

Suponha que L seja uma LLC. Seja k a constante do LB e z = ak bk ck . Como |z | > k , sejam u , v , w , x e y tais que z = uvwxy , |vwx | k , e vx = . Considera-se dois casos: vx cont em algum a. Como |vwx | k , vx n ao cont em cs. Portanto, uv 2 wx 2 y cont em mais as que cs. Assim, uv 2 wx 2 y L. vx n ao cont em a. Como vx = , uv 2 wx 2 y cont em menos as que bs 2 2 e/ou cs. Dessa forma, uv wx y L. Logo, em qualquer caso uv 2 wx 2 y L, contrariando o LB. Portanto, L n ao e LLC.

Newton Jos e Vieira

Cap tulo 3: Aut omatos de Pilha

Newton Jos e Vieira

Cap tulo 3: Aut omatos de Pilha

Uma Introdu c ao Informal Aut omatos de Pilha Determin sticos Aut omatos de Pilha N ao Determin sticos Gram aticas Livres do Contexto Linguagens Livres do Contexto: Propriedades

Uma Introdu c ao Informal Aut omatos de Pilha Determin sticos Aut omatos de Pilha N ao Determin sticos Gram aticas Livres do Contexto Linguagens Livres do Contexto: Propriedades

Exemplo de uso do lema do bombeamento

Algumas propriedades de fechamento

Seja L = {0n | n e primo}. Suponha que L seja uma LLC. Seja k a constante do LB, e seja z = 0n , em que n e um n umero primo maior que k . Como |z | > k , para provar que L n ao e livre do contexto, basta ent ao supor que z = uvwxy , |vwx | k e vx = , e encontrar um i tal que uv i wx i y L, contrariando o LB. Pelas informa c oes anteriores, tem-se que uv i wx i y = 0n+(i 1)(|vx |) n (pois z = 0 ). Assim, i deve ser tal que n + (i 1)|vx | n ao seja um n umero primo. Ora, para isso, basta fazer i = n + 1, obtendo-se n + (i 1)|vx | = n + n|vx | = n(1 + |vx |), que n ao e primo (pois |vx | > 0). Desse modo, uv n+1 wx n+1 y L, contradizendo o LB. Logo, L n ao e LLC.

A classe das LLCs e fechada sob: uni ao, concatena c ao, fecho de Kleene. Demonstra c ao: trivial, usando GLCs.

Newton Jos e Vieira

Cap tulo 3: Aut omatos de Pilha

Newton Jos e Vieira

Cap tulo 3: Aut omatos de Pilha

Uma Introdu c ao Informal Aut omatos de Pilha Determin sticos Aut omatos de Pilha N ao Determin sticos Gram aticas Livres do Contexto Linguagens Livres do Contexto: Propriedades

Uma Introdu c ao Informal Aut omatos de Pilha Determin sticos Aut omatos de Pilha N ao Determin sticos Gram aticas Livres do Contexto Linguagens Livres do Contexto: Propriedades

N ao fechamento

Um teorema importante

A classe das LLCs n ao e fechada sob: Interse c ao. L1 = {an bn ck | n, k 0} e L2 = {an bk ck | n, k 0} s ao LLCs. L1 L2 = {an bn cn | n 0} n ao e LLC. Complementa c ao. L1 L2 = L1 L2 .

Seja L uma LLC e R uma linguagem regular. Ent ao L R e uma LLC. Seja L = {w {a, b, c} | w tem o mesmo n umero de as, bs e cs}. Suponha que L seja uma LLC. Ent ao, como R = L(a b c ) e uma n n n linguagem regular, L R e LLC. Mas, L R = {a b c | n N}, que n ao e LLC. Logo, L n ao e LLC.

Newton Jos e Vieira

Cap tulo 3: Aut omatos de Pilha

Newton Jos e Vieira

Cap tulo 3: Aut omatos de Pilha

Uma Introdu c ao Informal Aut omatos de Pilha Determin sticos Aut omatos de Pilha N ao Determin sticos Gram aticas Livres do Contexto Linguagens Livres do Contexto: Propriedades

Problemas decid veis e indecid veis

Problemas decid veis: Determinar se w L(G ), para qualquer GLC G e palavra w . Determinar se L(G ) e vazia, para qualquer GLC G . Problemas indecid veis: Determinar se G e amb gua, para qualquer GLC G . Determinar se L(G ) = , para qualquer GLC G . Vericar se L(G1 ) L(G2 ) = , para quaisquer GLCs G1 e G2 . Determinar se L(G1 ) L(G2 ), para quaisquer GLCs G1 e G2 . Determinar se L(G1 ) = L(G2 ), para quaisquer GLCs G1 e G2 .

Newton Jos e Vieira

Cap tulo 3: Aut omatos de Pilha