Fundamentos Tericos da Computao LE2 Lista de Exerccios 2 Setembro de 2013 Prof Jlia Epischina Assunto: Linguagens Regulares e Autmatos

s Finitos Determinsticos I - Observaes: 1. O exerccio individual. 2. Data Limite para Entrega: 18/09/2013 (quarta-feira). No sero tolerados atrasos na entrega! II Questes 1. Construa e defina os AFNDs que reconheam as seguintes linguagens: a) a linguagem {w | w termina com 00} com 3 estados b) a linguagem {w {a,b,c}* | o ltimo smbolo de w seja idntico ao primeiro} c) L1 = {w | w e w comea por 1 e termina por 0} e = {0,1} d) L2 = {x01y | x,y {0,1}} 2. Transforme os AFNDs do exerccio acima em AFDs 3. Seja o AFN M = ({0,1,2},{a,b,c}, , {0},{2}), sendo dada por:

a) Desenhe este AFN. b) Determine e desenhe um AFN M' equivalente a M. c) Determine e desenhe um AFD equivalente a M'.

BOM TRABALHO!