You are on page 1of 2

Fundamentos da Teoria da Computac a o Lista Alfabetos e Linguagens

Bacharelado em Ci encia da Computac a o, DCTUFMS, 10/8/2004

1.

(a) Prove, usando a denic a o de concatenac a o, que a concatenac a o de palavras e associativa. (b) D e uma denic a o indutiva da concatenac a o de palavras. (c) Usando a denic a o indutiva dada em (b), prove que a concatenac a o de palavras e associativa.

2. Prove cada uma das seguintes armac oes, usando a denic a o indutiva do reverso de uma palavra. (a) (wR )R = w, para toda palavra w. (b) Se v e uma subpalavra de w ent ao v R e uma subpalavra de wR . (c) (wi )R = (wR )i , para toda palavra w e i 0.

3. Seja = {a1 , . . . , a26 } o alfabeto romano. Dena cuidadosamente a relac a o bin aria < sobre de tal forma que x < y se e somente se x precede y em um dicion ario alfab etico da l ngua portuguesa. 4. Mostre que: (a) {} = {}. (b) Se a e b s ao s mbolos distintos, ent ao {a, b} = {a} ({b}{a} ) . (c) Se e um alfabeto qualquer, L1 e L2 , ent ao (L1 L2 ) = . (d) Para qualquer linguagem L, L = L = . 5. D e alguns exemplos de palavras que est ao, e que n ao est ao, nos conjuntos a seguir, onde = {a, b}. (a) {w : w = uuR u, para alguma palavra u }. (b) {w : ww = www}. (c) {w : uvw = wvu, para algum par u, v }. (d) {w : www = uu, para alguma palavra u }. 6. Reescreva cada uma das expressoes regulares a seguir como uma express ao mais simples que representa o mesmo conjunto. 1

(a) a b (a b) (b) ((a b ) (b a ) ) (c) (a b) (b a) (d) (a b) a(a b) 7. Seja = {a, b}. Escreva expresoes regulares para os seguintes conjuntos. (a) Todas as palavras em com n ao mais que tr es as. (b) Todas as palavras em com um numero de as divis vel por tr es. (c) Todas as palavras em com exatamente uma ocorr encia da subpalavra aaa. 8. Quais das seguintes armac oes s ao verdadeiras? Explique. (a) baa a b a b (b) b a a b = a b (c) a b b c = (d) abcd (a(cd) b) 9. A altura-estrela h() de uma express ao regular e denida por induc a o da seguinte forma. h() = 0, h(a) = 0, para cada a , h( ) = h( ) = max{h(), h( )}, h( ) = h() + 1. Por exemplo, se = (((ab) b ) a ), ent ao h() = 2. Encontre, em cada caso, uma express ao regular que representa a mesma linguagem e tem altura-estrela m nima. (a) ((abc) ab) (b) (a(ab c) ) (c) (c(a b) ) (d) (a b ab) (e) (abb a)

You might also like