Instrumentación Didáctica para La Formación y Desarrollo de Competencias

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN
Organismo Pblico Descentralizado del Gobierno del Estado
2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

2013, Ao de Belisario Domnguez
Instrumentacin didctica para la formacin y desarrollo de competencias

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
El desarrollo de sistemas basados en computadora y la bsqueda de soluciones para problemas de procesamiento de informacin son la base
tecnolgica de la carrera de Ingeniera en Sistemas.
Todo egresado de esta ingeniera debe poseer los conocimientos necesarios para resolver de manera ptima cualquier problema relacionado
con procesamiento de informacin. El conocimiento de las caractersticas, fortalezas y debilidades de los lenguajes de programacin y su
entorno le permitirn proponer las mejores soluciones en problemas de ndole profesional y dentro de las realidades de su entorno.
Como parte integral de la asignatura, se debe promover el desarrollo de las habilidades necesarias para que el estudiante implemente sistemas
sujetndose en los estndares de desarrollo de software, esto con el fin de incentivar la productividad y competitividad de las empresas donde
se desarrollen. Sin duda alguna, los problemas que se abordarn requerirn la colaboracin entre grupos interdisciplinarios, por ello el trabajo
en grupos es indispensable. Debe quedar claro que los proyectos que sern desarrollados son de diversas reas y complejidades, y en ocasiones
requieren la integracin de equipos externos. Esta complejidad debe considerarse una oportunidad para experimentar con el diseo de
interfaces
hombre-mquina y mquina-mquina.
ITSSMT-AC-PC-01-FO-01
REV. 0


Como todos sabemos, un mismo problema puede ser resuelto computacionalmente de diversas formas. Una de las condiciones a priori de la
asignatura, es el conocimiento de las arquitecturas de computadoras (microprocesadores) y de las restricciones de desempeo que deben
considerarse para la ejecucin de aplicaciones. Esto aportar los conocimientos que le permitirn al estudiante desarrollar aplicaciones
eficientes en el uso de recursos. De manera adicional, es posible que se integren dispositivos externos dentro de las soluciones. En este aspecto,
el papel del profesor como gua es fundamental. Es importante diversificar la arquitectura de las soluciones planteadas. Si la inclusin de algn
componente de hardware facilita la solucin, se recomienda que sea incluido.
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.
A su vez permitir el desarrollo de las siguientes competencias especficas:
Evaluacin de lenguajes de programacin: evaluar un conjunto de lenguajes de programacin con base en un problema a resolver y elegir el
mejor de ellos para el problema en particular.
Anlisis y sntesis para la solucin de un problema: dado un problema, proponer el mejor lenguaje que se ajusta a las especificaciones del
mismo. Si no hay lenguaje disponible, proponer las caractersticas del lenguaje ideal para el problema a resolver.
2. Objetivo(s) general(es) del curso.
REV. 0


Definir, disear, construir y programar las fases del analizador lxico y sintctico de un traductor o compilador.
REV. 0


3. Anlisis por unidad

Competenci
a o Unidad:
Tema:
Introduccin a la Teora de Lenguajes Formales.
Competencia especfica de la unidad
Criterios de evaluacin de la Competencia o

Unidad
Entregar el 100% de las evidencias solicitadas por el
docente para poder acreditar la competencia. Cada
evidencia tiene un valor de 0 a 100, considerando la
siguiente escala.
Expresar la notacin matemtica de un lenguaje formal.

Identificar las fases de un compilador.
Relacionar los componentes lxicos con el alfabeto.
1 criterio alcanzado---------------NA (No alcanzado)

2 criterios alcanzados------------70 a 74
5 6 criterios alcanzados-------95 a 100
Vase los criterios al final de la instrumentacin.
Extrados de lineamientos de la DGEST
Actividades de enseanza
Activacin:
Descripcin de la Actividad 1.
Desarrollo de programas: Pilas,
Colas, Listas Ligadas, Arboles
Binarios, Tablas Hash. Adems del
Actividades de aprendizaje
Desarrollo de competencias
genricas
Identificar alfabetos y lenguajes en

