I.T. de Cd. Valles - DEPTO.

DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Unidad 4. Autmata Finito No Determinstico Ejercicios de la Unidad 4

Nombre del Alumno(a): xxxxxxxxxx xxxxxxxxxxx xxxxxxxxxxx

Ejercicios de AFN
Ejercicio 1. Dado el AFN Q= {q0, q1, q2, q3} = {0,1,2} q0= q0 F= {q1, q3}

y la funcin de transicin de estados:

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

a) Calcular las siguientes transiciones:

(q0, 2)= q0

(q1, 1)= {q2, q3}

(q3, 0)= q0

(q2, 2)= q1
b) Represente grficamente el grafo:

MTI. ROSA IMELDA GARCIA CHI Pgina 1

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Ejercicio 2. Dado el AFN Q= {q0, q1, q2, q3} ={0,1,2} q0= q0 F={ q1, q3}

y la funcin de transicin de estados:

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

a) Calcular las siguientes transiciones:

(q0, 2)=

(q1, 1)=

(q3, 0)=

(q2, 2)= {q1}

(q1, 0)= {q2}

b) Represente grficamente el grafo

MTI. ROSA IMELDA GARCIA CHI Pgina 2

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Ejercicio 3. Dado el AFN Q= {q0, q1, q2} ={a,b} q0= q0 F={ q1, q2}

y la funcin de transicin de estados:

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

a) Calcular las siguientes transiciones:

(q0, a)= {q1, q2}

(q1, a)= {q0}

(q2, b)= {q0, q1}

(q2, a)=

(q1, b)=

b) Represente grficamente el grafo

MTI. ROSA IMELDA GARCIA CHI Pgina 3

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Ejercicio 4. Dado el AFN Q= {q0, q1, q2} ={a,b,c} q0= q0 F={ q1, q2}

y la funcin de transicin de estados:

a B c
q0 {q1, q2} {} {q2}
q1 {} {q0, q1,q2} { q0, q1}
q2 {q0} {q1} {}

a) Calcular las siguientes transiciones:

(q0, a)= {q1, q2}

(q1, c)= {q0, q1}

(q2, b)= {q1}

(q2, a)= {q0}

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

(q0, c)= {q2}

b) Represente grficamente el grafo

MTI. ROSA IMELDA GARCIA CHI Pgina 4

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Ejercicio 5. Dado el AFN siguiente, determine todos los elementos: Q, , q0, F y

(la funcin de transicin de estados, la tabla)
0/1

0
q0 q1
0/1
0/1 0
1 0/1

q2 q3

Q= {q0, q1, q2, q3}

= {0,1}

q0= q0

F= {q0, q2}

: (Construye la tabla)

0 1

q0 {q1} { q1,q2}

q1 { q1,q2} {q2}

q2 {q0} {q0,q3}

q3 { q1,q2} {q1}

MTI. ROSA IMELDA GARCIA CHI Pgina 5

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Ejercicio 6. Dado el AFN siguiente, determine todos los elementos: Q, , q0, F y

(la funcin de transicin de estados, la tabla)
0/1

q0 q2
0/1

q1

0/1

Q= {q0, q1, q2}

= {0,1}

q0=q0

F= {q1, q2}

: (Construye la tabla)

0 1

q0 {q1, q2} {q2}

q1 {q2} {q2}

q2 {q1} {q1}

MTI. ROSA IMELDA GARCIA CHI Pgina 6

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Ejercicio 7. Dado el AFN siguiente, determine todos los elementos: Q, , q0, F y

(la funcin de transicin de estados, la tabla)
a

a
q0 q1
a/b

a/b a/b

q2 q3

Q= {q0, q1, q2, q3}

= {a, b}

q0=q0

F= {q0, q1, q3}

: (Construye la tabla)

a B

q0 {q1}

q1 {q1,q2} {q2}

q2 {q0} {q0,q3}

q3 {q1} {q1}

MTI. ROSA IMELDA GARCIA CHI Pgina 7

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Ejercicio 8. Lenguaje aceptado por un Autmata Finito No Determinstico AFN

Dado el AFN M= (Q, , q0, F) donde

Q= {q0, q1, q2, q3, q4} = {0,1} q0= q0 F= { q2, q4}

y la funcin de transicin de estados:

0 1
q0 {q1, q3} { q0, q1}
q1 {} {q2}
q2 {q2} {q2}
q3 {q4} { }
q4 {q4} {q4}

Validar las cadenas siguientes utilizando el mtodo de (incluye operaciones) y

menciona si son aceptadas o no aceptadas las cadenas por este AFN

w1=1001
(q0,1001) = ((q0,100),1)= ({ q4},1)= {q4} ACEPTADA
(q0,1001) = ((q0,10),0)= ({ q1, q3},0)= {q4}

(q0,1001) = ((q0,1),0)= ({ q0, q1},0)= {q1, q3}

(q0,1001) = (q0,1)= { q0, q1}

w2=11101
(q0,11101) = ((q0,1110),1)= ({ q1, q2, q3},1)= {q2}ACEPTADA

(q0,11101) = ((q0,111),0)= ({ q0, q1, q2},0)= {q1, q2, q3}

(q0,11101) = ((q0,11),1)= ({ q0, q1, q2},1)= { q0, q1,q2}

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

(q0,11101) = (q0,1)= { q0, q1}

MTI. ROSA IMELDA GARCIA CHI Pgina 8

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

w3=0001
(q0,0001) = ((q0,000),1)= ({q4},1)= {q4} ACEPTADA
(q0,0001) = ((q0,00),0)= ({q4},0)= {q4}

