AFN Ejercicios

1
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): EUSEBIO

GUZMN ANDRS
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:
q0
q1
q2
q3
0
{q1, q2, q3}
{q0}
{q2}
{q0}
1
{q2}
{q2, q3}
{}
{ q0, q1,q2}
2
{q0}
{q3}
{q1}
{}
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
1
Ejercicio 2. Dado el AFN Q= {q0, q1, q2, q3} = {0,1,2} q0= q0 F={ q1, q3}
q0
q1
q2
q3
0
{ q0,q2}
{q2}
{ q1,q2, q3}
1
{ q1,q2}
{q3}
{ q1,q3}
{ q1,q2, q3}
{q1}
{ q1,q2, q3}
(q0, 2)=
(q1, 1)=
(q3, 0)=
(q2, 2)= {q1}
(q1, 0)= {q2}
b) Represente grficamente el grafo
Pgina 2
1
Ejercicio 3. Dado el AFN Q= {q0, q1, q2} = {a, b} q0= q0 F={ q1, q2}
q0
q1
q2
a
{q1, q2}
{q0}
b
{q2}
{q0,q1}

(q0, a)= {q1, q2}
(q1, a)= {q0}
(q2, b)= {q0, q1}
(q2, a)=
(q1, b)=
Pgina 3
1
Ejercicio 4. Dado el AFN Q= {q0, q1, q2} = {a, b, c} q0= q0 F= {q1, q2}
q0
q1
q2
a
{q1, q2}
{}
{q0}
b
{}
{q0, q1,q2}
{q1}
c
{q2}
{q0, q1}
{}

(q0, a)= {q1, q2}
(q1, c)= {q0, q1}
(q2, b)= {q1}
(q2, a)= {q0}
(q1, b)= {q0, q1, q2}
(q0, c)= {q2}
Pgina 4
1
Ejercicio 5. Dado el AFN siguiente, determine todos los elementos: Q, , q0, F y

(la funcin de transicin de estados, la tabla)
Q= {q0, q1, q2, q3}

= {0, 1}
Pgina 5
1
q0= q0
F= {q0, q2}
: (Construye la tabla)
q0
q1
q2
q3
0
{q1}
{q1, q2}
{q0}
{q1, q2}
1
{q1, q2}
{q2}
{q0, q3}
{q1}
Ejercicio 6. Dado el AFN siguiente, determine todos los elementos: Q, , q0, F y (la
funcin de transicin de estados, la tabla)
Q= {q0, q1, q2}

= {0, 1}
q0= q0
Pgina 6
1
F= {q1, q2}
q0
q1
q2
0
{q1, q2}
{q2}
{q1}
1
{q2}
{q2}
{q1}
Ejercicio 7. Dado el AFN siguiente, determine todos los elementos: Q, , q0, F y

(la funcin de transicin de estados, la tabla)
Q= {q0, q1, q2, q3}

= {a, b}
Pgina 7
1
q0= q0
F= {q0, q1, q3}
q0
q1
q2
q3
a
{q1}
{q1, q2}
{q0}
{q1}
b
{}
{q2}
{q0, q3}
{q1}
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}
q0
q1
q2
q3
q4
0
{q1, q3}
{}
{q2}
{q4}
{q4}
1
{ q0, q1}
{q2}
{q2}
{ }
{q4}
Validar las cadenas siguientes utilizando el mtodo de (incluye operaciones) y

menciona si son aceptadas o no aceptadas las cadenas por este AFN
W=1001
' =
' =
( q 0, ,1001 ) = ( q 0, ,100 ), 1)
q 0, ,100
) = ( q 0, ,10 ), 0)
Pgina 8
1
' =
( q 0, ,10 ) = ( q 0, ,1 ), 0)
=( q 0, ,1 )=
' =
{ q0, q1}
( q 0, ,10 )= { q 0 , q 1 },0 ={q 1 ,q 3 }

