MAC 4722  Linguagens, Autmatos e Computabilidade 1 Lista de Exerccios (15/03)  Entregar 22/03/2012

Obs.: Ao provar algo, pode utilizar os resultados provados em aula ou em exerccios. Sempre que apresentar um exemplo, mostre que ele tem a propriedade que voc quer exemplicar. Entregue para nota apenas os exerccios que esto pontuados. (Total de pontos: 10) 1. Seja = {a, b}. D exemplos de vrias palavras que pertencem e que no pertencem a cada uma das linguagens a seguir: (a) L1 = {w : existe uma palavra x em 2 tal que w = xxR x} (b) L2 = {w : ww = www} (c) L3 = {w : existem palavras x e y em + tais que xyw = wyx} (d) L4 = {w : existe uma palavra x em tal que www = xx} 2. (2 pontos) D exemplos de linguagens no-vazias A, B e C sobre = {a, b} tais que (a) AB = AC , mas B = C . (b) A(B C) = AB AC . Uma das incluses A(B C) AB AC ou AB AC A(B C) sempre vlida. Qual ? Prove-a. 3. Sejam A, B e C . (a) Prove que se A B ento AC BC e CA CB . (b) (1 ponto) D exemplos de linguagens no-vazias A, B e C , nitas e innitas, tais que A B e AC = BC . 4. Sejam A, B e C . Prove que (a) (1 ponto) Se A B ento An B n , para todo n 0. (b) Se A B ento A B . (c) (1 ponto) (A )n = A , para todo n 1. (d) Se A C e B C ento AB C . (e) (A ) = A . (f) (1 ponto) (A B) = A (BA ) . (g) (A B) = (A B ) . (h) (1 ponto) Se A e B ento (A B) = . (i) (1 ponto) ( A )R = (AR ) . 5. (2 pontos) Seja L = {x {0, 1} : |x|0 = |x|1 }. (a) Prove que L = {0, 1} . (b) Descreva L , e prove que ( L ) = L .