Está en la página 1de 15

UNIVERSIDAD MARIANO

GALVEZ
Facultad de Ingeniería en Sistemas
Guía Didáctica

DATOS GENERALES
Prerrequisito(s): 80 Créditos
Código del Curso: 028
Nombre del Curso: Autómatas y Lenguajes Formales

Introducción:

Este curso es un contacto importante con las nociones y conceptos del proceso computacional o proceso
algorítmico. Formar las bases para el curso de Compiladores. Incluye el estudio de análisis léxico, análisis sintáctico,
técnicas de reconocimiento de patrones, procesos básicos computacionales, así como una base para el estudio de la
computabilidad.

FUNDAMENTACIÓN O INTENCIÓN EDUCATIVA

El profesional e Ingeniería en Sistemas debe conocer los procesos computacionales que sirven de base para
entender el comportamiento de sistemas y equipos para el reconocimiento de patrones, así como aplicar por medio del
diseño de máquinas conceptuales el refinamiento de sus habilidades para programar y diseñar algoritmos. El desarrollo
de aplicaciones orientadas a la simulación de procesos y comportamientos automáticos es la base para el estudio de
ramas de la ciencia de la computación más profundas como lo son los Compiladores y la Inteligencia Artificial.

OBJETIVO GENERAL – COMPETENCIA MACRO


Qué el estudiante conozca la base científica para resolver problemas importantes dentro de la lógica
algorítmica y los fundamentos para la construcción de máquinas abstractas de análisis que le permitan evaluar el
comportamiento de los programas y procesos automatizados y crear los conocimientos introductorios para la
comprensión del diseño de un compilador.

TEMARIO
MÓDULO 1
Lección 1: Preliminares Matemáticos
Lección 2: Alfabetos y Operaciones con Lenguajes
Lección 3: Autómatas Finitos y Lenguajes Regulares
Lección 4: Expresiones Regulares y Gramáticas Regulares
MÓDULO 2
Lección 5: Conversión AFN a AFD
Lección 6: Lenguajes Independientes del Contexto
Lección 7: Notación Backus-Naur (BNF).
Lección 8: Jerarquía de Chomsky.
MÓDULO 3
Lección 9: Autómatas de Pila
Lección 10: Gramáticas independientes aplicadas a Autómatas de Pila
Lección 11: Máquinas de Turing
Lección 12: Resolubilidad y Computabilidad
Lección 13: Introducción a la Complejidad Computacional

METODOLOGIA
● Exposición y discusión dirigida
● Trabajo colaborativo
● Foros y herramientas virtuales
● Proyectos
● Videos de apoyo de aprendizaje

EVALUACIÓN
Primer examen parcial 10 puntos
Segundo examen parcial 20 puntos
Actividades 35 puntos
Examen final 35 puntos

El estudiante deberá cumplir con 80% de asistencia

BIBLIOGRAFÍA
(a) Libro de texto:
Dean, Kelley. (1995). Teoría de Autómatas y Lenguajes Formales (4ta. Ed.).
Madrid: Editorial Prentice Hall

Brookshear, J. Glenn. (2008). Teoría de la Computación, Lenguajes Formales, Autómatas y Complejidad.


(1ra. Ed.). USA: Editorial Addison Wesley Iberoamérica.

Hopcroft, John y Ullman, Jeffey. (1997). Introducción a la Teoría de Autómatas, Lenguajes y Computación
(3a Ed). México: CECSA.

Aho, A.V., Sethi, R,. & Ullman, J.D. (1990). Compiladores. Principios, técnicas y herramientas (2da. Ed.). México:
Editorial Addison – Wesley Iberoamericana.

(b) Lecturas o materiales de apoyo (plataforma Moodle, sitios de internet, revistas, etc.)
https://play.google.com/store/books/details/Juan_GIR%C3%93_LENGUAJES_FORMALES_Y_TEOR
%C3%8DA_DE_AUT%C3%93MATAS?id=x2IZDQAAQBAJ

https://doku.pub/documents/teoria-de-automatas-y-lenguajes-formales-dean-kelley-ko0m1eoj920d
DOSIFICACIÓN DEL CONTENIDO
MÓDULO 1

Semana Contenidos Competencias Indicadores de Secuencia de Tareas y Referencias Ruta de aprendizaje


logro actividades evaluaciones

1 Preliminares General de la El estudiante Exposición y Actividad 1: Dean, Kelley. (1995).


Matemáticos Unidad: vincula la discusión Teoría de
Conoce la las matemática dirigida Hoja de Trabajo Autómatas y Lógica
definiciones y como el origen con ejercicios de Lenguajes Formales
1. Lógica https://webs.ucm.es/in
teoremas más de la teoría de la Lógica (4ta. Ed.).
Elemental fo/pslogica/cdn.pdf
relevantes para el ciencia de la Ejemplos. Elemental, Madrid: Editorial
estudio de los computación Operaciones con Prentice Hall
2. Operaciones con Conjuntos e
Conjuntos Lenguajes.
Inducción
Brookshear, J. Glenn. Operaciones Con
3. Inducción Procedimentales: (2008). Teoría de la Conjuntos
Resuelve problemas Computación,
asociados a las Lenguajes Formales, https://www.portaledu
4. Cordialidad cativo.net/cuarto-
matemáticas como Autómatas y
principio de la teoría Complejidad. (1ra. medio/25/operaciones
5. Base Gramatical -de-conjuntos
de la ciencia de la Ed.). USA: Editorial
de la traducción
computación Addison Wesley
de los Lenguajes Inducción Matemática
Iberoamérica.
Actitudinales: https://www.youtube.
Trabaja de forma com/watch?
individual, v=w1xKj05urb4
analizando y
desarrollando el
pensamiento crítico.

2 Alfabetos y General de la El estudiante es El Catedrático Acompañamient Dean, Kelley. (1995). Alfabetos y Operaciones
operaciones con Unidad: introducido a los y los o en la Teoría de Autómatas y con Cadenas
Lenguajes Conoce la las conceptos Alumnos Resolución. Lenguajes Formales
definiciones elementales y revisan y (4ta. Ed.). http://www.lsi.us.es/doce
1. Revisión fundamentales de operaciones con resuelven la El estudiante Madrid: Editorial ncia/get.php?id=5826
Actividad 1 símbolo, alfabeto y lenguajes Actividad 1 debe consultar Prentice Hall
lenguajes así como las dudas que se
2. Palabras, sus operaciones. Exposición y le presentaron al
Brookshear, J. Glenn.
Alfabetos y verifica sus discusión realizar la (2008). Teoría de la
Lenguajes Procedimentales: procedimientos y dirigida Actividad 1, Computación,
Resuelve comprueba la Lenguajes Formales,
problemas certeza de sus Autómatas y
3. Operacione asociados a las operaciones y Ejemplos. Complejidad. (1ra.
procesos de .
s con operaciones con Ed.). USA: Editorial
Cadenas lenguajes. cálculo. Addison Wesley
Iberoamérica.
4. Operacione Actitudinales:
s con Trabaja de forma
Lenguajes individual con
acompañamiento
del Catedrático,
analizando y
desarrollando el
pensamiento
crítico.

3 Autómatas Finitos General de la El estudiante Exposición y Actividad 2: Dean, Kelley. (1995).


y Lenguajes Unidad: Conoce estará en discusión Teoría de
Regulares Diagramas de capacidad dirigida Tarea resolver Autómatas y Diagrmas de Transicion:
transición y comprender la ejercicios Lenguajes Formales
1. Diagramas de Maquinas de utilidad de los sobre https://www.youtube.com
(4ta. Ed.).
Transición Estado Finito. diagramas de Ejemplos. operaciones /watch?v=pfJSqvQFOxI
Madrid: Editorial
transición así con Palabras, Prentice Hall
Procedimentales: Ejercicio Cadenas y Máquinas de Estado
2. Máquinas de como su diseño
Operaciones Finito:
Estado Finito Estructura y el y su
Diseño de con Lenguajes Brookshear, J.
implementación https://www.youtube.com
diagramas de . Siendo estos
Glenn. (2008).
/watch?v=HhliQ9HVYXI
transición y junto con los Asignar a los Teoría de la
máquinas de diagramas de estudiantes la Computación,
estado finito. estado finito la Actividad de Lenguajes
base de Proyecto Formales,
comprensión de Primer Parcial
Actitudinales: Autómatas y
Trabaja de forma los AFD Complejidad.
individual, (1ra. Ed.). USA:
analizando y Editorial Addison
desarrollando el
pensamiento
Wesley
crítico. Iberoamérica.
4 General de la Exposición y Actividad 4: Construcción de Autómatas
Autómatas Finitos Unidad: Conoce El estudiante discusión Finitos Deterministas
Los AFD y AFND Tarea Dean, Kelley. (1995).
y Lenguajes deberá ser capaz dirigida
Resolver Teoría de Autómatas y https://www.youtube.com/w
Regulares de conocer y
Procedimentales: ejercicios con Lenguajes Formales atch?v=P0AxQvJcN2Q
trabajar con
3. Autómatas Determina los Ejemplos. definiciones (4ta. Ed.). Madrid:
Autómatas Construcción de Autómatas
Finito detalles del diseño de AFN Editorial Prentice Hall
Finitos Finitos No Deterministas
Determinista de AFN y AFND Ejercicio ,AFND y
Determinista,
Gramáticas
4. Autómatas Lenguajes, Brookshear, J. Glenn. https://www.youtube.com/w
Actitudinales: Regulares (2008). Teoría de la
Finitos No Autómatas atch?v=XRLyiA8EMPM
Deterministas Trabaja de forma Finitos No Computación,
individual, Determinista Lenguajes Formales,
analizando y Autómatas y
desarrollando el Complejidad. (1ra. Ed.).
pensamiento USA: Editorial Addison
crítico. Wesley Iberoamérica.

5 Autómatas Finitos General de la El estudiante Exposición y Actividad 4: Dean, Kelley. (1995).


y Lenguajes Unidad: Conoce las deberá ser capaz discusión Teoría de
Regulares definiciones de las de conocer y dirigida Tarea Resolver Autómatas y Expresiones Regulares
expresiones regulares trabajar con ejercicios con Lenguajes Formales
5. Expresiones y gramáticas Expresiones definiciones de http://decsai.ugr.es/~rosa/tut
(4ta. Ed.).
Regulares regulares. Regulares y Ejemplos. AFN ,AFND y ormc/teoria/EXPRESIONES
Madrid: Editorial
6. Gramáticas Gramáticas Gramáticas %20REGULARES.htm
Prentice Hall
Regulares Procedimentales: Regulares Ejercicio Regulares
Determina los
detalles del
Brookshear, J.
Glenn. (2008). Definición de Gramáticas
funcionamiento de Regulares
las Expresiones Teoría de la
Regulares y Computación, http://decsai.ugr.es/~rosa/tut
Gramáticas Lenguajes ormc/teoria/gramaticasregula
Regulares. Formales, res.htm
Autómatas y
Actitudinales: Complejidad.
Trabaja de forma
individual,
analizando y (1ra. Ed.). USA:
desarrollando el
pensamiento crítico.
Editorial Addison
Wesley
Iberoamérica.

Examen Primer
6
Parcial 10 Puntos

MÓDULO 2:

7 Conversión AFN General de la Unidad: El estudiante Exposición Actividad 7: Aho, A.V., Sethi, R,. & Conversión AFN a AFD
a AFD Conocer Las diversas deberá ser y discusión Ullman, J.D. (1990).
formas de conversión de capaz de dirigida Tarea Resolver Compiladores. Principios,
un AFN a AFD. conocer y ejercicios con los técnicas y herramientas
Máquinas con trabajar y diferentes tipos de (2da. Ed.). México: https://www.redalyc.org/a
Salida Procedimentales: entender Ejemplos. conversión Editorial Addison – rticulo.oa?id=81606107
cuando es usando el Wesley Iberoamericana.
Conversión de autómata cada uno de Ejercicio algoritmo 3.3 https://lenguajesyautomat
finito no determinista a los lenguajes (construcción de asblog.wordpress.com/20
autómata finito de autómatas, Thompson), 17/02/24/conversion-de-
Algoritmo 3.3
determinista. entender afn-a-afd/
(construcción de
dónde está la
Thompson),
Conversión de autómata ambigüedad, https://slideplayer.es/slide
finito con transiciones-ϵ. para crear las /7220276/
máquinas con
Salida sin
ambigüedad
Conversión de expresión alguna.
regular a autómata finito
no determinista.
Siempre que se quiera
aplicar el algoritmo de
conversión AFN a AFD,
primero se debe construir
un AFN aplicando las
reglas y posteriormente
ejecutar el algoritmo de
conversión.

Actitudinales:

Trabaja de forma
individual, analizando y
desarrollando el
pensamiento crítico.

8 Resolución de Actividad 8:
Ejercicios de la
clase 7 Crear grupos y
Resolución asignarles un
del Ejercicio Aho, A.V, Sethi, R,.
laboratorio para
& Ullman, J.D.
elaboración durante
(1990). Compiladores.
el curso. Y aquel
Principios, técnicas y
estudiante que no
herramientas (2da.
pueda entrar
Ed.). México:
asignarle tarea y
Editorial Addison –
seguir dando
Wesley
seguimiento de
Iberoamericana.
apoyo.

9 Lenguajes General de la Unidad: El estudiante Exposición Actividad 9: Dean, Kelley. (1995). Lenguajes Independientes
Independientes del Conocer que, dentro de las deberá ser y discusión Teoría de Autómatas y del Contexto
Contexto gramáticas regulares, capaz de dirigida Tarea Resolver Lenguajes Formales
existen Gramáticas de conocer y ejercicios GCL. http://www.sc.ehu.es/jiwna
contexto libre (GCL).
gom/MAC1-ALF/MAC-
Procedimentales: Ejemplos. (4ta. Ed.). archivos/Tema3.pdf.

Funcionamiento de las Ejercicio https://aprendeyprogramabl


Madrid: Editorial
Gramáticas de contexto trabajar y Prentice Hall og.wordpress.com/2016/07/
libre (GCL) su tipo de entender 05/gramaticas-
derivaciones y creación cuándo se independientes-del-
del árbol. debe aplicar contexto/
los tipos de Brookshear, J. Glenn.
derivaciones (2008). Teoría de la
,y Computación,
Actitudinales: comprender Lenguajes Formales,
la diferencia Autómatas y
Trabaja de forma entre una Complejidad. (1ra.
individual, analizando y gramática Ed.). USA: Editorial
desarrollando el simple o Addison Wesley
pensamiento crítico. regular y una Iberoamérica.
GCL.

10 Notación Backus- General de la Unidad: La idea Exposición Actividad 10: Dean, Kelley. (1995). Notación Backus-Naur
Naur (BNF). Conocer que, dentro de las detrás de este y discusión Teoría de Autómatas y (BNF).
gramáticas regulares, método es la dirigida Que el estudiante Lenguajes Formales
Analizador existen BNF. construcción escriba el pseudo (4ta. Ed.). https://www.academia.edu
sintáctico de un árbol código para el /23198046/NOTACION_
predictivo de Ejemplos. diagrama de Madrid: Editorial BACKUS_NAUR_BNF
expresiones transición de F Prentice Hall
Arboles de Procedimentales: al tiempo que Ejercicio https://es.qwe.wiki/wiki/B
análisis sintáctico se evalúa la ackus
Un programa que se sintaxis de %E2%80%93Naur_form
construye a partir de un una Brookshear, J. Glenn.
analizador sintáctico expresión, (2008). Teoría de la Analizador sintáctico
predictivo basado en un este árbol se Computación, predictivo
diagrama de transiciones forma Lenguajes Formales,
intenta emparejar durante las Autómatas y http://www.cartagena99.c
llamadas
símbolos terminales con recursivas a om/recursos/alumnos/apu
los de la entrada y realiza los no ntes/ININF2_M4_U3_T2.
una llamada terminales. Complejidad. (1ra. pdf
potencialmente recursiva a Ed.). USA: Editorial
un procedimiento (este Addison Wesley http://www.cartagena99.c
procedimiento será un Iberoamérica. om/recursos/alumnos/apu
símbolo no terminal de la ntes/PDL_07_Tema
gramática) siempre que %204_Analisis
deba seguir una arista %20sintactico
etiquetada con un no %20descendente.pdf
terminal.

Actitudinales:

Trabaja de forma
individual, analizando y
desarrollando el
pensamiento crítico.

11 Jerarquía de General de la Unidad: En 1956, Exposición Actividad 11: Dean, Kelley. (1995). Jerarquía de Chomsky.
Chomsky. Conocer qué normas Noam y discusión Teoría de Autómatas y
existe a la hora de Chomsky dirigida Ejercicios de Lenguajes Formales http://delta.cs.cinvestav.mx/
construcción. De la clasificó las gramáticas y (4ta. Ed.). ~gmorales/ta/node18.html
jerarquía de Chomsky. gramáticas resolución. Con
en cuatro Ejemplos. reglas y base de Madrid: Editorial https://www.ecured.cu/Jerar
Procedimentales: tipos de construcción. Prentice Hall
Ejercicio qu
lenguajes y
Estos lenguajes esta %C3%ADa_de_Chomsky.
sirven como base para la clasificación
clasificación de lenguajes es conocida Brookshear, J. Glenn.
de programación. Los como la (2008). Teoría de la
cuatro tipos son: jerarquía de Computación,
lenguajes recursivamente Chomsky, en Lenguajes Formales,
Autómatas y
numerables, lenguajes
sensibles al contexto,
lenguajes libres de
contexto y lenguajes
regulares. Dichos Complejidad. (1ra.
lenguajes también se Ed.). USA: Editorial
identifican como la cual cada Addison Wesley
lenguajes de tipo 0, 1, 2 y lenguaje es Iberoamérica.
3. descrito por
el tipo de
gramática
generado, a
partir de ello
que el
Actitudinales: alumno
identifique
Trabaja de forma cada
individual, analizando y gramática en
desarrollando el su nivel.
pensamiento crítico.

12 Examen Segundo 20
Parcial Puntos

MODULO 3:

General de la Unidad: Exposición


13 Autómatas de Pila Conoce la definición El estudiante y discusión Tarea: Hoja de Dean, Kelley. (1995). https://ccc.inaoep.mx/~emor
formal y el dirigida
reconocimiento de una aprenderá a trabajo con Teoría de Autómatas y ales/Cursos/Automatas/Auto
cadena en un Autómata crear y ejercicios de Formales (4ta. Ed.). matasPila.pdf
graficar Ejemplos. Autómatas de pila
de Pila.
autómatas de Madrid: Editorial https://www.youtube.com/w
Ejercicio
pila y su Asignación de Prentice Hall atch?v=ufRfjKgaUgo
Procedimentales:
aplicación en proyecto Final
Resuelve problemas
el
identificando la séptupla, Valor 15 puntos
reconocimien
transiciones y grafica del Brookshear, J. Glenn.
to de cadenas
autómata de pila (2008). Teoría de la
de entrada.
Computación,
Actitudinales: Lenguajes Formales,
Lenguajes
Trabaja de forma
individual, analizando y Autómatas y
desarrollando el Complejidad. (1ra. Ed.).
pensamiento crítico. USA: Editorial Addison
Wesley Iberoamérica.

General de la Unidad: Exposición


14 Gramáticas Conocer la relación y El estudiante y discusión Resolución de Dean, Kelley. (1995). https://www.youtube.com/w
independientes aplicación dentro del entenderá la dirigida dudas de la hoja de Teoría de Autómatas y atch?v=Q_b4c5kmV1Q
aplicadas a ámbito de autómatas de relación que trabajo de Lenguajes Formales
Autómatas de Pila existente Autómatas de Pila. (4ta. Ed.). https://www.youtube.com/w
pila. Ejemplos.
entre los atch?v=o9eUECLgQno
autómatas de Ejercicio Resolución de Madrid: Editorial
Procedimentales:
pila y las dudas de proyecto Prentice Hall
Funcionamiento de los final
gramáticas
autómatas de pila
libres de
reconociendo gramáticas Clase
contexto
independientes de magistral Brookshear, J. Glenn.
contexto. (2008). Teoría de la
Ejemplos Computación,
Actitudinales: Lenguajes Formales,
Autómatas y
Complejidad. (1ra.
Trabaja de forma Ed.). USA: Editorial
individual, analizando y Addison Wesley
desarrollando el Iberoamérica.
pensamiento crítico.

General de la Unidad: Exposición


15 Máquinas de Turing Conoce la definición El estudiante y discusión Tarea: Hoja de Dean, Kelley. (1995). https://www.youtube.com/w
formal, máquinas comprenderá dirigida trabajo con Teoría de Autómatas y atch?v=iaXLDz_UeYY
realizadora de cálculos, que la ejercicios de Lenguajes Formales
Máquinas de Máquinas de (4ta. Ed.). https://www.youtube.com/w
reconocimientos de Ejemplos.
Turing son Turing atch?v=Es2NwtUwVc0
cadenas de estrada,
más Ejercicio Madrid: Editorial
reconocimiento de
generales que Resolución de Prentice Hall
lenguajes y construcción
cualquier dudas de proyecto
de la misma.
autómata final
finito y
Procedimentales: Brookshear, J. Glenn.
autómata de
Resuelve problemas (2008). Teoría de la
Pila, debido a
asignados identificando Computación,
que ellas
los tipos de lenguaje y Lenguajes Formales,
pueden
aplicando técnicas para la Autómatas y
reconocer
construcción de las Complejidad. (1ra.
tanto los
máquinas de Turing. Ed.). USA: Editorial
lenguajes
Addison Wesley
regulares
Actitudinales: Iberoamérica.
como los
lenguajes
Trabaja de forma
independient
individual, analizando y
es del
desarrollando el
contexto.
pensamiento crítico.

General de la Unidad: Exposición


16 Resolubilidad y Conoce la computación El estudiante y discusión Resolución de Dean, Kelley. (1995).
Computabilidad en la resolución de comprenderá dirigida dudas de la hoja de Teoría de Autómatas y
problemas identificando cuestiones trabajo de Lenguajes Formales
los problemas de
decisión. acerca de la Máquinas de (4ta. Ed.).
computabilid Ejemplos. Turing.
ad, en Madrid: Editorial
Procedimentales: Ejercicio
función de Resolución de Prentice Hall
Resuelve problemas
las dudas de proyecto
situaciones final
Actitudinales:
en las cuales
Ejercicios de Brookshear, J. Glenn.
el resultado
Trabaja de forma resolubilidad (2008). Teoría de la
de la
individual, analizando y Computación,
computación
desarrollando el Lenguajes Formales,
es sí o no, a
pensamiento crítico. Autómatas y
esto se le
Complejidad. (1ra.
conoce como
Ed.). USA: Editorial
resolubilidad.
Addison Wesley
Iberoamérica.

General de la Unidad: Exposición


17 Introducción a la Conocer la teoría de la El estudiante y discusión Ejercicios del Dean, Kelley. (1995). https://www.youtube.com/w
Complejidad complejidad comprenderá dirigida tema visto y Teoría de Autómatas y atch?v=cS9ULADnb_w
Computacional computacional con que el ejercicios de Lenguajes Formales
modelo de repaso para (4ta. Ed.). https://arxiv.org/ftp/arxiv/pa
respecto a los autómatas Ejemplos.
máquina de examen final pers/1010/1010.1328.pdf
y lenguajes.
Turing que se Ejercicio Madrid: Editorial
use no afecta Prentice Hall https://www.youtube.com/w
Procedimentales: atch?v=paiPFUXQPX0
a la potencia
Resuelve problemas
computacion
identificando la
al o la
complejidad espacio Brookshear, J. Glenn.
capacidad
tiempo. (2008). Teoría de la
para decidir
Computación,
un problema,
Actitudinales: Lenguajes Formales,
sin embargo,
Autómatas y
los
Trabaja de forma Complejidad. (1ra.
requerimient
individual, analizando y Ed.). USA: Editorial
os de espacio
desarrollando el Addison Wesley
pensamiento crítico. y tiempo para Iberoamérica.
una
computación
se ven
claramente
afectados por
el modelo
elegido.

18 Examen Final 35 puntos