Instr Didactica Lenguajes y Automatas SCD-1015

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01
la formacin y desarrollo de competencias

Revisin: 1
Referencia a la Norma ISO 9001:2008 7.1, 7.2.1,
Pgina 1 de 16
7.5.1, 7.6
Instituto Tecnolgico Superior de Alvarado

Subdireccin Acadmica
Departamento de Ingeniera en Sistemas Computacionales
Instrumentacin didctica periodo Febrero-Junio 2013
Nombre de la asignatura:
Carrera:
Clave de la asignatura:
Horas teora-Horas prctica-Crditos:
Lenguajes y Autmatas I
Ingeniera en Sistemas Computacionales
SCD-1015
2-3-5
1. Caracterizacin de la asignatura
En esta asignatura se abordan todos los temas relacionados con teora de lenguajesformales, algo que permite vislumbrar los
procesos inherentes, y a veces, escondidos dentro de todo lenguaje. Las formas de representacin formal, procesamiento e
implementacin de lenguajes de programacin se atacan desde un punto de vista de implementacin. Los proyectos relacionados y
los ejercicios de investigacin acercan a los estudiantes al campo de lenguajes formales, base de los procesos de comunicacin.
Por ltimo se revisan algunos de los puntos eje de la investigacin de frontera que an contienen problemas abiertos, un incentivo
para la incorporacin de estudiantes a las reas de investigacin.
Las asignaturas directamente vinculadas son estructura de datos por las herramientas para el procesamiento de informacin que
proporciona (rboles binarios, pilas, colas, tablas de Hash), todas aquellas que incluyan lenguajes de programacin, porque son las
herramientas para el desarrollo de cualquiera de las prcticas dentro de la asignatura y permitirn un enfoque prctico para todos
los temas de la misma. La materia de arquitectura de computadoras dota al estudiante de los conocimientos sobre la estructura de
registros, modos de direccionamiento, conjunto de operadores, y le da al estudiante una visin sobre cmo mejorar el desempeo
de lenguajes.
Esta materia sirve de prembulo para la asignatura de lenguajes y autmatas II, en la cual se completa el estudio formal de la teora
de lenguajes.
2. Objetivo(s) general(es) del curso. (Competencias especficas a desarrollar)

Definir, disear, construir y programar las fases del analizador lxico y sintctico de un traductor o compilador, esquemas de
seguridad, rendimiento y alta disponibilidad en distintas plataformas, optimizando los recursos econmicos y la infraestructura
tecnolgica disponible en las organizaciones.
SNEST-AC-PO-003-01
Rev.1

Revisin: 1
Pgina 2 de 16
7.5.1, 7.6
3. Anlisis por unidad

Unidad:
Tema:
Encuadre
Competencia especfica de la unidad
Criterios de evaluacin de la Unidad

No aplica
Realizar el encuadre de la materia de acuerdo con los elementos propuestos, con la

finalidad de dar a conocer a los alumnos los criterios a evaluar.
Actividades de aprendizaje
Se presentarn siguiendo la tcnica

propuesta por el docente.
Expresarn sus expectativas referentes
a la materia.
Participan de la exposicin de la
presentacin de la materia.
Actividades de enseanza
Realizan la evaluacin diagnostica
Participa en la retroalimentacin
SNEST-AC-PO-003-01
Mediante una dinmica grupal se realiza la

presentacin reciproca, lo cual nos permite
conocer las expectativas de los alumnos
referente a la materia.
Da a conocer el nombre de la materia, horas
tericas y prcticas, criterios que contempla el
programa, as como las unidades que la
conforman.
Explica la relacin que existe entre la materia
que le antecede, as como la sucesiva.
El objetivo de la materia, contenido temtico,
competencias a desarrollar, criterios de
acreditacin, formas y fechas de evaluacin,
bibliografa bsica y complementaria.
Aplica la evaluacin diagnostica al grupo para
identificar los conocimientos previos de los
alumnos referentes a la materia.
Realiza un anlisis de la evaluacin
diagnstica.
Desarrollo de competencias
genricas
Horas tericoprcticas
Instrumentales:
Conocimientos bsicos de la
carrera.
Comunicacin oral y escrita.
Interpersonales:
Capacidad crtica y autocrtica
Trabajo en equipo
Habilidades interpersonales
2 Horas
Sistmicas:
Capacidad de aprender.
Capacidad de adaptarse a
nuevas situaciones.
Habilidad para trabajar en forma
autnoma.
Bsqueda del logro.
Rev.1

Revisin: 1
Pgina 3 de 16
7.5.1, 7.6
Fuentes de informacin
Apoyos didcticos:
No Aplica
Pintarrn
Plumones
Videoproyector
Laptop
Examen Diagnostico
SNEST-AC-PO-003-01
Rev.1

Revisin: 1
Pgina 4 de 16
7.5.1, 7.6
Unidad:
Tema:
Introduccin a la Teora de Lenguajes Formales

Solucin de ejercicios:
40%
Resumen:
10%
Linea de Tiempo:
10%
Examen:
40%
Expresar la notacin matemtica de un lenguaje formal.

Identificar las fases de un compilador.
Relacionar los componentes lxicos con el alfabeto.
Una vez elaborado el encuadre y la
evaluacin
diagnstica,
el alumno
realizar actividades como:
Solucin de ejercicios: Identificar

alfabetos y lenguajes en ejercicios
propuestos. De igual manera obtener
un alfabeto a partir de un lenguaje.
Identificar lexemas y componentes
lxicos a partir de un lenguaje.
Trabajo colaborativo: Investigar la

estructura de un traductor y las fases
de un compilador para analizar y
discutir en grupo y obtener una
conclusin, para el final entregar un
resumen de los conceptos de la
unidad.
Elaborar una lnea de tiempo sobre

las aportaciones de los matematicos
para los orgenes de la teora de la
SNEST-AC-PO-003-01
genricas
Competencias instrumentales
Evaluacin Diagnstica y Presentacin del
Capacidad de anlisis y
curso.
sntesis
Encuadre de la unidad
carrera
Exposiciones de conceptos bsicos de la Comunicacin escrita
unidad (Alfabeto, Cadenas, Lenguajes y Habilidades del manejo de la
computadora
Tipos de lenguajes)
Habilidad para buscar y
analizar
informacin
Presentacin y explicacin de ejemplos.
proveniente
de
fuentes
diversas
Solicitar una investigacin individual de la
Solucin de problemas
estructura de un traductor y las fases de
un compilador para posteriormente
Competencias interpersonales
analizar y discutir en grupo para obtener
Trabajo en equipo
una conclusin.
Facilitar el razonamiento y comprensin
propiciando a partir de la construccin de
conceptos con base en conocimientos
previos y en investigaciones realizadas.
10 Horas
Competencias sistmicas
Estndares de desarrollo para
la implementacin de
soluciones
Rev.1

Revisin: 1
Pgina 5 de 16
7.5.1, 7.6
computacin.
Capacidad de aplicar los

conocimientos en la prctica
Habilidades de investigacin
Capacidad de aprender
Capacidad de generar nuevas
ideas (creatividad)
Habilidad para trabajar en
forma autnoma
1. Aho, Sethi, Ullman, Compiladores Principios, tcnicas y herramientas, Ed. Addison
Wesley.
2. Lemote Karen A., Fundamentos de compiladores Cmo traducir al lenguaje de
computadora, Ed. Compaa Editorial Continental.
3. Martin John, Lenguajes formales y teora de la computacin, Ed. Mc Graw Hill.
4. Kelley, Dean, Teora de Automatas y Lenguajes Formales, Prentice Hall.
5. Isasi, Martnez y Borrajo. Lenguajes, Gramticas y Autmatas. Addison Wesley.
6. Dr. Sergio Glvez Rojas y Miguel ngel Mora Mata,Compiladores Traductores y
Compiladores con Lex/Yacc, JFlex/Cup y JavaCC
SNEST-AC-PO-003-01
Apoyos didcticos:
Hojas blancas
Pintarrn
Plumones
Videoproyector
Laptop
Rev.1

Revisin: 1
Pgina 6 de 16
7.5.1, 7.6
Unidad:
Tema:
Expresiones Regulares

Mapa conceptual:
10%
30%
Reporte de prctica:
20%
Examen:
40%
Crear y reconocer ER mediante un lenguaje de programacin o un analizador

lxico.
Mapa Conceptual: Investigar la

definicin formal de una Expresin
Regular
y
sus
Operaciones,
posteriormente realizar un mapa
conceptual con dicha informacin.
Solucin de ejercicios: Generar
cadenas a partir de una expresin
regular. Obtener una expresin
regular a partir de un grupo de
cadenas o viceversa y despus
implementarlos en la herramienta
JFLAP.
Reporte de prctica: a travs del

uso de la herramienta JFLAP
SNEST-AC-PO-003-01
genricas
Encuadre de la Unidad
sntesis
carrera
Comunicacin escrita
Habilidades del manejo de la
computadora
analizar
informacin
proveniente
de
fuentes
diversas
Exposiciones de conceptos bsicos de la

unidad (Definicin formal de una ER y
Operaciones).
Presentacin y explicacin de ejemplos de

ER.
Solicitar de manera individual un Mapa

Conceptual sobre la definicin de ER y
sus Operaciones.

a partir de la construccin de conceptos
con base enla investigacin realizada.
Trabajo en equipo
Proporcionar
ejercicios
para
su
resolucin.
Requerir
la
elaboracin
de
un
la implementacin de
reconocedor de expresiones regulares
soluciones
mediante un lenguaje de programacin o Capacidad de aplicar los
un analizador lxico.
10 Horas
Rev.1

Revisin: 1
Pgina 7 de 16
7.5.1, 7.6

aplicando el Aprendizaje basado en
problemas prcticos.
ideas (creatividad)
forma autnoma
Apoyos didcticos:
1. Aho, Sethi, Ullman, Compiladores Principios, tcnicas y herramientas, Ed. Addison Wesley.
2. Lemote Karen A. , Fundamentos de compiladores Cmo traducir al lenguaje de
6. Dr. Sergio Glvez Rojas y Miguel ngel Mora Mata ,Compiladores Traductores y
Hojas blancas
Pintarrn
Plumones
Videoproyector
Laptop
SNEST-AC-PO-003-01
Rev.1

Revisin: 1
Pgina 8 de 16
7.5.1, 7.6
Unidad:
Tema:
Autmatas finitos

40%
Reporte de prctica:
20%
Examen:
40%
Crear un AF mediante un lenguaje de programacin.
Construir AFD y AFND
Construir un AF a partir de un ER.
Conversiones de AFND a AFD.
Minimizar estados en un AF.

Desarrollo de programa: Elaborar

por equipo, la simulacin de un AF
mediante
un
lenguaje
de
programacin. (20 pts extra)
SNEST-AC-PO-003-01
genricas
Solicitar una investigacin acerca de los

siguientes temas: Definicin formal,
Clasificacin de AF, Diferencia entre un
AFND y AFD, Conversin de un AFND a
AFD.
sntesis
carrera
Comunicacin escrita
computadora
analizar
informacin
proveniente
de
fuentes
diversas

unidad (Definicin formal de un AF,
Clasificacin de AF, Convertir un AFND a
AFD).
Presentacin y explicacin de ejemplos de

AFD y AFND.
Trabajo en equipo
con base en investigaciones realizadas.
Proporcionar
ejercicios
para
su
la implementacin de
resolucin
soluciones
Requerir la simulacin de un AF
utilizando un Lenguaje de Programacin
15 Horas
Rev.1

Revisin: 1
Pgina 9 de 16
7.5.1, 7.6

problemas.

ideas (creatividad)
forma autnoma
SNEST-AC-PO-003-01
Apoyos didcticos:
Hojas blancas
Pintarrn
Plumones
Videoproyector
Laptop
Rev.1

Revisin: 1
Pgina 10 de 16
7.5.1, 7.6
Unidad:
Tema:
Mquinas de Turing

Solucin de ejercicios :
40%
Reporte de Prctica:
20%
Examen:
40%
Disear y construir o simular una MT
genricas
Solucin de ejercicios: Construir

una MT a partir de un caso.

Desarrollo de programa: Por

equipos de trabajo, simular a travs
de un lenguaje de alto nivel, la
representacin de una MT. (20 pts
extra)
Proporcionar un caso para su resolucin
Requerir la representacin de una MT a

travs de un lenguaje de programacin
de alto nivel.
sntesis
carrera
computadora
analizar
informacin
proveniente
de
fuentes
diversas

problemas.
Trabajo en equipo
Encuadre de la unidad.

unidad.
SNEST-AC-PO-003-01
10 Horas
la implementacin de
soluciones
Rev.1

Revisin: 1
Pgina 11 de 16
7.5.1, 7.6
ideas (creatividad)
forma autnoma
SNEST-AC-PO-003-01
Apoyos didcticos:
Hojas blancas
Pintarrn
Plumones
Videoproyector
Laptop
Rev.1

Revisin: 1
Pgina 12 de 16
7.5.1, 7.6
Unidad:
Tema:
Anlisis Lxico

Resumen:
20%
30%
Reporte de Practicas:
20%
Desarrollo de proyecto:
30%
Construir un analizador lxico apartir de un lenguaje de programacin o un

analizador lxico (p. e. Flex, Lex, JavaCC).
Trabajo colaborativo: Realizar una

investigacin acerca de cmo se crea
una Tabla de tokens, los errores
lxicos y los generadores de
analizadores Lxicos y obtener
resumen.
Solucin de ejercicios: Elaborar por
equipo, la identificacin de lexemas,
componentes lxicos y patrones a
partir de un lenguaje
Definir las reglas de un lenguaje de
programacin propio.
Identificar patrones vlidos, generar
autmatas y tabla de tokens del
lenguaje propuesto.
Reporte de Practicas: Entregar las
practicas realizadas en clase en
javacc.
Desarrollo de programa: Construir

un analizador lxico (utilizando un
generador de analizador lxico o un
SNEST-AC-PO-003-01
genricas

unidad (funciones del analizador lxico,
Componentes
lxicos,
patrones
y
lexemas).
Solicitar de manera individual una

investigacin sobre cmo crear una Tabla
de tokens, los errores lxicos y los
generadores de analizadores Lxicos y
analizar y discutir en equipo para obtener
un resumen.
sntesis
carrera
Comunicacin escrita
computadora
analizar
informacin
proveniente
de
fuentes
diversas

Trabajo en equipo
Proporcionar
resolucin
Encuadre de la unidad.
ejercicios
para
Requerir la construccin de un
analizador lxico, utilizando un
generador de analizador lxico o un
Lenguaje de Programacin.
su
15 Horas
la implementacin de
soluciones
Rev.1

Revisin: 1
Pgina 13 de 16
7.5.1, 7.6
Lenguaje
explicarlo.
de
Programacin)

problemas.
ideas (creatividad)
forma autnoma
SNEST-AC-PO-003-01
Apoyos didcticos:
Hojas blancas
Pintarrn
Plumones
Videoproyector
Laptop
Rev.1

Revisin: 1
Pgina 14 de 16
7.5.1, 7.6
Unidad:
Tema:
Anlisis Sintctico

Mapa conceptual:
20%
Solucin de ejercicios practicos:
20%
Desarrollo de programa:
50%
Reporte de Practica:
10%
Construir un analizador sintctico apartir de un lenguaje de programacin o un

analizador sintctico para el reconocimiento de gramticas (p.e. YACC).
Mapa conceptual: Realizar por
equipos de trabajo una investigacin

y mapa conceptual de los temas:
GLC
rboles de derivacin.
Formas normales de Chomsky
Notacin de los diagramas de sintaxis
Identificar la notacin formal de una
gramtica.
Construir diagramas de sintaxis de un
lenguaje.
Construir una GLC a partir de los
diagramas de sintaxis.
Eliminar la ambigedad de una
gramtica.
Distinguir los Errores sintcticos.
Desarrollo de programa: Construir

un analizador sintctico (utilizar un
generador de analizador sintctico o
un LP).
Entregar reporte de prcticas.

SNEST-AC-PO-003-01
genricas

unidad.
sntesis
carrera
Comunicacin escrita
computadora
analizar
informacin
proveniente
de
fuentes
diversas
Solicitar por equipos de trabajo la

elaboracin de mapas conceptuales
acerca de GLC, rboles de derivacin,
Formas normales de Chomsky y
Diagramas de sintaxis.