un caso de estudio.
Investigar la funcin de cada
traductor.
Conocer las fases de un
compilador.
Competencias instrumentales
Capacidad de anlisis y
sntesis
Capacidad de organizar y
planificar
Conocimientos bsicos de la
REV. 0
Horas tericoprcticas
16 hrs.


uso de archivos.
Cuadrante: CI LI CD
Adquisicin y prctica:
Creacin de Analizador lxico
simple para reconocer el token
"hola".
Cuadrante CI LD
Obtener un alfabeto a partir de un

lenguaje.
Determinar la identificacin de
lexemas y componentes lxicos a
partir de un
lenguaje.
carrera
Comunicacin oral y escrita
Habilidades del manejo de la
computadora
Habilidad para buscar y
analizar
informacin
proveniente de fuentes diversas
Solucin de problemas
Toma de decisiones.
Competencias
interpersonales
Capacidad
crtica
y
autocrtica
Trabajo en equipo
Habilidades interpersonales
Aplicacin de lo aprendido:
Investigacin de Compiladores e
Intrpretes,
Contestar las siguientes preguntas:
1. Qu es un Compilador, para
qu sirve? y muestra un
ejemplo.
2. Qu es un Intrprete, para
ejemplo.
3. Qu es un Traductor, para
ejemplo.
Cuadrante CI LD
Competencias sistmicas
Estndares de desarrollo
para la implementacin de
soluciones
Capacidad de aplicar los
conocimientos en la prctica
Habilidades de investigacin
Capacidad de aprender
Capacidad de generar nuevas
ideas (creatividad)
REV. 0


Capacidad para disear y

gestionar proyectos
Habilidad para trabajar en
forma autnoma
Bsqueda del logro
Cierre:
Realizar una recapitulacin del tema
con los estudiantes.
Propiciar la toma de conciencia para
actuar con compromiso tico en
cualquier mbito de su vida.
Evaluacin:
Aplicar evaluacin, promediando los
resultados generados de los trabajos
desarrolladas durante la unidad.
Fuentes de informacin
Estructura de datos y algoritmos Alfred V. Aho John e. hopcroft Jeffrey D. Ullman
ISC-K0005.1
Estructura de datos y algoritmos Alberto Jaime Sisa.
ISC-K0006.1
Teora de Autmatas Lenguajes y Formales Dean Kelley
ISC-U0003
Apoyos didcticos:
Pizarrn
Can
Computadora
Plumones
Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.

REV. 0


Sem.
T. P
10
11
12
T.R.
= Evaluacin diagnstica. = Evaluacin formativa. = Evaluacin sumativa.TP= Tiempo planeado TR=Tiempo real
REV. 0
13
14
15
16



Competenci
a o Unidad:
Tema:
Expresiones Regulares
Unidad

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

siguiente escala.
Activacin:
Investigar Expresiones Regulares
Buscar 3 Definiciones formales de
una ER. Mencionar 3 ejemplos de
Investigar
las
expresiones
regulares y sus operaciones.
Generar cadenas a partir de una
expresin regular.
Obtener una expresin regular a
REV. 0
genricas
sntesis
planificar
16 hrs.


una ER.
Cuadrante CD CI
Investigacin acerca de los
metacaracteres:
-Que son los metacaracteres.
-Para expresiones regulares cuales
son el conjunto de metacaracteres
que existen.
-Que es una ER Bsica.
-Que es una ER Extendida.
Cuadrante CD CI
partir de un grupo de cadenas o

viceversa.
Obtener una expresin regular a
partir de la descripcin de un caso
de estudio.
Elaborar
por
equipo,
el
reconocimiento de expresiones
regulares mediante un lenguaje de
programacin o un analizador
lxico.
Caracteres Operadores de una
ER
carrera
computadora
analizar
informacin
Toma de decisiones.
Competencias
interpersonales
Capacidad crtica y autocrtica
Trabajo en equipo
Estndares de desarrollo para
la
implementacin
de
soluciones
ideas (creatividad)
-Dentro de los conjuntos de

