Universidad pedagógica y tecnológica de Colombia (UPTC)

Jorge Steven Ayala Benítez

Ingeniería de sistemas y computación

Lenguajes formales

Taller #2
Primer punto:

A={

Q = {q0, q1, q2, q3, q4}

∑ = a, b, c

q0 = q0

F = q4

(Función de relación)

a b c

q0 q1

q1 q1 q2 q1

q2 q1 q3 q1

q3 q3 q3 q4

q4 q4

Función de relación extendida: acbbac

δ(q0,a) = {q1}

δ(q1,c) = {q1}

δ(q1,b) = {q2}

δ(q2,b) = {q3}

δ(q3,a) = {q3}

δ(q3,c) = {q4}

^δ(q0, acbbac) = {q4} Ո {q4} = {q4}

Punto 2:

A={

Q = {q0, q1, q2, q3, q4}

∑ = a, b, c

q0 = q0

F = q4

}
Función de transición extendida: acbbac

δ(q0,a) = {q0, q1}

δ(q0,c) = {}

δ(q1,c) = {q1}

δ(q1,b) = {q2}

δ(q2,b) = {q3}

δ(q3,a) = {q3}

δ(q3,c) = {q4}

^δ(q0, acbbac) = {q4} Ո {q4} = {q4}

Punto 3:

AFN

0 1

p {p,q} {p}

q {r} {r}

r {s}

s {s} {s}

AFD

0 1

{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} {p,q} {p}

{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}

Punto 4:

Clausura(p) = {p, q,r}

Clausura(q) = {}

Clausura(r) = {}

Cadenas de longitud 3:
ccb

bcb

cab

aaa

ccc

aab

aac

cca

ccb

cba
acb

cab

bac

bab

cac

caa

cbb

abb

baa