Nome: Bruno Hideki Amadeu Ogata RA: 140884

Projeto 05 - LFA

1) Prove que a Linguagem L1 é regular (considere ∑ = {0, 1}).

L1 = {w | w contém a cada bloco de cinco símbolos consecutivos pelo ao

menos dois 0’s}.

Para provar que a linguagem é regular eu montei um NFA que satisfaz essa
linguagem, veja o NFA:
2) a) Qual a linguagem reconhecida por M? Utilize notação de conjunto.

𝑛 𝑚
A linguagem reconhecida por M é L = {w | w = 0 * 0 * 1 com m,n ≥ 0}.

b) Construa o autômato complementar de M.

Temos que o autômato complementar de M é dado por:

3) a)

b)
c)

d)