q 0, ,100
)= { q1 , q3 },0 =
' =
' =
( q 0, ,100 )= { q 4 }, 0 = {q 4 }
' =
( q 0, ,1001 )= { q 4 }, 1={q4 }
'
Como = ( q 0, ,1001 ) = {q 4 }
CADENA ACEPTADA
W=11101
q 0, ,11101
{q 4 }
contiene
) = ( q 0, ,1110 ), 1)
' =
' =
( q 0, ,1110 ) = ( q 0, ,111 ), 0)
' =
( q 0, ,111 ) = ( q 0, ,11 ), 1)
estado final,
= ( q 0, ,1 1 ) = ( q 0, ,1 ), 1)
( q 0, ,1 ) = { q 0 , q 1 }
q 0, ,11
)= { q 0 , q 1 },1 ={q 0 , q 1 , q 2 }
' =
' =
( q 0, ,111 )= { q 0 , q 1 , q 2 },1 = { {q 0 , q1 ,q 2 } }
' =
( q 0, ,1110 )= { q 0 , q 1 , q 2 },0 = {q 1 , q 2 , q 3 }
' =
q 0, ,11101
)= { q1 , q2 , q3 },1 ={q2 }
Pgina 9
1
'
Como = ( q 0, ,11101 ) = {q 2 }
CADENA ACEPTADA
W=0001
' =
q 0, ,0001
contiene
estado final,
) = ( q 0, ,000 ), 1)
q ,00
= ( q 0, ,000 ) =
), 0)
( 0,
q ,0
( q 0, ,00 ) =
), 0)
( 0,
( q 0, ,0 ) = { q1 , q3 }
' =
( q 0, ,00 )= { q1 , q3 },0 ={q 4 }
' =
( q 0, ,000 )= { q 4 }, 0 = { q 4 }
' =
( q 0, ,0001 )= { q 4 }, 1 = {q 4 }
'
Como = ( q 0, ,0001 ) = {q 4 }
CADENA ACEPTADA
contiene
estado final,
W=1001001
' =
( q 0, ,1001001 ) = ( q 0, ,100100 ), 1)
q 0, ,100100
) = ( q 0, ,10010 ), 0)
' =
' =
( q 0, ,10010 ) = ( q 0, ,1001 ), 0)
q ,100
= ( q 0, ,1 001 ) =
), 1)
( 0,
q ,10
= ( q 0, ,1 00 ) =
), 0)
( 0,
q ,1
= ( q 0, ,1 0 ) =
), 0)
( 0,
( q 0, ,1 ) = { q 0 , q 1 }
Pgina 10
1
' =
( q 0, ,10 )= { q 0 , q 1 },0 ={q 0 , q3 }
( q 0, ,100 )= { q 0 , q 3 },0 =
' =
( q 0, ,100 1 )= { q1 , q3 , q 4 }, 1 = {q 2 ,q 4 }
'
{q 1 , q 3 ,q 4 }
( q 0, ,100010 )= { q 4 , q2 }, 0 ={q2 , q4 }
' =
( q 0, ,1000100 )= { q 2 , q 4 }, 0 ={q2 , q 4 }
'
'
( q 0, ,10001001 )= { q 2 , q 4 }, 1={q2 , q4 }
'
Como = ( q 0, ,1 00 10 01 ) = {q 2 ,q 4 } contiene estado final,
CADENA ACEPTADA
W=101010
q 0, ,101010
) = ( q 0, ,10101 ), 0)
' =
' =
( q 0, ,10101 ) = ( q 0, ,1010 ), 1)
' =
( q 0, ,1010 ) = ( q 0, ,101 ), 0)
q ,10
= ( q 0, ,1 01 ) =
), 1)
( 0,
q ,1
= ( q 0, ,1 0 ) =
), 0)
( 0,
( q 0, ,1 ) = { q 0 , q 1 }
( q 0, ,10 )= { q 0 , q 1 },1 ={q 1 , q3 }
' =
( q 0, ,101 )= { q1 , q3 },1 = { {q 2 } }
'
'
( q 0, ,1010 )= { q 2 },0 = {q 2 }
Pgina 11
1
' =
'
q 0, ,10101
)= { q 2 },1 ={q2 }
( q 0, ,101010 )= { q 2 },1 ={q2 }
'
Como = ( q 0, ,101010 ) = {q 2 }
CADENA ACEPTADA
contiene
estado final,
W=111
' =
' =
( q 0, ,111 ) = ( q 0, ,11 ), 1)
q 0, ,11
) = ( q 0, ,1 ), 1)
=( q 0, ,1 )=
{ q0, q1}
' =
( q 0, ,11 )= { q 0 , q 1 },1 ={q 0 , q 1 , q 2 }
' =
( q 0, ,111 )= { q 0 , q 1 , q 2 },1 =
'
Como = ( q 0, ,1 11 ) = {q 0, q1 , q 2 , }
CADENA ACEPTADA
{q 0 , q1 ,q 2 }
contiene estado final,
Pgina 12
1
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}
q0
q1
q2
q3
0
{ q0,q2}
{q2}
{ q1,q2, q3}
1
{ q1,q2}
{q3}
{ q1,q3}
{ q1,q2, q3}
{q1}
{ q1,q2, q3}
[q0]
[q0, q2]
[q1, q2]
[q0, q1, q2, q3]
[q1, q2, q3]
[q1]
[q3]
[q1, q3]
[q2]
0
[q0, q2]
[q0, q1, q2, q3]
[q1, q2, q3]
[q0, q1, q2, q3]
[q1, q2, q3]
[q2]
[]
[q2]
[q1, q2, q3]
1
[q1, q2]
[q1, q2, q3]
[q3]
[q1, q2, q3]
[q1, q3]
[]
[q1, q3]
[q1, q3]
[q3]
2
[]
[q1]
[q1, q2, q3]
[q1, q2, q3]
[q1, q2, q3]
[q1, q2, q3]
[q1, q2, q3]
[q1, q2, q3]
[q1]
Q= {r0, r1, r2, r3, r4, r5,r6, r7, r8}

