Teoria da Computação

.: Prove que a Linguagem L1 é regular (considere ).

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

Uma linguagem é regular se esta é aceita por algum DFA ou NFA que reconhece
apenas as strings da mesma. No caso, a linguagem L1 é regular pois é possível
construir o segundo DFA a partir dela:

Converta os seguintes NFA's em DFA's.

A conversão do primeiro NFA resulta no seguinte DFA:

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}

A conversão do segundo NFA resulta no seguinte DFA:
0 1

→{p} {q,s} {q}

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

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

{r} {s} {p}

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

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

*{s} {lixo} {p}

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

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

{lixo} {lixo} {lixo}

A conversão do terceiro NFA resulta no seguinte DFA:

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}

Considere os seguintes ε-NFA’s:

A. Calcule o ε-fechamento de cada estado:

1. CL {p} = {p}
CL {q} = {q,p}
CL {r} = {r,q,p}

2. CL {p} = {p,q,r}
CL {q} = {q}
CL {r} = {r}
CL {q,r} = CL (q) U CL (r) = {q,r}
CL {p,q} = CL (p) U CL (q) = {p,q,r}

B. Converta os autômatos em um DFA.

A conversão do primeiro ε-NFA resulta no seguinte DFA:

a b c

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

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

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

A conversão do segundo ε-NFA resulta no seguinte DFA:
a b c

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

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

*{r} {lixo} {lixo} {lixo}

{lixo} {lixo} {lixo} {lixo}