Professional Documents
Culture Documents
Ejercicios de la Unidad 4
q0
q1
q2
q3
0
{q1, q2, q3}
{q0}
{q2}
{q0}
1
{q2}
{q2, q3}
{}
{ q0, q1,q2}
2
{q0}
{q3}
{q1}
{}
Pgina 1
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:
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
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:
q0
q1
q2
a
{q1, q2}
{q0}
b
{q2}
{q0,q1}
Pgina 3
1
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:
q0
q1
q2
a
{q1, q2}
{}
{q0}
b
{}
{q0, q1,q2}
{q1}
c
{q2}
{q0, q1}
{}
Pgina 4
1
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 1
Pgina 5
1
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 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)
Pgina 6
1
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 1
F= {q1, q2}
: (Construye la tabla)
q0
q1
q2
0
{q1, q2}
{q2}
{q1}
1
{q2}
{q2}
{q1}
Pgina 7
1
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 1
q0= q0
F= {q0, q1, q3}
: (Construye la tabla)
q0
q1
q2
q3
a
{q1}
{q1, q2}
{q0}
{q1}
b
{}
{q2}
{q0, q3}
{q1}
q0
q1
q2
q3
q4
0
{q1, q3}
{}
{q2}
{q4}
{q4}
1
{ q0, q1}
{q2}
{q2}
{ }
{q4}
W=1001
' =
' =
( q 0, ,1001 ) = ( q 0, ,100 ), 1)
q 0, ,100
) = ( q 0, ,10 ), 0)
Pgina 8
1
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 1
' =
( q 0, ,10 ) = ( q 0, ,1 ), 0)
=( q 0, ,1 )=
' =
{ q0, q1}
)= { 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
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 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, ,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
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 1
' =
( 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, ,101 )= { q1 , q3 },1 = { {q 2 } }
'
'
( q 0, ,1010 )= { q 2 },0 = {q 2 }
Pgina 11
1
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 1
' =
'
q 0, ,10101
)= { 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, ,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 }
Pgina 12
1
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 1
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]
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
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 1
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
q0
q1
q2
a
{ q2}
{ q0}
b
{q2}
{q2}
{q0, q2}
[q0]
[q2]
[q0, q2]
a
[q2]
[]
[q2]
b
[q2]
[q0, q2]
[q0, q2]
Pgina 14
1
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 1
= {0,1}
q0= q0
F= { r1, r2}
r0
r1
r2
a
r1
[]
r1
b
r1
r2
r2
q0
q1
q2
q3
[q0]
[q0, q2]
[q0, q3]
[q0, q1, q2]
[q0, q1, q3]
[q0, q1, q2, q3]
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
I.T. DE CD. VALLES - DEPTO. DE SISTEMAS Y COMPUTACION
LENGUAJES Y AUTOMATAS 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
q0= q0
F= { r1,r2, r3, r4}
r1
r2
r3
r4
r5
Pgina 16