(q0,0001) = ((q0,0),0)= ({q1, q3},0)= {q4}

(q0,0001) = (q0,0)= {q1, q3}

w4=1001001
(q0,1001001) = ((q0,100100),1)= ({q4},1)= {q4}ACEPTADA

(q0,1001001) = ((q0,10010),0)= ({q4},0)= {q4}

(q0,1001001) = ((q0,1001),0)= ({q4},0)= {q4}

(q0,1001001) = ((q0,100),1)= ({q4},1)= {q4}

(q0,1001001) = ((q0,10),0)= ({ q1, q3},0)= {q4}

(q0,1001001) = ((q0,1),0)= ({ q0, q1},0)= {q1, q3}

(q0,1001001) = (q0,1)= { q0, q1}

w5=101010
(q0,101010) = ((q0,10101),0)= ({q2},0)= {q2} ACEPTADA
(q0,101010) = ((q0,1010),1)= ({q2},1)= {q2}

(q0,101010) = ((q0,101),0)= ({q2},0)= {q2}

(q0,101010) = ((q0,10),1)= ({ q1, q3},1)= {q2}

(q0,101010) = ((q0,1),0)= ({ q0, q1},0)= {q1, q3}

(q0,101010) = (q0,1)= { q0, q1}

MTI. ROSA IMELDA GARCIA CHI Pgina 9

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

w6=111
(q0,111) = ((q0,11),1)= ({ q0, q1, q2},1)= { q0, q1, q2} ACEPTADA

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

(q0,111) = (q0,1)= { q0, q1}

Ejercicio 9. Conversin de un AFN en un AFD (Conversin de un Autmata Finito

No Determinista en un Autmata Finito Determinista)

Utilizando el Mtodo para construir M convierta en Autmatas Finitos

Deterministas los siguientes Autmatas Finitos No Deterministas

a) Q= {q0, q1, q2, q3} = {0,1,2} q0= q0 F= { q1, q3}

y la funcin de transicin de estados:

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

0 1 2
[q0] [q0,q2] [q1,q2]
[q0,q2] [q0,q1, q2, q3] [q1,q2, q3] [q1]
[q1,q2] [q1,q2,q3] [q3] [q1,q2, q3]

[q0,q1, q2, q3] [q0,q1,q2,q3] [q1,q2,q3] [q1,q2,q3]
[q1,q2, q3] [q1,q2,q3] [q1,q3] [q1,q2,q3]
[q1] [q2] [q1,q2,q3]
[q3] [q1,q3] [q1,q2,q3]
[q1,q3] [q2] [q1,q3] [q1,q2,q3]
[q2] [q1,q2,q3] [q3] [q1]

0 1 2
r0 r1 r2 r3
r1 r4 r5 r6

MTI. ROSA IMELDA GARCIA CHI Pgina 10

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

r2 r5 r7 r5
r3 r3 r3 r3
r4 r4 r5 r5
r5 r5 r8 r5
r6 r9 r3 r5
r7 r3 r8 r5
r8 r9 r8 r5
r9 r5 r7 r6

b) Q= {q0, q1, q2, q3} = {0,1 } q0= q0 F= { q0, q3}

y la funcin de transicin de estados:

0 1
q0 { q0} {q3}
q1 { q0,q1, q2} {q1}
q2 { q0,q1, q2} {q0}
q3 { q0} {q3}

0 1
[q0] [q0] [q3]
[q3] [q0] [q3]

0 1
r0 r0 r1
r1 r0 r1

c) Q= {q0, q1, q2} = {a, b} q0= q0 F= { q1, q2}

y la funcin de transicin de estados:

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

a B
[q0] [q2] [q2]
[q2] [q0, q2]

MTI. ROSA IMELDA GARCIA CHI Pgina 11

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

[q0, q2] [q2] [q0, q2]

a B
r0 r1 r1
r1 r2 r3
r2 r2 r2
r3 r1 r3

d) Q= {q0, q1, q2, q3} = {0,1} q0= q0 F= { q3}

y la funcin de transicin de estados:

0 1
q0 { q0,q2} { q0,q3}
q1 { q1,q2} { q0,q1, q2}
q2 { q1,q2} { q0,q1, q3}
q3 { q0,q2} {q3}

0 1
[q0] [q0,q2] [q0,q3]
[q0,q2] [q0,q1,q2] [q0,q1,q3]
[q0,q3] [q0,q2] [q0,q3]
[q0,q1,q2] [q0,q1,q2] [q0,q1,q2,q3]
[q0,q1,q3] [q0,q1,q2] [q0,q1,q2,q3]
[q0,q1,q2,q3] [q0,q1,q2] [q0,q1,q2,q3]
0 1
r0 r1 r2
r1 r3 r4
r2 r1 r2
r3 r3 r5
r4 r3 r5
r5 r3 r5

MTI. ROSA IMELDA GARCIA CHI Pgina 12

I.T. de Cd. Valles - DEPTO. DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Q= {q0, q1, q2} = {0,1} q0= q0 F= {q1, q2}

y la funcin de transicin de estados:

0 1
q0 { q1} {q0}
q1 {q2}
q2 {q2} {q0, q1 ,q2}

0 1
[q0] [q1] [q0]
[q1] [q2]

[q2] [q2] [q0, q1 ,q2]
[q0, q1 ,q2] [q1 ,q2] [q0, q1 ,q2]
[q1 ,q2] [q2] [q0, q1 ,q2]

0 1
r0 r1 r0
r1 r2 r3
r2 r2 r2
r3 r3 r4
r4 r5 r4
r5 r3 r4

MTI. ROSA IMELDA GARCIA CHI Pgina 13