Nome: Bruno Hideki Amadeu Ogata RA: 140884

Projeto 04 - LFA

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

L1 = {w | w possui o mesmo número de 01 e 10}

Para provar que a linguagem é regular eu montei um DFA que satisfaz essa
linguagem, veja o DFA:
2) Converta os seguintes NFA's em DFA's:

a)
0 1

→p {p,q} {p}

q {r} {r}

r {s} ⊘

*s {s} {s}

Temos que a conversão desse NFA para DFA é dada por:

0 1

→p {p,q} {p}

p,q {p,q,r} {p,r}

p,q,r {p,q,r,s} {p,r}

p,r {p,q,s} {p}

*p,q,r,s {p,q,r,s} {p,r,s}

*p,q,s {p,q,r,s} {p,r,s}

*p,r,s {p,q,s} {p,s}

*p,s {p,q,s} {p,s}

b)
0 1

→p {q,s} {q}

*q {r} {q,r}

r {s} {p}

*s ⊘ {p}

Temos que a conversão desse NFA para DFA é dada por:

0 1

→p {q,s} {q}

*q,s {r} {p,q,r}

*q {r} {q,r}

r {s} {p}

*s ⊘ {p}

*q,r {r,s} {p,q,r}

*p,q,r {q,r,s} {p,q,r}

*q,r,s {r,s} {p,q,r}

*r,s {s} {p}

⊘ ⊘ ⊘
c)
0 1

→p {p,q} {p}

q {r,s} {t}

r {p,r} {t}

*s ⊘ ⊘

*t ⊘ ⊘

Temos que a conversão desse NFA para DFA é dada por:

0 1

→p {p,q} {p}

p,q {p,q,r,s} {p,t}

*p,q,r,s {p,q,r,s} {p,t}

*p,t {p,q} {p}

 3) a) Considere o seguinte ε-NFA:

ε a b c

→p ⊘ {p} {q} {r}

q {p} {q} {r} ⊘

*r {q} {r} ⊘ {p}

Temos que o ε-fechamento de p = {p}, o ε-fechamento de q = {p,q} e o ε

-fechamento de r = {q,r}.
A conversão dessa NFA para DFA é dada por:

a b c

→p {p} {p,q} {q,r}

p,q {p,q} {p,q,r} {q,r}

*q,r {p,q,r} {q,r} {p}

*p,q,r {p,q,r} {p,q,r} {p,q,r}

 b) Considere o seguinte ε-NFA:

ε a b c

→p {q,r} ⊘ {q} {r}

q ⊘ {p} {r} {p,q}

*r ⊘ ⊘ ⊘ ⊘

Temos que o ε-fechamento de p = {p,q,r}, o ε-fechamento de q = {q} e o ε

-fechamento de r = {r}.
A conversão dessa NFA para DFA é dada por:

a b c

→*p,q,r {p} {q,r} {p,q,r}

*q,r {p,q,r} {r} {p,q,r}

*r ⊘ ⊘ ⊘

⊘ ⊘ ⊘ ⊘