Escuela Politécnica Nacional

Facultad de Ingeniería en Sistemas

Taller 1.- Definición de Autómatas y Autómatas Finitos.

Objetivo:
 Aplicar conceptos sobre la definición de autómatas finitos.
 Crear autómatas finitos determinísticos.

Parte 1.-
Definir los siguientes autómatas.

Elemento Resultado
Σ {a, b ,c}
Q {q0, q1, q2, q3, q4, q5}
q0 q0
F {q0, q3, q4}
f

Entrada Resultado
accababab Rechazada
bababaa Rechazada.
ababaacc Rechazada
abacaca Rechazada
aababacaba Rechazada

Fundamentos de ciencias de la Computación Ing. Pablo Del Hierro

 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Elemento Resultado
Σ {a,b,c,s,v}
Q {q0, q1, q2, q3, q4, q5,Q6}
q0 q0
F {q0, q3, q4}
f

Entrada Resultado
accababab Rechazada
bababaa Rechazada
ababaacc Rechazada
abacaca Rechazada
aababacaba Rechazada

Fundamentos de ciencias de la Computación Ing. Pablo Del Hierro

 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Elemento Resultado
Σ {a,b,c,s}
Q {q0,q1,q2,q3,q4,q5,q6}
q0 q0
F {q0,q3,q4}
f

Entrada Resultado
accababab Rechazada
bababaa Rechazada
ababaacc Rechazada
abacaca Rechazada
aababacaba Rechazada

Fundamentos de ciencias de la Computación Ing. Pablo Del Hierro

 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Elemento Resultado
Σ {a,b,c}
Q {q0,q1,q2,q3,q4,q5,q6,q7,q8}
q0 q8
F {q1, q4, q7}
f

Entrada Resultado
accababab Rechazada
bababaa Rechazada
ababaacc Rechazada
abacaca
aababacaba Rechazada

Fundamentos de ciencias de la Computación Ing. Pablo Del Hierro

 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Elemento Resultado
Σ {a,b,c,v}
Q {q0, q1, q2, q3, q4, q5, q6}
q0 q0
F {q3, q4, q5}
f

Entrada Resultado
accababab Rechazada
bababaa Rechazada
ababaaccc Rechazada
abacvvaca Rechazada
aababacabav Rechazada

Fundamentos de ciencias de la Computación Ing. Pablo Del Hierro

 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Elemento Resultado
Σ {a,b,c}
Q {q0, q1, q2, q3}
q0 q0
F {q0}
f

Entrada Resultado
accababab Rechazada
bababaa Rechazada
ababaacc
abacaca Rechazada
aababacaba Aceptada

Fundamentos de ciencias de la Computación Ing. Pablo Del Hierro

 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

Parte 2.- Creación de Autómatas Finitos Determinísticos.

 Crear un AFD, cuyo conjunto de símbolo es el {0,1}, su estado inicial es q0 y que acepte las
cadenas que inicien “101”

 Crear un AFD, cuyo conjunto de símbolo es el {0,1}, su estado inicial es q0 y que acepte las
cadenas que terminen en “110”

Fundamentos de ciencias de la Computación Ing. Pablo Del Hierro

 Escuela Politécnica Nacional
Facultad de Ingeniería en Sistemas

 Crear un AFD, cuyo conjunto de símbolo es el {0,1}, su estado inicial es q0 y que acepte las
cadenas que inicien en “10” y terminen en “11”

 Crear un AFD, cuyo conjunto de símbolo es el {0,1}, su estado inicial es q0 y que acepte las
cadenas que contienen la subcadena “101” y terminen en “0”

Fundamentos de ciencias de la Computación Ing. Pablo Del Hierro