Fundamentos da Teoria da Computa c ao Professor: Newton Jos e Vieira Primeira Prova/Turma N Dura c ao: 1 hora e 35 minutos.

Valores: 1,5 ponto por item.

1o semestre de 2011 DCC/ICEx/UFMG 7/4/2011

Leia cada quest ao com cuidado. A interpreta c ao faz parte da avalia c ao. 1. Seja = {0, 1, 2} e sejam as seguintes linguagens de alfabeto : L1 = {0, 1}{0, 1} e L2 = {1}{1, 2} . Para cada linguagem a seguir, escreva uma condi c ao necess aria e suciente para que uma palavra perten ca a ela, supondo que o alfabeto e : (a) L2 L2 . (b) L1 L2 . Exemplo: uma condi c ao necess aria e suciente para que uma palavra perten ca a L1 L1 e cont em no m nimo dois s mbolos e n ao cont em 2. 2. Descreva as linguagens a seguir, todas sobre o alfabeto {0, 1}, usando apenas conjuntos nitos, opera c oes sobre conjuntos, concatena c ao e fecho de Kleene. Procure obter uma descri c ao bem concisa. (a) {01i 0 | i e mpar}. (b) O conjunto das palavras no alfabeto = {a, b, c} da forma xyz , em que x n ao cont em a, y n ao cont em b e z cont em apenas cs (um ou mais). 3. Obtenha gram aticas para as seguintes linguagens: (a) {01i 0 | i e mpar}. (b) {w {a, b, c} | w = wR }. 4. Construa AFDs que reconhe cam as linguagens a seguir. Apresente apenas os diagramas de estados (que podem ser simplicados). (a) {01i 0 | i e mpar}. (b) O conjunto das palavras de {0, 1} que cont em pelo menos um 00, mas nenhum 11. (c) {a, b} {b, c} . 5. Seja = {0, 1} e: X = () Y = {11} . (a) Desenhe os diagramas de estados de AFDs que reconhe cam X e Y . O que reconhece X deve ter dois estados e o que reconhece Y deve ter tr es estados. (b) Obtenha o diagrama de estados para o produto dos dois AFDs e diga quais s ao os estados nais para reconhecer X Y e X Y .