Autômatos Finitos DETERMINÍSTICOS

1) Construa um AFD para as seguintes linguagens:

a) {w {0,1}* | w tem tamanho 3}
b) {w {0,1}* | w tem tamanho menor que 3}
c) {w {0,1}* | w tem tamanho maior que 3}
d) {w {0,1}* | w tem tamanho múltiplo de 3}
e) {w {0,1}* | cada 0 de w é imediatamente seguido de, no mínimo dois 1´s}
f) {w {0,1}* | os primeiros 4 símbolos de w contêm, no mínimo, dois 1´s}
g) {w {0,1}* | w NÃO contém 000 nem 111}
h) {w {0,1}* | os últimos três símbolos de w NÃO são 000}
i) {w {0,1,2}* | w tem número par de 0´s, par de 1´s e par de 2´s}
j) { uavbxcy | u,v,x,y {a,b,c}*}
k) {w {a,b}* | w começa com a e tem tamanho par}
l) {w {a,b}* | w nunca tem mais de dois a´s consecutivos}
m) {w {a,b}* | w …exibir mais conteúdo…

d) O conjunto de palavras em que existem duas ocorrências de abc com um número ímpar de símbolos entre elas.
e) {w {0,1}* | |w|  4 e o segundo e o penúltimo símbolos são ambos 1}
f) {w {0,1}* | 00 não aparece nos últimos 4 símbolos de w}
g) {w {0,1}* | entre dois 1´s de w há sempre um número par de 0´s, exceto nos últimos 4 símbolos}
h) {w {0,1}* | w tem uma subpalavra constituída de dois 1´s separados por um número par de símbolos}

2) Sejam as linguagens da forma Ln =