UNIVERSIDADE FEDERAL DO PIAU CENTRO DE CINCIAS DA NATUREZA DEPARTAMENTO DE INFORMTICA E ESTATSTICA Disciplinas: Teoria da Computao / Linguagens Formais e Autmata

1 Lista de Exerccios 1. Construa um AFD que reconhea um nmero binrio, em que o resto da sua diviso por 5 seja igual a 3. 2. Execute o reconhecimento das palavras aaab e abaa e informe qual a linguagem reconhecida pelo AFD M = ({a, b}, {q1, q2, q3, q4}, , q1, {q4,q3}), com definida a seguir: q1 q2 q3 q4 a q2 q4 q2 q4 b q1 q3 q1 q3

3. Construa um AFN que reconhea a linguagem L = {w {0,1}* | |w| 4 e o segundo e o penltimo smbolos so ambos 1}. Em seguida verifique o reconhecimento das palavras 0110 e 0111. 4. Minimize o AF da questo anterior. 5. Dado o AF abaixo, faa:

a. o reconhecimento das palavras 110 e 1010; b. a traduo para o AFN equivalente. 6. Converta o AFD seguinte em uma Gramtica Regular.

7. Qual o AFD equivalente a Gramtica G = ({S, A, B, C}, {a, b, c}, {S aA, A bB, B C, C cA | }, S) ? 8. Descreva em palavras as linguagens representadas pelas seguintes expresses regulares e traduza-as para autmatos finitos: a. (aa + b)*(a + bb) b. aba*(aa+bb)
9. Crie os AFDs e as GRs que aceitem (gerem) as seguintes linguagens: a. O conjunto das palavras em que cada 0 est entre dois 1s; b. Os nmeros reais;

10. Prove se as seguintes linguagens so ou no regulares: a. { w | w = anbm, n m } b. { w | w = anbmar, n 0, m 0 e r 0 }