Autmatos Finitos DETERMINSTICOS 1) Construa um AFD para as seguintes linguagens: {w {0,1}* | w tem tamanho 3} {w {0,1}* | w tem tamanho menor

que 3} {w {0,1}* | w tem tamanho maior que 3} {w {0,1}* | w tem tamanho mltiplo de 3} {w {0,1}* | cada 0 de w imediatamente seguido de, no mnimo dois 1s} {w {0,1}* | os primeiros 4 smbolos de w contm, no mnimo, dois 1s} {w {0,1}* | w NO contm 000 nem 111} {w {0,1}* | os ltimos trs smbolos de w NO so 000} {w {0,1,2}* | w tem nmero par de 0s, par de 1s e par de 2s} { uavbxcy | u,v,x,y {a,b,c}*} {w {a,b}* | w comea com a e tem tamanho par} {w {a,b}* | w nunca tem mais de dois as consecutivos} {w {a,b}* | w tem um nmero mpar de abs} {w {a,b}* | |w| 2 e os as (se houver) precedem os bs (se houver)} {w {a,b,c,d}* | os as (se houver) precedem os bs (se houver) e os cs (se houver) precedem os ds (se houver)} p) { xban | x {a,b}*, n 0 e x tem um nmero par de as} q) { xamban | x {a,b}*, m+n par e x no termina em a} a) b) c) d) e) f) g) h) i) j) k) l) m) n) o) 2) Seja o primeiro smbolo de uma palavra a posio 1, o segundo smbolo a posio 2, e assim por diante. Seja i um nmero natural qualquer: a posio i indica uma posio qualquer na palavra, as posies 2i (ou 2i+2, ou 2i+4, etc.) indicam as posies pares dentro da palavra, as posies 2i-1 (ou 2i+1, 2i+3, etc.) indicam as posies mpares. Construa AFDs para as seguintes linguagens sobre o alfabeto {0,1}: a) O conjunto de palavras em que o smbolo na posio 2i diferente do smbolo na posio 2i+2, para i 1. b) O conjunto de palavras em que o smbolo na posio 2i-1 diferente do smbolo na posio 2i, para i 1. c) O conjunto de palavras em que o smbolo na posio i diferente do smbolo na posio i+2, para i 1. d) O conjunto de palavras com nmero par de 0s nas posies pares e nmero mpar de 0s nas posies mpares. e) O conjunto de palavras de tamanho par com 1s nas posies pares, acrescido das palavras de tamanho mpar com 1s nas posies mpares. 3) Faa um AFD para {0}{0,1}* {0,1}*{1}. Minimize o AFD. 4) Minimize todos os AFDs do exerccio 2.

5) Monte um AFD para a unio e outro AFD para a interseo das linguagens dos exerccios 1.d) e 1.e) 6) Construa AFDs para as linguagens: a) L1 = {w {0,1}* | o tamanho de w divisvel por 3} b) L2 = {0w0 | w {0,1}* } c) L1 L2 Autmatos Finitos NO-DETERMINSTICOS 1) Construa AFNs para as seguintes linguagens sobre {a,b,c}: a) O conjunto de palavras com, no mnimo, 3 ocorrncias de abc. b) O conjunto de palavras com, no mnimo, 3 ocorrncias de as ou 3 ocorrncias de b s ou 3 ocorrncias de cs. c) O conjunto de palavras com sufixo abc e bca. d) O conjunto de palavras em que existem duas ocorrncias de abc com um nmero mpar de smbolos entre elas. e) {w {0,1}* | |w| 4 e o segundo e o penltimo smbolos so ambos 1} f) {w {0,1}* | 00 no aparece nos ltimos 4 smbolos de w} g) {w {0,1}* | entre dois 1s de w h sempre um nmero par de 0s, exceto nos ltimos 4 smbolos} h) {w {0,1}* | w tem uma subpalavra constituda de dois 1s separados por um nmero par de smbolos} 2) Sejam as linguagens da forma Ln = {xyx | x,y {a,b}* e |x| = n}. Determine o menos nmero de estados para um AFN e para um AFD que reconheam Ln, nos seguintes casos: a) n = 1 b) n = 2 c) n arbitrrio 3) Mostre que para todo AFN existe um AFN equivalente com um nico estado inicial (mostre como construir um AFN s com um estado inicial a partir de um AFN qualquer). 4) Mostre que sim ou no: para todo AFN existe um AFN equivalente com um nico estado final 5) Seja o AFN M = ({0,1,2},{a,b,c}, ,0,{2}), sendo dado por: C A b 0 {0} {1} 1 {1} {2} 2 {2} a) Determine f(e) para e = 0,1,2.

b) Determine um AFN M equivalente a M, retirando as transies . c) Determine um AFD M equivalente a M, retirando o no-determinismo. 6) Construa AFNEs para as linguagens do exerccio 1, com um mnimo de transies possvel. 7) Mostre que para todo AFN existe um outro AFN equivalente com um nico estado inicial e um nico estado final.