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
Elemento Resultado
Resultado
Σ {a,b,c,s,v}
Σ {a, b ,c}
Q {q0, q1, q2, q3, q4, q5}
Q {q0, q1, q2, q3, q4, q5}
q q0
q0 0 q0
F {q0, q3, q4}
F {q3, q4}
f
f q 0 × a → q1
q 0 × b → q2
q 0 × b → q5
q 1 × c → q3
q 2 × a →q 0
q2 × c → q4
q 3 × b →q 5
q3 × c → q4
q 4 ×b → q5
q 4 ×c →q 1
q 4 ×c →q 2
q 5 × a →q 3
q 5 × a →q 4
q 5 × b →q 1
q 5 × b →q 2
Entrada Resultado
accababab Rechazada
bababaa Rechazada
ababaacc Rechazada
abacaca Rechazada
aababacaba Rechazada

Entrada Resultado

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

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

accababab
bababaa
ababaacc
abacaca
aababacaba

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

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

Elemento Resultado
Σ
Q
q0
F
f q 0 × a → q1
q 0 × a → q3
q 0 × a → q5
q 0 × a → q6
q 0 × b → q2
q 1 × a →q 5
q 1 × b →q 0
q 1 × b →q 3
q 2 × c → q5
q2 × s → q0
q 3 × a →q 5
q 3 × c → q1
q3× c → q4
q 4 ×a → q3
q 4 ×a → q5
q 4 ×c →q 2
q 5 × a →q 4
q 5 × b →q 2
q5× s → q0
q 6 × b → q0
Entrada Resultado
accababab
bababaa
ababaacc
abacaca
aababacaba

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

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

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

F {q3, q4, q5}

f q 0 × a → q5
q 0 × a → q6
q 0 × v → q2
q 1 × a →q 3
q 1 × a →q 5
q 2 × a →q 0
q 2 × c → q5
q 3 × a →q 5
q3× c → q4
q 4 ×a → q3
q 4 ×a → q5
q 4 ×c →q 2
q 5 × a →q 4
q 5 × b →q 1
q 5 × b →q 2
q 5 × b →q 3
q 5 × v →q 0
q 6 × a → q1
q 6 × b → q0
Entrada Resultado
accababab Rechazada
bababaa Rechazada
ababaaccc Rechazada
abacvvaca Rechazada
aababacabav Rechazada
Elemento Resultado
Σ {a, b, c}
Q {q0,q1,q2,q3,q4,q5,q6,q7,q8}
q0 q8
F {q1, q4, q7}
f q 0 × b → q1
q 0 × b → q4
q0× c → q0
q 1 × a →q 0
q 1 × b →q 5
q 1 × b →q 8
q 1 × c → q6
q 2 × a →q 2
q 2 × b →q 4
q 3 × a →q 0
q 3 × b →q 4
q 3 × c → q5
q 4 ×a → q7
q 4 ×c →q 2

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

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

q 5 × a →q 1
q 5 × a →q 3
q 5 × b →q 2
q 5 × b →q 8
q 6 × a → q6
q 6 × a → q7
q 7 × b → q4
q 7 × b → q6
q 7 × b → q7
q 8 × a → q1
q 8 × a → q5
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}
q0 q0
F q0
f q 0 × a → q2
q 0 × b → q3
q0× c → q1
q 1 × a →q 1
q 1 × c → q1
q 1 × b →q 2
q 2 × a →q 0
q 2 × b →q 1
q 2 × c → q3
q 3 × a →q 1
q 3 × b →q 3
q 3 × c → q3
Entrada Resultado
accababab Rechazada
bababaa Rechazada
ababaacc Rechazada
abacaca Rechazada
aababacaba Aceptada
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”
 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