UNIVERSIDAD DE CARTAGENA CENTRO TUTORIAL LORICA.

FACULTAD DE INGENIERÍA

PROGRAMA EDUCATIVO
INGENIERÍA DE SOFTWARE

ACTIVIDAD DE APRENDIZAJE UNIDAD 2

TEORIA DE AUTOMATAS Y LENGUAJES FORMALES

INSTRUCTOR:

EUGENIS YANEZ

ESTUDIANTES:

FIDEL ANTONIO HERNANDEZ ALTAMIRANDA

JEINER LUIS MANGONES ANAYA
GERVIS ANTONIOPAJARO PAJARO

V SEMESTRE

PERIODO 2019-1

LORICA-CÓRDOBA
Construya los AFD que acepten los siguientes lenguajes con el alfabeto {0,1}:

Con:

A={∑ , Q , f , q0 , F }

Q={q 0 , q 1 , q 2 }

q 0=estado inicial .

∑ ¿ { 0,1 }
F={ q 0 }

f =funcion de transacion .
f ( q0 , 1 )=q 0

f ( q0 , 0 ) =q1

f ( q1 , 0 )=q1

f ( q1 ,1 ) =q 2

f ( q2 , 0 )=q2

f ( q2 ,1 ) =q 2

Tabla de transacción

0 1

q0 q1 q0

q1 q1 q2

q2 q2 q2
1. El conjunto de todas las cadenas terminadas en 00.

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

w=00
f ( q0 , 0 ) =q1

f ( q0 , 0 ) =q1

f ( q0 , w ) =q 1

2. El conjunto de todas las cadenas con tres ceros consecutivos (no necesariamente al final).

w=100 01
f ( q0 , 1 )=q 0

f ( q0 , 0 ) =q1

f ( q0 , 0 ) =q1

f ( q0 , 0 ) =q1

f ( q1 ,1 ) =q 2

f ' ( q0 , w ) =q 2

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

3. El conjunto de las cadenas con 011 como subcadena.

w=01 1
f ( q0 , 0 ) =q1

f ( q1 ,1 ) =q 2

f ( q2 ,1 ) =q 2

f ' ( q0 , w ) =q 2

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

4. El conjunto de las cadenas que comienzan con 0 y tienen longitud impar, o comienzan con 1 y
tienen longitud par.
w=01 10
f ( q0 , 0 ) =q1

f ( q1 ,1 ) =q 2

f ( q2 ,1 ) =q 2

f ( q2 , 0 )=q2

f ' ( q0 , w ) =q 2

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

w 1=1 001

f ( q0 , 1 )=q 0

f ( q0 , 0 ) =q1

f ( q1 , 0 )=q1

f ( q1 ,1 ) =q 2

f ' ( q0 , w1 ) =q2

L ( A )={w∨f ' ( q 0 , w1 ) ϵ F }

5. El conjunto de las cadenas en donde cada posición impar de la cadena es un 1.

w=1 0101
f ( q0 , 1 )=q 0

f ( q0 , 0 ) =q1

f ( q1 ,1 ) =q 2

f ( q2 , 0 )=q2

f ( q2 ,1 ) =q 2

f ' ( q0 , w ) =q 2

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

6. El conjunto de las cadenas que no contengan la subcadena 110.

w=1 01011
f ( q0 , 1 )=q 0

f ( q0 , 0 ) =q1

f ( q1 ,1 ) =q 2

f ( q2 , 0 )=q2

f ( q2 ,1 ) =q 2

f ( q2 ,1 ) =q 2

f ' ( q0 , w ) =q 2

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

7. El conjunto de todas las cadenas en las que cada bloque de cinco símbolos consecutivos
contiene al menos dos ceros.

w=00111
f ( q0 , 0 ) =q1

f ( q1 , 0 )=q1

f ( q1 ,1 ) =q 2

f ( q2 ,1 ) =q 2

f ( q2 ,1 ) =q 2

f ' ( q0 , w ) =q 2

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

w 1=10011

f ( q0 , 1 )=q 0

f ( q0 , 0 ) =q1

f ( q1 , 0 )=q1

f ( q1 ,1 ) =q 2

f ( q2 ,1 ) =q 2

f ' ( q0 , w1 ) =q2

L ( A )={w∨f ' ( q 0 , w ) ϵ F }
w 2=11001

f ( q0 , 1 )=q 0

f ( q0 , 1 )=q 0

f ( q1 , 0 )=q1

f ( q1 ,1 ) =q 2

f ( q2 ,1 ) =q 2

f ' ( q0 , w2 ) =q 2

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

w 3=11100

f ( q0 , 1 )=q 0

f ( q0 , 1 )=q 0

f ( q0 , 1 )=q 0

f ( q1 , 0 )=q1

f ( q1 , 0 )=q1

f ' ( q0 , w3 ) =q 1

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

8. El conjunto de las cadenas en las que el número de ceros sea divisible por cinco y el número de
unos sea divisible por tres.

w=0111
f ( q0 , 0 ) =q1

f ( q1 ,1 ) =q 2

f ( q2 ,1 ) =q 2

f ( q2 ,1 ) =q 2

f ' ( q0 , w3 ) =q 1

L ( A )={w∨f ' ( q 0 , w ) ϵ F }

9. Convertir en un AFD cada uno de los AFN de los ejercicios F10, F11 y F12. Diseñar AFN para
reconocer los siguientes conjuntos de cadenas:
10. abc, abd y aacd. Asumir que el alfabeto es {a,b,c,d}

11. 0101, 101 y 011.

12. ab, bc y ca. Asumir que el alfabeto es {a,b,c}

Diseñar AFN-ε para reconocer los siguientes lenguajes. Intente utilizar transiciones ε para
simplificar el diseño.

13. El conjunto de cadenas con cero o más letras a seguidas de cero o más letras b, seguidas de
cero o más letras c.

14.El conjunto de cadenas formadas por 01 repetido una o más veces, o por 010 repetido una o
más veces.

15. (¡Difícil!) El conjunto de cadenas de ceros y unos que contienen un 1 al menos en una de las
diez últimas posiciones.