Autmatos de Pilha

1. Para cada linguagem a seguir, construa um APD, se possvel. Se no for possvel, construa um APN (se possvel). a. b. c. d. e. f. g. h. i. j. k. l. m. n. {anbkcn+k | n, k 0}. {anbn+kck | n, k 0}. {anbk| n k 3n}. {w {a, b}* | a quantidade de a em w igual quantidade de b em w mais 1}. {w {a, b}* | a quantidade de a em w igual ao dobro da quantidade de b em w}. {w {a, b, c}* | a quantidade de a em w igual soma da quantidade de b mais a quantidade de c}. {anb2ncmdm+2| n 0, m 1}. {aibnci | i 0, n 1}. {(01)n(10)n | n 0}. {(01)n0(10)n | n 0}. {0n1n0k | n 0, k 1}. {0n1n1k | n 0, k 1}. {0n1m | m n}. {0n1m# | m n}.

Gramticas Livres de Contexto

2. Construa GLC's para as linguagens: a. b. c. d. e. f. g. h. {anbkcn+k | n, k 0}. {anbn+kck | n, k 0}. {anbk| n k 3k}. {anb2ncmdm+2| n 0, m 1}. {aibnci | i 0, n 1}. {am+n+1b2nc3m | m,n 0}. {anb3n+2kc3k | n, k 0}. {anbmck | m = n ou n k}.

3. Seja a gramtica G: P => AB | aaB A => a | Aa B => b a. Que linguagem gerada por G? b. Mostre que G ambgua. c. Construa uma gramtica no ambgua equivalente a G.

4. Seja a gramtica G: P => aX | X => Pb | Pbb a. Que linguagem gerada por G? b. Mostre que G ambgua. c. Construa uma gramtica no ambgua equivalente a G. 5. Construa uma gramtica equivalente gramtica a seguir sem variveis inteis. S => a | aA | B | C A => aB | B => bbAa C => cCD D => ddd 6. Elimine as regras da gramtica a seguir: P => AB | aB A => BBB | aB | B => a | aA | 7. Elimine as regras da gramtica a seguir S => AaB | aaB A => B => bbA | 8. Seja a gramtica: P => AAA | B A => aA | B | BC B => C => BC a. b. c. d. Se existirem smbolos inteis, elimineos. Elimine regras . Elimine regras unitrias. Obtenha uma GLC equivalente na forma normal de Chomsky.

9. Seja a gramtica: S => 0A0 | 1B1 | BB A => C B => S | A

C => S | a. b. c. d.

Se existirem smbolos inteis, elimineos. Elimine regras . Elimine regras unitrias. Obtenha uma GLC equivalente na forma normal de Chomsky.

10. Seja a gramtica: S => abAB A => bAB | B => bBAa | C => BC Obtenha uma GLC equivalente na forma normal de Chomsky.

Lema do Bombeamento e propriedade de linguagens

11. Use o lema do bombeamento para mostrar que { anb2nan| n 0} no uma linguagem livre do contexto. 12. Mostre que so ou que no so linguagens livres do contexto: a. {w {a, b, c}* | na(w) < nb(w)}. b. {w {a, b, c}* | na(w) = nb(w) = nc(w)}. c. { ambnck | m < n < k}. 13. Mostre que sim ou que no: as linguagens livres do contexto so fechadas sob: a. Diferena. b. Diferena simtrica. 14. Prove que as seguintes afirmativas so ou no verdadeiras, considerando os casos em que (i) X finita e (ii) X regular. a. Se L uma LLC, ento L - X uma LLC. b. Se L no uma LLC, ento L - X no uma LLC. c. Se L no uma LLC, ento L X no uma LLC.