caracteres individuales, menciona
que categoras se reconocen.
-Cules son los operadores ms
comunes y aceptados para la
construccin de ER.
REV. 0


gestionar proyectos
forma autnoma
Bsqueda del logro
-Buscar diferentes ejemplos de ER

Cuadrante CD
Tipos de Expresiones Regulares
-Que
son
las
Expresiones
Regulares Extendidas.
-Buscar
ejemplos
de
ER
extendidas.
-Que son las ER en GNU.
-Buscar
ejemplos
de
ER
extendidas.
Cuadrante LD
Cierre:
Evaluacin:
REV. 0



Apoyos didcticos:
Teora de Autmatas Lenguajes y Computacin John E. Hopcroft.
ISC-U0007 PEARSON ADDISON WESLEY.
Pizarrn
Can
Computadora
Plumones

Sem.
T. P
10
11
12
T.R.
REV. 0
13
14
15
16



Competenci
a o Unidad:
Tema:
Autmatas Finitos

Unidad
siguiente escala.
Crear un AF mediante un lenguaje de programacin.

Activacin:
Autmatas Finitos
Buscar la definicin de un
Autmata -Finito Determinista.
Determinar la notacin formal de
un AF.
Conocer la diferencia entre un
AFN y AFD.
Construir un AF a partir de un ER.
REV. 0
genricas
sntesis
planificar
16 hrs.


-Investigar de qu manera se
puede representar un AFD
Cuadrante CI CD
Representacin de Autmatas
Finitos Deterministas
Representar el siguiente AFD
Sea M1 = (Q, , , q0,F) donde
Q={p,q,r}, ={a,b}, Sea p el
estado inicial, F={r} y
definida como sigue:
(p,a)=q (p,b)=r
(q,a)=p (q,b)=q
(r,a)=r (r,b)=r
1.- En una Tabla
2.- En un Diagrama
Cuadrante CI CD LD
Construir un AF a partir de la
descripcin de un caso de estudio.
Convertir un AFN a AFD.
Minimizar estados en un AF.
Elaborar por equipo, la simulacin
de un AF mediante un lenguaje de
programacin.
carrera
computadora
analizar
informacin
Toma de decisiones.
Competencias
interpersonales
Capacidad
crtica
y
autocrtica
Trabajo en equipo
soluciones
ideas (creatividad)
Construccin de Autmatas Finitos
Deterministas
Construir un AFD sobre el
alfabeto ={0,1} cuyo lenguaje
sea
L={cadenas que terminan en
REV. 0


00}
Cuadrante CI CD LD

gestionar proyectos
forma autnoma
Bsqueda del logro
Los Autmatas Convexos.
En el AFD sobre el alfabeto realizar
un ejemplo de los siguientes
puntos.
- ESTADOS INACCESIBLES.
- AUTMATA CONEXO.
Cuadrante CI CD LD
Cierre:
Evaluacin:
Aplicar evaluacin, promediando
los resultados generados de los
trabajos desarrolladas durante la
unidad.
REV. 0


Apoyos didcticos:
Kelley, Dean, Teora de Automatas y Lenguajes Formales, Prentice Hall.
Brookshear. Teora de la Computacin, Lenguajes Formales,Autmatas y
Complejidad. Addison Wesley.
Pizarrn
Can
Computadora
Plumones
Diapositivas, Videos de tica y motivacional

Sem.
T. P
10
11
12
T.R.
REV. 0
13
14
15
16



Competenci
a o Unidad:
Tema:
Mquinas de Turing

Unidad
siguiente escala.
Disear y construir o simular una MT

Activacin:
Las Maquinas de Turing
-Buscar en dos libros de biblioteca
que es una Maquina de Turing.
identificar la notacin formal de
una MT
Construir una MT a partir de un
caso
Simular a travs de un lenguaje
REV. 0
genricas
sntesis
planificar
16 hrs.


-Cules son los 7 componentes de

