Linguagens Formais – AV1

Nome: Eduardo Callegari Martins Mello

Matrícula: 2019100620
Turma: 165

1)

Desenvolvimento :
0 1 2 Ɛ
q0 {q0} {} {} {q1}
q1 {} {q1} {} {q2}
q2 {} {} {q2} {}

FƐ(q0) = {q0, q1, q2}

FƐ(q1) = {q1, q2}
FƐ(q2) = {q2}

F` = Fꜫ (q0) U Fꜫ (q1) U Fꜫ (q2) = {q0, q1, q2}

-Função de Transição AFNƐ :

δ({q0}, ε) = {q0, q1, q2}
δ({q1}, ε) = {q1, q2}
δ({q2}, ε) = {q2}

-Função de Transição AFN:

δ’({q0}, 0) = {q0}
δ’({q0}, 1) = {q1}
δ’({q0}, 2) = {q2}
δ’({q1}, 0) = {}
δ’({q1}, 1) = {q1}
δ’({q1}, 2) = {q2}
δ’({q2}, 0) = {}
δ’({q2}, 1) = {}
δ’({q2}, 2) = {q2}

Grafo do AFN:

Matriz de Transição AFN:

0 1 2
q0 {q0} {q1} {q2}
q1 {} {q1} {q2}
q2 {} {} {q2}

Então;
 Matriz de Transição AFD:
δ 0 1 2
*S0 = {q0} S0 S1 S2
*S1 = {q1} S7 S1 S2
*S2 = {q2} S7 S7 S2
*S3 = {q0, q1} S0 S1 S2
*S4 = {q0, q2} S0 S1 S2
*S5 = {q1, q2} S7 S1 S2
*S6 = {q0, q1, q2} S0 S1 S2
S7 = {} S7 S7 S7

-Eliminando os estados inalcançáveis:

δ 0 1 2
*S0 = {q0} S0 S1 S2
*S1 = {q1} S7 S1 S2
*S2 = {q2} S7 S7 S2
S7 = {} S7 S7 S7

-Grafo do AFD:
2)

DESENVOLVIMENTO:
G = (V, T, S, P)
V = {Q0, Q1, Q2, Q3}
T = {a, b, c}

RESULTADO:
Q0 -> aQ0 | aQ1
Q1 -> bQ1 | bQ2
Q2 -> cQ2 | cQ3
Q3 -> ε

P = {Q0 -> aQ0 | aQ1, Q1 -> bQ1 | bQ2, Q2 -> cQ2 | cQ3, Q3 -> ε}

3)

-Desenvolvimento:
. Eliminação de produções vazias:
Vε = {A, B, C}
A→ BaBa | C | aBa | Baa | aa
B→ABC | Bb | BC | AC | AB | A | B | C | b
C→ c

. Eliminação de variáveis unitárias:

A  BaBa | C | aBa | Baa | aa
B  ABC | Bb | BC | AC | AB | A | B | C | b
Cc
Elimina o C
A BaBa | c | aBa | Baa | aa
B ABC | Bb | BC | AC | AB | A | B | c | b
C c
Elimina o A
A BaBa | c | aBa | Baa | aa
B ABC | Bb | BC | AC | AB | A | B | c | b
C c
Elimina o B
A BaBa | c | aBa | Baa | aa
B ABC | Bb | BC | AC | AB | BaBa | c | aBa | Baa | aa | B | c | b
C c
A BaBa | c | aBa | Baa | aa
B ABC | Bb | BC | AC | AB | BaBa | c | aBa | Baa | aa | c | b
C c

Criando variáveis artificiais para eliminar situações que não satisfazem a forma
normal de Chomsky

A → BaBa| c | aBa | Baa | aa

B → ABC| Bb | BC | AC | AB | BaBa| c | aBa | Baa | aa | c | b
C→c

X -> a
Y -> b
Z -> BC
W -> BX
A → WW| c | XW | WX | XX
B → AZ| BY | BC | AC | AB | WW| c | XW | WX | XX | c | b
C→c

-Gramática livre de contexto na forma normal de Chomsky:

A WW| c | XW | WX | XX
B AZ| BY | BC | AC | AB | WW| c | XW | WX | XX | c | b
C c

X a
Y b
Z BC
W BX

4) a. {w| |w|≥5}
. Desenvolvimento:
(0 v 1) (0 v 1) (0 v 1) (0 v 1) (0 v 1) ( 0 v 1)*

. Resultado:

. Desenvolvimento:
1 v ((10)* 1) v 11* (10.(10) *) .1 *

. Resultado:
5) Converter o AFN abaixo para um AFD.

. Desenvolvimento
- Matriz de Transição do AFN:
0 1
q0 {q1} {q0,q1}
q1 {q0} {}

Então:

- Matriz de transição do AFD:

 δ 0 1
*S0 = {q0} S1 S2
S1 = {q1} S0 S3
*S2 = {q0, q1} S2 S2
S3 = {} S3 S3

Resultado :

- Grafo do AFD: