Aut omatos e Computabilidade: Prova 1

1. Considere o seguinte aut omato nito n ao determin stico (AFN) sobre o alfabeto = {a,b}. b a q0 a,b a q1 a q2

b (a) (1 ponto) Transforme o AFN em um aut omato nito determin stico (AFD) equivalente. Utilize o m etodo visto em aula, e 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 ca veis desde o estado inicial. Resposta: b b a Q0 a Q01 (Nota ca o: Qij = {qi , qj }) b b b a Q012 a Q1 a Q2

(b) (1 ponto) Transforme o AFN em um aut omato nito n ao determin stico generalizado (AFNG) equivalente. Resposta: qi a q0 ab b q1 a a b (c) (1 ponto) A partir do AFNG do item (b), obtenha uma express ao regular para a linguagem reconhecida pelo aut omato. Utilize o m etodo visto em aula (mostre todos os passos). Resposta: eliminando os estados intermedi arios q2 , q1 e q0 , nessa ordem, obtemos a qi q0 ab ab b aa q1 qf q2 qf

a (a b)(b aa) ab qi q0 (a b)(b aa) qf

qi

[a (a b)(b aa) ab] (a b)(b aa)

qf

Portanto, uma express ao regular que gera a linguagem reconhecida pelo aut omato e [a (a b)(b aa) ab] (a b)(b aa) (d) (1 ponto) Construa um gram atica livre-do-contexto GLC que gere a mesma linguagem reconhecida pelo aut omato. Utilize o m etodo visto em aula. Resposta: a partir do AFD obtido no item (a), obtemos a gram atica Q0 Q1 Q2 Q01 Q012 aQ01 | bQ1 aQ2 | bQ1 | aQ1 | bQ0 aQ012 | bQ1 | aQ012 | bQ01 |

2. (1 ponto) Desenhe um aut omato nito que reconhe ca o complemento da linguagem reconhecida pelo seguinte AFN. Explique seu racioc nio. Considere o alfabeto = {0,1}. 0 0,1

Resposta: Primeiro, transformamos o AFN em um AFD equivalente. Podemos fazer isso facilmente adicionando um estado e colocando as transi co es que faltam, da seguinte forma: 0,1 0 1 0,1 0,1 Queremos um aut omato que aceite as palavras que n ao s ao aceitas pelo AFD acima, e que sim aceite aquelas que o AFD n ao aceita. Para isso, simplesmente permutamos os estados de aceita ca o pelos de nao-aceita ca o, e obtemos

0 1

0,1

0,1

0,1

3. (1 ponto) Seja um alfabeto com a , e L uma linguagem regular sobre . Prove que a linguagem L = {w| w = w1 w2 , onde w1 ,w2 L e w tem pelo menos dois as} e regular. Resposta: A linguagem L e a interse ca o de duas linguagens, L1 = {w1 w2 | w1 ,w2 L} e L2 = {w| w tem pelo menos dois as}. A linguagem L1 e a concatena ca o da linguagem regular L com L e, portanto, e regular, pois a classe das linguagens regulares e fechada sobre a concatena ca o. A linguagem L2 tamb em e regular, pois pode ser descrita pela express ao regular a a . Sabemos que a classe das linguagens regulares tamb em e fechada sobre a interse ca o (vimos em aula como construir um AFD que reconhe ca a interse ca o de duas linguagens regulares) e, portanto, L = L1 L2 e regular. 4. (2 pontos) Prove que as seguintes linguagens n ao s ao regulares. (a) L2 = {ai bj ck | i, j, k 0 e i2 + j 2 = k 2 }. Resposta: Suponha que L2 seja regular, e que p seja o comprimento de bombeamento. Considere w = a3p b4p c5p . Note que (5p)2 = (3p)2 + (4p)2 , portanto w L2 , e |w| p. Fazemos w = xyz , onde |xy | p e |y | > 0. Ent ao, xy = am , com m p, e y = an , com 0 < n m. Segundo o lema do bombeamento, xz L2 . No entanto, xz = a3pn b4p c5p , e (5p)2 = (3p n)2 + (4p)2 . Ent ao, xz / L2 . A contradi ca o implica que L2 n ao e regular. (b) L3 = {xw| x,w {0,1} e |x| = |w|}. Quest ao anulada 5. Verdadeiro ou falso? Justique (prove) suas repostas (a) (1 ponto) A classe das linguagens regulares e fechada sobre a opera ca o Impar(L) = {w| w L e |w| e impar}. Resposta: Verdadeiro. A linguagem L = {w| |w| e impar} e regular, pois pode ser descrita pela express ao regular () , onde e o alfabeto. A linguagem Impar(L) e a interse ca o das linguagens L e L . Sabemos que a classe das linguagens regulares e fechada sobre a interse ca o, portanto, L e regular. (b) (1 ponto) Seja a linguagem L gerada pela express ao a b . Qualquer AFD que reconhe ca L deve ter pelo menos dois estados de aceita ca o.

Resposta: Verdadeiro. Seja M = (Q, , , q0 , F ) um AFD qualquer que reconhe ce L. A cadeia vazia L, portanto, o estado inicial q0 dedeve ser um estado de aceita ca o. Considere agora a cadeia ab. O AFD deve aceitar essa cadeia, portanto, existem estados qa e qb tais que (q0 , a) = qa , (qa , b) = qb e qb e um estado de aceita ca o. A quest ao e: o estado qb pode ser o mesmo estado q0 , ou necessariamente deve ser um estado diferente? Suponha que qb = q0 , e considere a cadeia abab. Ao ler essa cadeia, o aut omato passa pela sequ encia de estados q0 qa q0 qa q0 e a aceita. No entanto, abab / L, o que produz uma contradi ca o. Ent ao, os estados de aceita ca o q0 e qb devem ser diferentes.