Escuela Politécnica Nacional

Fundamentos de Ciencias de Computación - 2015A - ICO2014

Autómatas finitos deterministas

Ing. Paz-Arias, Henry M.C.C1

Docente FIS - EPN

henry.paz@epn.edu.ec 1

24 de Junio, 2015

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 1 / 15
 Agenda

1 Definición

2 Terminologı́a

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 2 / 15
 El término Autómata Finito hace referencia a la variedad determinista,
aunque normalmente utilizaremos el término determinista, o la abreviatura
AFD, con el fin de recordar el tipo de autómata del que estamos hablando.
El término determinista hace referencia al hecho de que para cada entrada
sólo existe uno y sólo un estado al que el autómata puede hacer la
transición a partir de su estado actual.

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 3 / 15
 Terminologı́a

1.Un conjunto finito de estados, a menudo designado como Q.

2.Un
P conjunto finito de sı́mbolos de entrada, a menudo designado como
(sigma).
3.Una función de transición que toma como argumentos un estado y un
sı́mbolo de entrada y devuelve un estado. La función de transición se
designa habitualmente como δ(delta).
4.Un estado inicial, uno de los estados de Q.
5.Un conjunto de estados finales o de aceptación F. El conjunto F es un
subconjunto
P de Q.
A= ( Q, , δ, q0, F )

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 4 / 15
 Ejemplo

Figura: AFD

Q = {q0, q1, q2}

q0 = estado inicial
q1
P = estado de aceptación
= {0, 1}”alfabeto”
F = {q2}
δ = funci ónd et ransici ón

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 5 / 15
 Ejemplo ...

Figura: AFD

δ(q0, 1) = q0
δ(q0, 0) = q1
δ(q1, 0) = q1
δ(q1, 1) = q2
δ(q2, 0) = q2
δ(q2, 1) = q2

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 6 / 15
 Tabla de transición, palabras y lenguaje

Figura: AFD

P
A= ( Q, , δ, q0, F )

0 1
q0 q1 q0
q1 q1 q2
q2 q2 q2

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 7 / 15
 Tabla de transición, palabras y lenguaje...

Figura: AFD

Palabra
w = 11010
w = q0,q0,q1,q2,q2

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 8 / 15
 Tabla de transición, palabras y lenguaje...

Figura: AFD

Transición Extendida y Lenguaje

Transición Extendida:
δ(q0, w ) = q2
Lenguaje:
L(A) = { w kTE ∈F }

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 9 / 15
 Tarea: Realizar la tabla de transición e identificar la palabra que
soporta el AFD de los siguientes ejercicios:

Figura: Ejercicio 1

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 10 / 15
 Tarea: Realizar la tabla de transición e identificar la palabra que
soporta el AFD de los siguientes ejercicios:

Figura: Ejercicio 2

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 11 / 15
 Tarea: Realizar la tabla de transición e identificar la palabra que
soporta el AFD de los siguientes ejercicios:

Figura: Ejercicio 3

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 12 / 15
 Tarea: Realizar la tabla de transición e identificar la palabra que
soporta el AFD de los siguientes ejercicios:

Figura: Ejercicio 4

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 13 / 15
 Tarea: Realizar la tabla de transición e identificar la palabra que
soporta el AFD de los siguientes ejercicios:

Figura: Ejercicio 5

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 14 / 15
 GRACIAS POR SU ATENCIÓN.

Ing. Paz-Arias, Henry M.C.C (Escuela Politécnica Nacional

Escuela- Politécnica
Factultad de Nacional
Ingenierı́a de Sistemas) 24 de Junio, 2015 15 / 15