= {0,1,2}
q0= q0
F= { r2, r3, r4, r5,r6, r7}
r0
r1
r2
r3
r4
r5
r6
r7
r8
0
r1
r3
r4
r3
r4
r8
[]
r8
r4
1
r2
r4
r6
r4
r7
[]
r7
r7
r6
2
[]
r5
r4
r4
r4
r4
r4
r4
r5
Pgina 13
1
b) Q= {q0, q1, q2, q3} = {0,1 } q0= q0 F= { q0, q3}

Y la funcin de transicin de estados:
q0
q1
q2
q3
0
{ q0}
{ q0,q1, q2}
{ q0,q1, q2}
{ q0}
1
{q3}
{q1}
{q0}
{q3}
[q0]
[q3]
0
[q0]
[q0]
1
[q3]
[q3]
0
r0
r0
1
r1
r1
Q= {r0, r1}
= {0,1}
q0= q0
F= {r0,r2}
r0
r1
c) Q= {q0, q1, q2} = {a, b} q0= q0 F= { q1, q2}

q0
q1
q2
a
{ q2}
{ q0}
b
{q2}
{q2}
{q0, q2}
[q0]
[q2]
[q0, q2]
a
[q2]
[]
[q2]
b
[q2]
[q0, q2]
[q0, q2]
Q= {r0, r1, r2}
Pgina 14
1
= {0,1}
q0= q0
F= { r1, r2}
r0
r1
r2
a
r1
[]
r1
b
r1
r2
r2
d) Q= {q0, q1, q2, q3} = {0,1} q0= q0 F= { q3}

q0
q1
q2
q3
[q0]
[q0, q2]
[q0, q3]
[q0, q1, q2]
[q0, q1, q3]
[q0, q1, q2, q3]
Q= {r0, r1, r2, r3, r4, r5}

