Universidad Católica del Norte

Facultad de Ingeniería y Ciencias Geológicas

Departamento de Ingeniería de Sistemas y Computación

TAREA 1
Capitulo AFD
TEORIA DE AUTOMATAS Y LENGUAJES FORMALES (CC-931)
Académico: Jacqueline Manriquez
Ayudante: Evelyn Rojas
I semestre 2015

Ejercicio 1. Describa un AFD que acepte String sobre ∑={0,1} que no contengan ni el 01 ni
10 cualquier posición.
Ejercicio 2. Sea el AFD dado por Q={q0,q1,q2,q3}, F={ q0}, ∑={0,1} y función de transición
indicada por:
δ 0 1
q0 q1 q0
q1 q3 q2
q2 q3 q0
q3 q2 q3

a) Graficar el AFD.
b) Evaluar si son aceptados δ(q0,010) y δ(q0,1101).
Ejercicio 3. Describa un AFD que reconozca String binarios de largo mayor que uno sobre
el alfabeto ∑={0,1} tales que el primer símbolo sea distinto al último. Son String
validos: 01, 10, 011, 110, 0011, 1100,etc.
Ejercicio 4. Describa un AFD sobre ∑={0,1,2} que acepte String de largo mayor que cero,
que empiecen con un dos y tengan un numero par de unos (cualquier posición)
y un cero en la última posición. Ejemplo de String validos: 2110, 21010, 21210,
21100, 201010, 21101100, etc.
Ejercicio 5. Describa un AFD que reconozca String binarios de largo par mayor que dos
sobre ∑={0,1}, tales que los dos primeros símbolos del String sean iguales a los
dos últimos.
Ejercicio 6. Describa un AFD que reconozca String de largo mayor que uno, definidos sobre
el alfabeto ∑={0,1} tales que tenga símbolos alternados en cualquier posición
(ninguno consecutivo). Son validos: 01, 10, 010, 101, 0101, 1010, 01010,
10101, etc.
Ejercicio 7. Describa un AFD sobre ∑={0,1} que acepte String de largo mayor que tres cuyos
dos últimos símbolos sean el inverso de la posición del primero y segundo.
Ejemplo: 0110, 1001, 1111, 0000, etc….