I.T. de Cd. Valles - DEPTO.

DE SISTEMAS Y COMPUTACION LENGUAJES Y AUTOMATAS 1

Nombre del Alumno(a): Jonathan Hernández Antonio

Lenguajes Aceptados por una Cadena

Ejercicios de Reconocer Cadenas a través de un AFD

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

y la función de transición de estados:

 0 1
q0 q2 q1
q1 q3 q0
q2 q0 q3
q3 q1 q2

Utilizando el método ’(q,wa)= (’(q,w),a) para a ∑ en y w en ∑*

Determinar si las siguientes cadenas son ACEPTADAS o NO ACEPTADAS por el

Autómata

w1=11010=
S=(q0,11010)=S(S`(q0,1101)0)=q1 NO ACEPTADO
S=(q0,1101)=S(S`(q0,110)1)=q3
S=(q0,110)=S(S`(q0,11)0)=q2
S=(q0,11)=S(S`(q0,1)1)=q0
S=(q0,1)=S(S`(q0,1)=q1

w2=1111=
S=(q0,1111)=S(S`(q0,111)1)=q0 ACEPTADO
S=(q0,111)=S(S`(q0,11)1)=q1
S=(q0,11)=S(S`(q0,1)1)=q0
S=(q0,1)=S(S`(q0,1)=q1

w3=0001=
S=(q0,0001)=S(S`(q0,000)1)=q3 NO ACEPTADO
S=(q0,000)=S(S`(q0,00)0))=q2
S=(q0,00)=S(S`(q0,0)0)=q0
S=(q0,0)=S(S`(q0,0)=q2

MTI. ROSA IMELDA GARCIA CHI Página 1

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

w4=101010=
S=(q0,101010)=S(S`(q0,10101)0)=q3 NO ACEPTADO
S=(q0,10101)=S(S`(q0,1010)1)=q1
S=(q0,1010)=S(S`(q0,101)0)=q0
S=(q0,101)=S(S`(q0,10)1)=q2
S=(q0,10)=S(S`(q0,1)0)=q3
S=(q0,1)=S(S`(q0,1)=q1

w5=001100=
S=(q0,001100)=S(S`(q0,00110)0)=q0ACEPTADO
S=(q0,00110)=S(S`(q0,0011)0)=q2
S=(q0,0011)=S(S`(q0,001)1)=q0
S=(q0,001)=S(S`(q0,00)1)=q1
S=(q0,00)=S(S`(q0,0)0)=q0
S=(q0,0)=S(S`(q0,0)=q2

w6=101=
S=(q0,101)=S(S`(q0,10)1)=q2 NO ACEPTADO
S=(q0,10)=S(S`(q0,1)0)=q3
S=(q0,1)=S(S`(q0,1)=q1

MTI. ROSA IMELDA GARCIA CHI Página 2

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

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

y la función de transición de estados:

 0 1
q0 q2 q1
q1 q3 q0
q2 q0 q3
q3 q1 q2

Utilizando el método descripción instantánea (DI)

Determinar si las siguientes cadenas son ACEPTADAS o NO ACEPTADAS por el

Autómata

w1=11010
q0 11010
1 q1 1010
11 q0 010
110 q2 10
1101 q3 0
11010 q1 NO ACEPTADO

w2=1111
q0 1111
1 q1 111
11 q0 11
111 q1 1
1111 q0ACEPTADO

w3=0001
q0 0001
0 q2 001
00 q0 01
000 q2 1
0001 q3 NO ACEPTADO

w4=101010
q0 101010
1 q1 01010
10 q3 1010
101 q2 010
1010 q0 10
10101 q1 0
101010 q3 NO ACEPTADO

MTI. ROSA IMELDA GARCIA CHI Página 3

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

w5=001100
q0 001100
0 q2 01100
00 q0 1100
001 q1 100
0011 q0 00
00110 q2 0
001100 q0ACEPTADO

w6=101
q0 101
1 q1 01
10 q3 1
101 q2 NO ACEPTADO

MTI. ROSA IMELDA GARCIA CHI Página 4