1 – Construa Autômatos Finitos Determinísticos – AFD´s que aceitem as linguagens

abaixo. Para cada exercício, forneça o diagrama do autômato.

a) Todas as sentenças em (0,1)* que apresentem no mínimo um “1” seguido

imediatamente de dois “0”s.

b) Todas as sentenças em (0,1)* que apresentem no mínimo um “1” seguido

imediatamente de uma seqüência de somente dois “0”s.

c) Todas as sentenças em (0,1)* que apresentem cada “1” seguido imediatamente

de dois “0”s.

d) Todas as sentenças em (a,b)* de modo que “a” seja sempre o primeiro símbolo e
“b” seja sempre o último independente do tamanho da seqüência.
e) Todas as sentenças em (a,b)* de modo que todo “a” apareça entre dois terminais
“b”.

f) Todas as sentenças em (a,b)* de modo que o último símbolo seja “b” e o número
de símbolos “a” seja par.

g) Todas as sentenças em (a,b)* de modo que o último símbolo seja “b” e o número
de símbolos “a” seja impar.