Escuela Politécnica Nacional

Facultad de Ingeniería en Sistemas

Prueba 1
Tema: autómatas, autómatas finitos, autómatas finitos determinísticos.

Parte 1

1. Defina lo que es un autómata finito.

Se define (AF) como una máquina independiente el cual tiene como objetivo el cumplimiento de
un conjunto de pasos secuenciales FINITOS, (Número específico finito de pasos).También son
conocidos como máquinas de estado.

2. Defina lo que es un autómata finito determinístico

Es una máquina que, con conjunto de símbolos de entrada, siempre va a generar un único
conjunto de datos de salida. Esta salida va a cumplir con el principio de determinismo, es decir
que no es al azar y va a ser única.

3. Cuál es la principal diferencia entre un AF y un AFD

-Los autómatas finitos siempre van a obtener los mismos resultados basados en un mismo
conjunto de datos de entrada.
- El AFD está diseñado para cumplir con una tarea en específico que siempre proporcionara los
mismos resultados.

4. Enumere y defina los elementos principales de un AFD

El AFD tiene 5 elementos principales los cuales se representan de la siguiente manera:

AFD=( Σ ,Q , q 0 , F , f )
-Alfabeto de símbolo de entrada (∑) Son símbolos que se úeden modificar,es el alfabetos de
entrada.
-Conjunto Finito de estados (Q): Son todos aquellos comportamientos (lugares) que pueden ser
alcanzados mediante el alfabeto de entrada.
-Estado Inicial (q0): Es el lugar donde siempre se saldrá para alcanzar a los demás estados.Este
estado es único.
-Conjunto de Estados Finales (F): Son los estados de aceptación es decir son los lugares a donde
quere llegar el autómata. Los cuales indican que este este comportamiento es aceptado, es decir
que se cumplió con la tarea asignada.
-Función de Transición de Estados (f): Es la operación que nos indica como se puede alcanzar un
estado. f :Q ⊗ Σ → Q .

5. Que característica tienen las funciones de transición.

Función de Transición de Estados(f)= Esta tiene como caracteristica de ser una operación que
nos indica como se podría alcanzar el estado también se la conoce como conjunto de tuplas
ordenadas.

Fundamentos de ciencias de la Computación Capitulo II: Autómatas

Ing. Pablo Del Hierro
 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Parte 2

Dada las siguientes definiciones de autómatas construya el diagrama.

Σ TABLA2 Σ TABLA3
TABLA1
{0,1,2,a,b,c,z} {0,1,2,a,b,c,z}
Σ {0,1}
Q {q0,q1,q2 q3,} Q {q0,q1,q2 q3,}
Q {q0,q1}
q0 {q0} q0 {q0}
q0 {q0}
F {q2} F {q2}
F {q1}
f f: Q X Σ -> Q f f: Q X Σ -> Q
f f: Q X Σ -> Q
f: f:
f:
q0 X 1 -> q3, q0 X 1 -> q3,
q0 X 0 -> q1,
q0 X b -> q2, q0 X b -> q2,
q1 X 1 -> q0
q0 X z -> q1, q0 X z -> q1,
q1 X 0 -> q0
q1 X 0 -> q2, q1 X 0 -> q2,
q2 X 2 -> q2, q1 X a -> q3
q2 X c -> q3 q1 X z -> q3
q3 X a -> q1, q2 X z -> q2,
Σ TABLA4 q3 X 1 -> q3 q2 X c -> q3
{a,b} q3 X a -> q0,
Q {q0,q1 q2,} q3 X 1 -> q1
q0 {q0} q3 X z -> q2
F {q1} q3 X b -> q3
f f: Q X Σ -> Q
f:
q0 X a -> q1,
q1 X a -> q0, Σ TABLA5
q0 X b-> q1, {0,1,2}
q1 X b -> q1, Q {q0,q1,q2 q3,}
q0 X a -> q2, q0 {q0}
q1 X b -> q2 F {q2}
f f: Q X Σ -> Q
f:
q0 X 1 -> q3,
q0 X 1 -> q2,
q0 X 2 -> q1,
q1 X 0 -> q2,
q3 X 2 -> q1,
q2 X 0 -> q3

Fundamentos de ciencias de la Computación Capitulo II: Autómatas

Ing. Pablo Del Hierro
 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

TABLA 1

TABLA 2

TABLA 3

TABLA 4

Fundamentos de ciencias de la Computación Capitulo II: Autómatas

Ing. Pablo Del Hierro
 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

TABLA 5

Parte 3

Basado en los diagramas construya las definiciones de los autómatas.

Σ {a,b}
Q {q0,q1,q2}
q0 {q0}
F {q1}
f f: Q X Σ -> Q
f:
q0 X a -> q1,
q0 X b -> q2,
q1 X a -> q1,
q1 X b -> q2,
q2 X b -> q0,
q2 X a -> q1

Σ {a,b}
Q {q0,q1,q2,q3}
q0 {q0}
F {q3}
f f: Q X Σ -> Q
f:
q0 x a -> q1
q0 x b -> q0
q1 x a -> q2
q1 x b -> q0
q2 x a ->q3
q2 x b -> q0
q3 x a -> q3
q3 x b -> q3

Fundamentos de ciencias de la Computación Capitulo II: Autómatas

Ing. Pablo Del Hierro
 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Σ {a,b}
Q {q0,q1,q2,q3}
q0 {q0}
F {q1,q2}
f f: Q X Σ -> Q
f:
q0 x a -> q1
q0 x b -> q3
q1 x a -> q0
q1 x b -> q1
q2 x a ->q1
q2 x b -> q0
q3 x a -> q2
q3 x b -> q3

Σ {a,b}
Q {qA,qB,qC,qD}
q0 {qA}
F {qB,qC}
f f: Q X Σ -> Q
f:
qA x a -> qB
qA x a -> qD
qB x b -> qA
qB x a -> qC
qC x a ->qB
qC x b -> qD
qD x a -> qD
qD x b -> qD

Fundamentos de ciencias de la Computación Capitulo II: Autómatas

Ing. Pablo Del Hierro
 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Parte 4

Desarrollo de autómatas.

Obtenga un AFD dado el siguiente lenguaje definido en el alfabeto Σ= {0,1}. En donde la cadena
comience con dos ceros.

Desarrollo de autómatas.

Crear un AFD, cuyo alfabeto es {a,b,c}, su estado inicial es q0, y acepta todas las cadenas que inician
con la subcadena “aa” y terminan en “cb”

Fundamentos de ciencias de la Computación Capitulo II: Autómatas

Ing. Pablo Del Hierro
 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Desarrollo de autómatas.

Crear un AFD, cuyo alfabeto es {a,b,c}, su estado inicial es q0, y acepta todas las cadenas que
contiene la subcadena “bcb” y terminan en “a”

Fundamentos de ciencias de la Computación Capitulo II: Autómatas

Ing. Pablo Del Hierro
 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Desarrollo de autómatas.

Crear un AFD, cuyo alfabeto es {a,b,c}, su estado inicial es q0, y acepta todas las cadenas que
contiene la subcadena “aab”

Fundamentos de ciencias de la Computación Capitulo II: Autómatas

Ing. Pablo Del Hierro
 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Desarrollo de autómatas.

Crear un AFD, cuyo alfabeto es {a,b,c}, su estado inicial es q0, y acepta todas las cadenas que inicien
con “ab”, contengan la subcadena “bb” y terminen en “cc”

Fundamentos de ciencias de la Computación Capitulo II: Autómatas

Ing. Pablo Del Hierro