Trabajo en equipo
Proporcionar
ejercicios
para
su
resolucin
Requerir la construccin de
un
la implementacin de
analizador sintctico, utilizando un
soluciones
generador de analizador sintctico o un Capacidad de aplicar los
Lenguaje de Programacin
15 Horas
Rev.1

Revisin: 1
Pgina 15 de 16
7.5.1, 7.6
Elaborar practicas en clase sobre
anlisis sintctico en javacc.

problemas.
ideas (creatividad)
forma autnoma
SNEST-AC-PO-003-01
Apoyos didcticos:
Hojas blancas
Pintarrn
Plumones
Videoproyector
Laptop
Rev.1

Revisin: 1
Pgina 16 de 16
7.5.1, 7.6
Calendarizacin de evaluacin (semanas):
Semana
Unidad
T.P.
T.R.
(11)
8
10
11
12
13
14
15
16
1
5a8
de feb
1
11 a 15
de feb
2
18 a 22
de feb
2
25 feb
a 01
mar
3
4a8
de mar
3
11 a 15
de mar.
3
18 a 22
de mar
4
8 a 12
de abr.
4
15 a 19
de abr
5
22 a 26
de abr
5
29 abr
a 3 de
may
5
6 a 10
de may
6
13 a 17
de may
6
20 a 24
de may
6
27 a 31
de may
3a7
de jun
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa. TP= Tiempo planeado TR=Tiempo real
Fecha de elaboracin: 16 de enero de 2015
Ing. FranciscoFernando Mayorga Guittins

LI. Jos Juan Calva Saldaa
MTI. Oscar Luis Pea Valerio
SNEST-AC-PO-003-01
Vo. Bo. Jefe(a) del Departamento

Ing. Gabriela Hernndez Cruz
Rev.1

Instr Didactica Lenguajes y Automatas SCD-1015

Hochgeladen von

Dokumentinformationen

Originalbeschreibung:

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Instr Didactica Lenguajes y Automatas SCD-1015

Hochgeladen von

Copyright:

Verfügbare Formate

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

la formacin y desarrollo de competencias

Instituto Tecnolgico Superior de Alvarado

2. Objetivo(s) general(es) del curso. (Competencias especficas a desarrollar)

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

3. Anlisis por unidad

Competencia especfica de la unidad

Criterios de evaluacin de la Unidad

Realizar el encuadre de la materia de acuerdo con los elementos propuestos, con la

Se presentarn siguiendo la tcnica

Realizan la evaluacin diagnostica

Mediante una dinmica grupal se realiza la

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Introduccin a la Teora de Lenguajes Formales

Competencia especfica de la unidad

Criterios de evaluacin de la Unidad

Expresar la notacin matemtica de un lenguaje formal.

Solucin de ejercicios: Identificar

Trabajo colaborativo: Investigar la

Elaborar una lnea de tiempo sobre

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Capacidad de aplicar los

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Competencia especfica de la unidad

Criterios de evaluacin de la Unidad

Crear y reconocer ER mediante un lenguaje de programacin o un analizador

Mapa Conceptual: Investigar la

Reporte de prctica: a travs del

Exposiciones de conceptos bsicos de la

Presentacin y explicacin de ejemplos de

Solicitar de manera individual un Mapa

Facilitar el razonamiento y comprensin

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Facilitar el razonamiento y comprensin

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Competencia especfica de la unidad

Criterios de evaluacin de la Unidad

Crear un AF mediante un lenguaje de programacin.

Reporte de prctica: a travs del

Desarrollo de programa: Elaborar

Solicitar una investigacin acerca de los

Exposiciones de conceptos bsicos de la

Presentacin y explicacin de ejemplos de

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Facilitar el razonamiento y comprensin

Capacidad de generar nuevas

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Competencia especfica de la unidad

Criterios de evaluacin de la Unidad

Disear y construir o simular una MT

Solucin de ejercicios: Construir

Reporte de prctica: a travs del

Desarrollo de programa: Por

Presentacin y explicacin de ejemplos.

Proporcionar un caso para su resolucin

Requerir la representacin de una MT a

Facilitar el razonamiento y comprensin

Exposiciones de conceptos bsicos de la

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Nombre del formato: Instrumentacin Didctica para Cdigo: SNEST-AC-PO-003-01

Competencia especfica de la unidad

Criterios de evaluacin de la Unidad