una mquina de Turing.
Cuadrante CI LI
Construccin de una Maquina de
Turing
-Construccin modular de una MT.
Cuadrante CD
carrera
de alto
nivel, la representacin de una Comunicacin oral y escrita
MT.
computadora
analizar
informacin
Toma de decisiones.
Competencias
interpersonales
Capacidad
crtica
y
autocrtica
Trabajo en equipo
Lenguajes que acepta una MT
-Investigar
cuales
son
los
lenguajes aceptados por la MT.
Cmo se mide el tiempo de
ejecucin de un algoritmo?
soluciones
ideas (creatividad)
Cuadrante CI
Simulacin de Maquinas de
Turing
Simular a travs de un lenguaje de
alto nivel, la representacin de una
MT.
REV. 0



gestionar proyectos
forma autnoma
Bsqueda del logro
Cuadrante CI LI LD
Cierre:
Evaluacin:
Lenguajes Formales y Teora de la Computacin
ISC-U0004 MC GRAW HILL 3 edicin.
Apoyos didcticos:
John Martin
REV. 0
Pizarrn
Can
Computadora
Plumones



Sem.
T. P
10
11
12
T.R.
REV. 0
13
14
15
16



Competenci
a o Unidad:
Tema:
Anlisis Lxico
Unidad

Construir un analizador lxico a partir de un lenguaje de programacin o un
analizador lxico (p. e. Flex, Lex, JavaCC).

siguiente escala.
Elaborar
por
equipo,
la
identificacin
de
lexemas,
componentes lxicos y patrones a
Conocer los Analizadores Lxicos
partir de un lenguaje
Realizar un cuadro sinptico donde Conocer los elementos de una
se muestre los siguientes puntos:
Activacin:
REV. 0
genricas
sntesis
planificar
16 hrs.


1.-Funciones del analizador lxico

2.-Componentes lxicos, patrones y
Lexemas.
Cuadrante CD LD
Tablas de Tokens
- Realizar una Tabla de tokens.
Cuadrante CD CI
tabla de tokens.
Distinguir los Errores lxicos.
Definir las reglas de un lenguaje
de programacin propio.
Identificar patrones vlidos,
generar autmatas y tabla de
tokens del lenguaje propuesto.
Construir un analizador lxico
(utilizar un generador de analizador
lxico o un LP).
Errores en un Analizador Lxico
- Investigar cuales son los Errores
lxicos que se pueden originar.
Cuadrante CI
carrera
computadora
analizar
informacin
Toma de decisiones.
Competencias
interpersonales
Capacidad
crtica
y
autocrtica
Trabajo en equipo
soluciones
ideas (creatividad)
Generadores Lxicos
Investigar
cuales
son
los
Generadores de analizadores
Lxicos
Cuadrante CI LD
REV. 0



gestionar proyectos
forma autnoma
Bsqueda del logro
Cierre:
Evaluacin:
Autmatas Programables Josep Balcells, Jos Luis Romeral
ISC-U0002
Alfaomega maracombo
REV. 0
Apoyos didcticos:
Pizarrn
Can
Computadora
Plumones



Sem.
T. P
10
11
12
T.R.
REV. 0
13
14
15
16



Competenci
a o Unidad:
Tema:
Anlisis Sintctico
Unidad

Construir un analizador sintctico a partir de un lenguaje de programacin o un
analizador sintctico para el reconocimiento de gramticas

siguiente escala.
identificar la notacin formal de

una gramtica.
Buscar la sintaxis de la
Gramticas Libre de Contexto
construccin de los LP por medio
Investigar que es una Gramtica de GCL o utilizando notacin BNF
Libre de Contexto.
Activacin:
REV. 0
genricas
sntesis
planificar
16 hrs.


-Cul es su uso y exponer un (Backus-Naur Form).

