Aut omatos e Computabilidade: Prova 1

1. Indique se cada uma das seguintes arma c oes e verdadeira ou falsa, e justique sua resposta. Aten c ao: respostas corretas sem uma justicativa adequada n ao receber ao pontos. N ao e necess ario fazer provas formais. (a) Se um AFD M tem k estados, ent ao M deve aceitar alguma cadeia de comprimento pelo menos k 1. Resposta: Falso. O conjunto de estados de aceita c ao de um aut omato pode ser vazio, em cujo caso o aut omato n ao aceita nenhuma cadeia. (b) O conjunto de todas as linguagens regulares sobre o alfabeto = {a} e nito. Resposta: Falso. Os conjuntos {a}, {aa}, {aaa},...s ao linguagens regulares, e o conjunto delas, {{a},{aa},{aaa,. . . } e innito. (c) A linguagem gerada pela express ao regular a e vazia. Resposta: Falso. = {}; portanto, a =a . (d) Se L = L1 L2 e L e L1 s ao linguagens regulares, ent ao L2 tamb em e regular. Resposta: Falso. Se L1 e a linguagem regular e L2 e qualquer linguagem n ao regular sobre , ent ao L = L1 L2 = , que e regular. (e) Se L e uma linguagem regular sobre um alfabeto , ent ao L = {aw | w L}, onde a , tamb em e regular. Resposta: Verdadeiro. Considere a linguagem regular L = {a}. Ent ao, L = L L, que e regular, pois a classe das linguagens regulares e fechada sobre a concatena c ao. (f) O conjunto de todas as palavras que est ao em todos os livros da Biblioteca Central da UnB, nas quais a quantidade de vogais e a mesma que a de consoantes, e uma linguagem regular. Resposta: Verdadeiro. O conjunto de todas essas palavras e nito, e todo conjunto nito e uma linguagem regular. Cada uma das palavras constitui uma linguagem regular com uma u nica cadeia, pois podemos construir um AFD que aceite unicamente essa cadeia e rejeite qualquer outra. A uni ao de todas essas linguagens tamb em e regular, pois a classe das linguagens regulares e fechada sobre essa opera c ao.

(g) Se um AFN M aceita a cadeia vazia (), ent ao o estado inicial de M necessariamente deve ser um estado de aceita c ao. Resposta: Falso. O seguinte AFN aceita (). q1 q2

(h) Toda linguagem nita e regular. Resposta: Verdadeiro. Cada uma das cadeias da linguagem constitui uma linguagem regular com uma u nica cadeia, pois podemos construir um AFD que aceite unicamente essa cadeia e rejeite qualquer outra. A uni ao de todas essas linguagens tamb em e regular, pois a classe das linguagens regulares e fechada sobre essa opera c ao. (i) Para cada linguagem regular L, e poss vel construir um AFN que reconhe ca L e que tenha um u nico estado de aceita c ao. Resposta: Verdadeiro. Se L e regular, e reconhecida por algum AFD, que pode ser transformado em um AFN M1 . Para ter um u nico estado de aceita c ao, constru mos um novo AFN M , equivalente ao anterior, adicionando setas dos estados de aceita c ao de M1 a um novo estado de aceita c ao u nico, como mostra o seguinte diagrama. M1 M

(j) A linguagem gerada pela express ao regular a (a b) e vazia. Resposta: Verdadeiro. Concatenar a qualquer linguagem produz a linguagem vazia. (k) Se L e uma linguagem regular e L L, ent ao L tamb em e regular. Resposta: Falso. Por exemplo, suponha que L e a linguagem regular , e L e qualquer linguagem n ao regular sobre . Ent ao, L L. (l) Para cada AFN com n estados, existe um AFD com um m aximo de 2n estados que reconhece a mesma linguagem que o AFN. Resposta: Verdadeiro. O m etodo para transformar um AFN em um AFD equivalente, visto em aula, produz um AFD cujos estados s ao subconjuntos do AFN. A n quantidade de subconjuntos de estados do AFN e2 .

2. Considere o seguinte AFN sobre o alfabeto = {a,b}. b ,a 1 5 b a 3 ,b 4 2

,b

a (a) Transforme o AFN em um AFD que reconhe ca a mesma linguagem. Nomeie cada estado do AFD apropriadamente para indicar a quais estados do AFN corresponde. Aten c ao: N ao e necess ario mostrar os estados inalcan c aveis desde o estado inicial. Resposta: a a b {2,3,4} b a

{1,2,3,4}

{2,3,4,5}

b (b) Qual a linguagem reconhecida pelo AFD? Forne ca uma express ao regular simples. Resposta: O AFD reconhece a linguagem (a b) . Note que todos os estados s ao estados de aceita c ao. 3. Considere o seguinte AFN sobre o alfabeto = {a,b}. b 1 ,b a ,b 3 a 4 a 2 5

(a) Transforme o AFN em um AFD que reconhe ca a mesma linguagem. Nomeie cada estado do AFD apropriadamente para indicar a quais estados do AFN corresponde. Aten c ao: N ao e necess ario mostrar os estados inalcan c aveis desde o estado inicial. Resposta: a,b b a {2,3,4} b a (b) Qual a linguagem reconhecida pelo AFD? Forne ca uma express ao regular simples. Resposta: O AFD reconhece a linguagem (a b)(a b) . Note que aceita qualquer cadeia, exceto a cadeia vazia. 4. Seja um AFN M que reconhece a linguagem L sobre o alfabeto {a,b}. Construa um novo AFN que reconhece a linguagem L = {xwx| w L, x }. Por exemplo, se aab L, ent ao aaaba L e baabb L . Resposta: Verdadeiro. A partir do AFN M , constru mos o novo AFN, M , como mostra o seguinte diagrama. M M a a b b b {2,3,4,5}

{1 }

5. Escreva uma express ao regular para a linguagem L que cont em todas as cadeias em a b cujo comprimento e um m ultiplo de 3. Por exemplo, L cont em aaaabb, mas n ao cont em ababab ou aaabb. Resposta: (aaa) (bbb) (aaa) aab(bbb) (aaa) abb(bbb) .

6. Utilize o lema do bombeamento para provar que a linguagem L1 = {ai bj ak | k > i + j } n ao e regular.

Resposta: Suponha que L1 e regular, e que p e o comprimento de bombeamento. Conp p+2 sidere a cadeia s =a ba L1 , cujo comprimento e |s| > p. Fazemos s = xyz , onde |xy | p e |y | > 0. Ent ao, y deve conter somente as; assim, y =an , onde 0 < n p0. Segundo o lema, xyyz L1 . No entanto, xyyz =ap+n bap+2 . Como p + 2 n ao e maior que p + n + 1, ent ao xyyz / L1 . A contradi c ao indica que L1 n ao pode ser regular. 7. Utilize o lema do bombeamento para provar que a linguagem L1 = {ci bj ai+j | i,j > 0} n ao e regular. Resposta: Suponha que L1 e regular, e que p e o comprimento de bombeamento. Considere a cadeia s =cp bp a2p L1 , cujo comprimento e |s| > p. Fazemos s = xyz , onde |xy | p e |y | > 0. Ent ao, y deve conter somente cs; assim, y =cn , onde 0 < n p. Segundo o lema, xyyz L1 . No entanto, xyyz =cn+p bp a2p . Como n + p + p = 2p, ent ao xyyz / L1 . A contradi c ao indica que L1 n ao pode ser regular.