Gramticas, Expresses Regulares, Bombeamento e Propriedades 1) Identifique as linguagens que so geradas pelas gramticas a seguir (nem todas as gramticas

abaixo so gramticas regulares): a) G1 = ({P, Z}, {0, 1}, R1 , P ). R1: P => 0P1 | Z Z => 0Z | 0 b) G2 = ({P, Z, U}, {0, 1}, R2 , P). R2: P => 0P1 | Z | U Z => 0Z | 0 U => U1 | 1 c) G3 = ({S, X}, {0, 1}, R3 , S). R3: S => 00S | 1X | X => 00X | 1S d) G4 = ({P, X}, {a, b, c}, R4, P). R4: P => aPa | X X => bXc | Xc | e) G5 = ({P, A, B, F}, {a, b}, R5, P). R5: P => aAP | bBP | F Aa => aA Ab => bA Ba => aB Bb => bB AF => Fa BF => Fb F => f) G6 = ({P}, {0, 1}, R6, P). R6: P => 0P1 | 01 => 10 2) Obtenha gramticas regulares para as seguintes linguagens: a) {0}{11}*{0} b) {w {0, 1, #}* | toda seqncia de 0's em w vem entre dois #s}. c) O conjunto das palavras sobre {0, 1} de tamanho par com pelo menos dois 1s.

3) Obtenha expresses regulares e gramticas regulares para as seguintes linguagens: a) {w {a, b}* | |w| # {0, 2, 4}}. b) {w {a, b}* | w cont apenas um ou dois bs}. c) {w {a, b, c}* | o nmero de as mais o de bs em w par}. d) {w {a, b, c}* | w no termina com cc}. e) {w {a, b}* | w contm b e |w| mod 3 = 1} 4) Obtenha expresses regulares que denotem as linguagens sobre {0, 1} abaixo, a partir de AFs que reconheam as mesmas. a) O conjunto das palavras em que 0s s podem ocorrer nas posies pares. b) O conjunto das palavras com pelo menos um smbolo em que os 0s, se houver algum 0, precedem os 1s, se houver algum 1. c) O conjunto das palavras que no contm a subpalavra 000. 5) Prove que os seguintes conjuntos no so linguagens regulares, utilizando o lema do bombeamento: a) {0k12k | k 1}. b) {x1n | n 0, x {0, 1}* e |x| = n}. c) {0k1n0k | k, n 0}. 6) Seja L uma linguagem no regular, R uma regular e F uma linguagem finita. Mostre que sempre regular, sempre no regular, ou nenhum dos dois (ou seja, s vezes regular e s vezes no): a) L - F b) L - R c) LF d) LR e) F* f) L* 7) 10. Mostre que os seguintes problemas so decidveis, se G1 e G2 so gramticas regulares quaisquer: a) L( G1 ) = ? b) L( G1 ) L( G2 )?