ejemplo.
Investigar las formas normales de
Cuadrante CI LI
Chomsky.
Conocer la notacin de los
diagramas de sintaxis.
Construir diagramas de sintaxis
Arboles de derivacin
de un lenguaje.
Contestar el siguiente cuestionario
Construir una GLC a partir de los
de rboles de derivacin.
diagramas de sintaxis.
1.- Qu es un Lenguaje Libre de Eliminar la ambigedad de una
Contexto?
gramtica.
2.- Qu son los Arboles de
Distinguir los Errores sintcticos.
Derivacin?
Construir un analizador sintctico
3.- Relacione los elementos de un
(utilizar un generador de analizador
rbol de derivacin con sus
sintctico o un LP).
caractersticas.
4.- Seleccione los componentes de
los Arboles de Derivacin:
5.- Es verdadero o Falso que Toda
Gramtica Libre de Contexto (GIC)
puede ser transformada en un GIC
en Forma Normal de Chomsky
Cuadrante CD LI
carrera
computadora
analizar
informacin
Toma de decisiones.
Competencias
interpersonales
Capacidad
crtica
y
autocrtica
Trabajo en equipo
soluciones
ideas (creatividad)
Las
Formas
normales
de
Chomsky.
REV. 0



gestionar proyectos
forma autnoma
Bsqueda del logro
Realizar
en
equipo
una
investigacin de las Formas
normales de Chomsky. Exponer:
- Concepto de gramtica formal
- Tipos de Gramticas.
- Jerarqua de Chomsky.
- rboles de derivacin
- Ambigedad
- Recursividad
- Factorizacin a izquierdas
Cuadrante CI LD
Generacin de Matrices
Generacin de matriz predictiva
(clculo first y follow)
Cuadrante CI CD LD
Descripcin de la Actividad 5
Generadores de analizadores
sintcticos.
Cuadrante CI LI
REV. 0


Cierre:
Evaluacin:
Apoyos didcticos:
Lenguajes, Gramticas y Autmatas un enfoque prctico
Pedro Isasi, Paloma Martnez, Daniel Borrajo
ISC-U0008
REV. 0
Pizarrn
Can
Computadora
Plumones



Sem.
T. P
10
11
12
T.R.
REV. 0
13
14
15
16


Fecha de elaboracin: 20/08/13
Nombre del/la Docente
Vo. Bo.
Lic. Toms Gonzlez Alvarado
Jefe de Divisin de la carrera de
Ingeniera en Sistemas Computacionales
REV. 0

Instrumentación Didáctica para La Formación y Desarrollo de Competencias

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Instrumentación Didáctica para La Formación y Desarrollo de Competencias

Uploaded by

Copyright:

Available Formats

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

Organismo Pblico Descentralizado del Gobierno del Estado

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

Instrumentacin didctica para la formacin y desarrollo de competencias

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

3. Anlisis por unidad

Introduccin a la Teora de Lenguajes Formales.

Competencia especfica de la unidad

Criterios de evaluacin de la Competencia o

Expresar la notacin matemtica de un lenguaje formal.

1 criterio alcanzado---------------NA (No alcanzado)

Identificar alfabetos y lenguajes en

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

Obtener un alfabeto a partir de un

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

Capacidad para disear y

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

4. Anlisis por unidad

Competencia especfica de la unidad

Entregar el 100% de las evidencias solicitadas por el

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

partir de un grupo de cadenas o

-Dentro de los conjuntos de

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

-Buscar diferentes ejemplos de ER

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

Aplicar evaluacin, promediando los

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

5. Anlisis por unidad

Competencia especfica de la unidad

Criterios de evaluacin de la Competencia o

Crear un AF mediante un lenguaje de programacin.

1 criterio alcanzado---------------NA (No alcanzado)

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

Capacidad para disear y

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

Calendarizacin de evaluacin (semanas):Vase calendarizacin en el sistema SIE de nuestra Institucin.

INSTITUTO TECNOLGICO SUPERIOR DE SAN MARTN TEXMELUCAN

2013, Ao de la Lealtad Institucional y Centenario del Ejrcito Mexicano

6. Anlisis por unidad

Competencia especfica de la unidad

Criterios de evaluacin de la Competencia o

Disear y construir o simular una MT