EJERCICIOS RESUELTOS

PEP N1
Tiempo: 1 hora 50 minutos.
1.

[1,8 ptos.] Obtener el AFD mnimo que corresponda al AFD de la figura, utilizando
ambos mtodos tratados en clases.
a
a

q0
b

q1
b

a
b

q2

q3

q4
a

[1,3 ptos.] Mtodo 1

q1
q2
q3
q4

q0

q1

q2

q3

(q0, q1): ((q0, a), (q1, a))

((q0, b), (q1, b))
(q0, q2): ((q0, a), (q2, a))
((q0, b), (q2, b))
(q0, q3): ((q0, a), (q3, a))
((q0, b), (q3, b))
(q1, q2): ((q1, a), (q2, a))
q2)}
((q1, b), (q2, b))
(q1, q3): ((q1, a), (q3, a))
((q1, b), (q3, b))
q2)
(q2, q3): ((q2, a), (q3, a))
((q2, b), (q3, b))

= (q1, q1)
= (q2, q3)
= (q1, q0)
= (q2, q1)
= (q1, q1)
= (q2, q4)
= (q1, q0)
= (q3, q1)
= (q1, q1)
= (q3, q4)
= (q0, q1)
= (q1, q4)

lista
lista
lista

(q2, q3) = {(q0, q1)}

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

marcar (q0, q3)

lista
(q0, q1) = {(q0, q2), (q1,
lista

(q1, q3) = {(q1, q2)}

marcar (q1, q3), (q1, q2) (q0,

marcar (q2, q3) (q0, q1)

[0,4 ptos.] Mtodo 2

1

P0 = (q0 q1 q2 q3) (q4)

11 11 11 12
1

P1 = (q0 q1 q2) (q3) (q4)

11 12 11
1

P2 = (q0 q2) (q1) (q3) (q4)

21 12

P3 = (q0) (q2) (q1) (q3) (q4)

[0,1 ptos.] Respuesta
El AFD es mnimo.
2.

[0,4 ptos.] Sea A el AFN dado por Q = {q0, q1}, = {a, b}, q0 = q0, F = {q1} y dada
en la tabla. Determinar si a2b est en L(A).

q0
q1
q0

a
{q0, q1}

q0
q1

q1 F a2b L(A)

b
{q1}
{q0, q1}
q0
q1

q1
q0

3.

[1,0 ptos.] Convertir el siguiente AFN a AFD.

0

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

*t

1
{p}
{t}
{t}

0
{p, q}

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

1
{p}
{p, t}
{p, t}
{p}

[1,1 ptos.] Para el AFN-, obtener el AFN que se obtiene al eliminar las transiciones
.
a
q0

q1

q2

(q0, a) = C-((C-(q0), a))

q1, q2}
(q0, b) = C-((C-(q0), b))
q2}
(q0, c) = C-((C-(q0), c))
(q1, a) = C-((C-(q1), a))
(q1, b) = C-((C-(q1), b))
(q1, c) = C-((C-(q1), c))
(q2, a) = C-((C-(q2), a))
(q2, b) = C-((C-(q2), b))
(q2, c) = C-((C-(q2), c))

= C-(({q0, q1, q2}, a)) = C-({q0}) = {q0,

= C-(({q0, q1, q2}, b)) = C-({q1}) = {q1,
= C-(({q0, q1, q2}, c)) = C-({q2}) = {q2}
= C-(({q1, q2}, a)) = C-({}) = {}
= C-(({q1, q2}, b)) = C-({q1}) = {q1, q2}
= C-(({q1, q2}, c)) = C-({q2}) = {q2}
= C-(({q2}, a)) = C-({}) = {}
= C-(({q2}, b)) = C-({}) = {}
= C-(({q2}, c)) = C-({q2}) = {q2}

A = ({q0, q1, q2}, {a, b, c}, , q0, {q0, q1, q2})

q0
q1
q2

a
{q0, q1, q2}
{}
{}

b
{q1, q2}
{q1, q2}
{}

c
{q2}
{q2}
{q2}

5.

[1,0 ptos.] Sea el siguiente AFN-

q0
a

q2

b
q3

q1

q4

Convertir el autmata en un AFD.

C-(q0) = {q0, q1, q2} = A
C-((A, a)) = C-({q3}) = {q3} = B
C-((A, b)) = C-({}) = {} = C
C-((B, a)) = C-({}) = C
C-((B, b)) = C-({q4}) = {q1, q2, q4} = D
C-((C, a)) = C-({}) = C
C-((C, b)) = C-({}) = C
C-((D, a)) = C-({}) = C
C-((D, b)) = C-({q0}) = A
A = ({A, B, C, D}, {a, b}, , A, {A, D})

A
B
C
D

a
B
C
C
C

b
C
D
C
A

6.

[1,1 ptos.] Sea A1 dado por la Figura 1 y A2 dado en la Figura 2. Obtener un AFN-
que acepte L(A2)L(A1).
a
q1

q2
b

b
a
q3

q4
b

Figura 1
a

p1

p2

p3

Figura 2
p1

p2

p3

q1

q2
b

b
a

q3

q4
b

7.

[1,6 ptos.] Convertir la siguiente expresin regular a AFN-.

00(0 + 1)*

q0

q1

q2

q3

q4

q6

q7

q5

q8

q10
q9

q11

8.

[1,5 ptos.] Obtenga una expresin regular que corresponda al siguiente autmata
finito, utilizando ambos mtodos tratados en clases. Simplifique las
expresiones regulares resultantes.
a

a
b

q1

q2
b

[1,0 ptos.] Mtodo 1

L(A) = r122
r110
r120
r210
r220
r111

r121

r211

r221

r122

=a+
=b
=b
=a+
= r110 + r110(r110)*r110
= a + + (a + )(a + )*(a + )
= (a + )( + (a + )*(a + ))
= (a + ) (a + )*
= (a + )a*
= a*
= r120 + r110(r110)*r120
= b + (a + )(a + )*b
= ( + (a + )(a + )*)b
= (a + )*b
= a*b
= r210 + r210(r110)*r110
= b + b(a + )*(a + )
= b( + (a + )*(a + ))
= b(a + )*
= ba*
= r220 + r210(r110)*r120
= a + + b(a + )*b
= a + + ba*b
= r121 + r121(r221)*r221
= a*b + a*b(a + + ba*b)*( a + + ba*b)
= a*b( + (a + + ba*b)*( a + + ba*b))
= a*b(a + + ba*b)*
= a*b(a + ba*b)*

[0,5 ptos.] Mtodo 2

L(A) = X1
X1 = aX1 + bX2
X2 = aX2 + bX1 +
X2 = aX2 + bX1 +
= a*(bX1 + )
= a*bX1 + a*
X1 = aX1 + bX2
= aX1 + b(a*bX1 + a*)
= aX1 + ba*bX1 + ba*
= (a + ba*b)X1 + ba*
= (a + ba*b)*ba*
9.

[0,7 ptos.] Construir un AFN para la gramtica regular

G =
P =

({S, B, C}, {a, b, c}, P, S)

{
S aS | bB | b
B cC
C aS

qB2
a

10. [0,8 ptos.] Construir una gramtica regular lineal por la derecha para el lenguaje
regular aceptado por el autmata finito de la figura.
a

a
b

q1

q2
b

G =
P =

({q1, q2}, {a, b}, P, q1)

{
q1 aq1 | bq2
q2 bq1 | aq2 |
}