= {0,1}
q0= q0
F={ r2,r4, r5}
e) Q
q
q
r0
r1
r2
r3
r4
r5
{
{
{
{
0
q0,q2}
q1,q2}
q1,q2}
q0,q2}
1
{ q0,q3}
{ q0,q1, q2}
{ q0,q1, q3}
{q3}
0
[q0, q2]
[q0, q1, q2]
[q0, q2]
[q0, q1, q2]
[q0, q1, q2]
[q0, q1, q2]
1
[q0, q3]
[q0, q1, q3]
[q0, q3]
[q0, q1, q2, q3]
[q0, q1, q2, q3]
[q0, q1, q2, q3]
0
r1
r3
r1
r3
r3
r3
1
r2
r4
r2
r5
r5
r5
= {q0, q1,
2} =
{0,1}
0= q 0
F= { q1,
q2}
Pgina 15
1
q0
q1
q2
0
{ q1}
{q2}
1
{q0}
{q2}
{q0, q1 ,q2}
[q0]
[q1]
[q2]
[q0, q1, q2]
[q1, q2]
0
[q1]
[]
[q2]
[q1, q2]
[q2]
1
[q0]
[q2]
[q0, q1, q2]
[q0, q1, q2]
[q0, q1, q2]
0
r1
[]
r2
r4
r2
1
r0
r2
r3
r3
r3
Q= {r0, r1, r2, r3, r4}

= {0,1}
q0= q0
F= { r1,r2, r3, r4}
r1
r2
r3
r4
r5
Pgina 16

AFN Ejercicios

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

AFN Ejercicios

Uploaded by

Copyright:

Available Formats

1

I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION

Unidad 4. Autmata Finito No Determinstico

NOMBRE DEL ALUMNO(A): EUSEBIO

a) Calcular las siguientes transiciones:

MTI. ROSA IMELDA GARCIA CHI

a) Calcular las siguientes transiciones:

MTI. ROSA IMELDA GARCIA CHI

a) Calcular las siguientes transiciones:

a) Calcular las siguientes transiciones:

b) Represente grficamente el grafo

MTI. ROSA IMELDA GARCIA CHI

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

Q= {q0, q1, q2, q3}

MTI. ROSA IMELDA GARCIA CHI

Q= {q0, q1, q2}

MTI. ROSA IMELDA GARCIA CHI

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

Q= {q0, q1, q2, q3}

MTI. ROSA IMELDA GARCIA CHI

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

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

MTI. ROSA IMELDA GARCIA CHI

( q 0, ,10 )= { q 0 , q 1 },0 ={q 1 ,q 3 }

MTI. ROSA IMELDA GARCIA CHI

( q 0, ,00 )= { q1 , q3 },0 ={q 4 }

MTI. ROSA IMELDA GARCIA CHI

( q 0, ,10 )= { q 0 , q 1 },0 ={q 0 , q3 }

( q 0, ,10 )= { q 0 , q 1 },1 ={q 1 , q3 }

MTI. ROSA IMELDA GARCIA CHI

( q 0, ,101010 )= { q 2 },1 ={q2 }

( q 0, ,11 )= { q 0 , q 1 },1 ={q 0 , q 1 , q 2 }

MTI. ROSA IMELDA GARCIA CHI

contiene estado final,

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

Q= {r0, r1, r2, r3, r4, r5,r6, r7, r8}

MTI. ROSA IMELDA GARCIA CHI

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

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

Q= {r0, r1, r2}

MTI. ROSA IMELDA GARCIA CHI

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

Q= {r0, r1, r2, r3, r4, r5}

MTI. ROSA IMELDA GARCIA CHI

Y la funcin de transicin de estados:

Q= {r0, r1, r2, r3, r4}

MTI. ROSA IMELDA GARCIA CHI

You might also like