FORMATO Nº 6 PROGRAMA DE ESTUDIOS

FORMATO Nº 6
PROGRAMA DE ESTUDIOS
Universidad Popular Autónoma del Estado de Puebla
NOMBRE DE LA INSTITUCIÓN
PROGRAMA ACADÉMICO
ASIGNATURA
NIVEL EDUCATIVO
MODALIDAD
Licenciatura en Ingeniería de Software
Teoría de Autómatas
Licenciatura
ESCOLARIZADA (X)
CLAVE DE LA ASIGNATURA
NO ESCOLARIZADA
LTI008
SERIACIÓN
()
MIXTA ( )
LTI003
CICLO:
HORAS
CONDUCIDAS
64
HORAS
INDEPENDIENTES
TOTAL DE HORAS
POR CICLO
64
128
CRÉDITOS
8
PROPÓSITOS GENERALES DE LA ASIGNATURA
1. CONCEPTUALES (SABER)
Identifica los conceptos básicos necesarios de la teoría de la computación
Saca soluciones de problemas con máquinas abstractas
Relaciona la teoría de la computación con la construcción de compiladores
2. PROCEDIMENTALES (SABER HACER)
Maneja los conceptos que involucran lenguajes formales y máquinas abstractas
Elabora modelos abstractos
Simula el comportamiento de las máquinas sobre una cadena de entrada
3. ACTITUDINALES Y VALORALES (SER/ESTAR)
Se interesa por la parte formal de la computación
Se da cuenta de todo lo que involucra la construcción de un compilador
HOJA:
1
DE
4
PROGRAMA ACADÉMICO:
Licenciatura en Ingeniería de Software
ASIGNATURA:
Teoría de Autómatas
COMPETENCIAS DE LA ASIGNATURA
Plantea soluciones de forma estructurada
Modela soluciones con modelos abstractos
Fortalece la capacidad de abstracción y modelado
Generar una forma de pensar estructurada y lógica
TEMAS Y SUBTEMAS
1. Introducción
1.1 Operación con funciones
1.2 Relaciones y funciones
1.3 Inducción
PROPÓSITOS DE LOS TEMAS Y
SUBTEMAS
Reconoce las operaciones y propiedades de
las funciones y las utiliza en la solución de
problemas relacionados para fortalecer el
conocimiento adquirido
2. Alfabetos y lenguajes
2.1 Alfabetos, palabras y lenguajes
2.2 Operaciones con cadenas
2.3 Operaciones con lenguajes
Reconoce las operaciones y propiedades de
los lenguajes formales y las utiliza en la
solución de problemas relacionados para
fortalecer el conocimiento adquirido
3. Lenguajes Regulares
3.1 Lenguajes sobre alfabetos
3.2 Lenguajes regulares y expresiones
regulares
3.3 Autómata finito determinista
3.4 AFD y lenguajes
3.5 Autómata finito no determinista
3.6 Equivalencias de AFN y AFD
3.7 Autómatas finitos y expresiones
regulares
3.8 Propiedades de los lenguajes
regulares
Identifica la diferencia entre autómatas finitos
deterministas y no deterministas, ilustrando
su utilización, para la solución de problemas
de reconocimiento del lenguaje
4. Lenguajes Independientes del Examina las limitantes que se tienen al
Contexto
utilizar
un
autómata
sin
memoria
4.1 Gramáticas regulares
diferenciando las propiedades de los
4.2 Gramáticas regulares y lenguajes
lenguajes regulares y de los lenguajes
regulares
independientes del contexto, para resolver
4.3 Gramáticas independientes del
problemas con autómatas de pila.
contexto
4.4 Árboles de derivación
4.5 Simplificación de gramáticas
independientes del contexto
4.6 Propiedades de los lenguajes
HOJA:
2
DE
4
PROGRAMA ACADÉMICO:
Licenciatura en Ingeniería de Software
ASIGNATURA:
Teoría de Autómatas
independientes del contexto
4.7 Autómata de Pila
Autómata de Pila y lenguajes
independientes del contexto
.
5. Máquinas de Turing
5.1 Máquinas
de
Turing
como
aceptadoras de lenguajes
5.2 Construcción de máquinas de Turing
5.3 Modificadores de las máquinas de
Turing
5.4 Máquinas de Turing Universales
Examina las características del modelo de la
máquina de Turing, asociando el modelo
abstracto con las computadoras actuales,
para la construcción de máquinas que
realizan operaciones sobre cadenas.
6. Compiladores
6.1
Introducción
al
proceso
de
compilación.
6.2 Lenguajes y tipos de traductores.
6.3 Estructura de un compilador y fases
de compilación.
6.4 Herramientas para el desarrollo de
un compilador
Infiere el uso de los modelos formales en la
construcción de compiladores explicando su
posible uso cada etapa del compilador para
su construcción
METODOLOGÍA CON LA QUE SE VA A DESARROLLAR LA ASIGNATURA
ESTRATEGIAS DE
ACTIVIDADES DE
ESTRATEGIAS DE
ENSEÑANZA
APRENDIZAJE
EVALUACIÓN.
NORMAS Y
PROCEDIMIENTOS
HOJA:
3
DE
4
PROGRAMA ACADÉMICO:
Licenciatura en Ingeniería de Software
ASIGNATURA:
Teoría de Autómatas
Realizar exposiciones,
talleres de solución de
problemas y foros de
discusión
Lectura y estudio de los
materiales de Blackboard.
Realización de tareas.
Búsqueda en Internet,
Blackboard o materiales
bibliográficos.
Exposición y discusión del
resultado de la investigación
en clase.
La participación y
retroalimentación en grupo
para la solución de
ejercicios en clase.
Participación en Foros de
Discusión.
Talleres y trabajos en
equipo.
RECURSOS DIDÁCTICOS



Pizarrón, gis o plumón
Cañón y Computadora
Uso de Blackboard
Mecanismos:
Evaluación Diagnóstica:
Preguntas intercaladas para
conocer los conocimientos
que tienen los alumnos
acerca de la asignatura
Evaluación Formativa:
Tareas, exámenes sorpresa
y talleres de solución de
problemas
Evaluación Sumativa:
Exámenes parciales
Normas:
Los exámenes sorpresa,
podrán efectuarse sin previo
aviso preguntas orales o
escritas durante el
transcurso de la clase. Las
preguntas escritas se
aplicarán a todo el grupo y
las orales se aplicarán
individualmente.
En los talleres se realizaran
ejercicios teórico – prácticos
durante la clase, y se
tomará en cuenta el
desarrollo y terminación de
estos en el tiempo
estipulado.
Estrategias de evaluación:
Se realizarán 4 exámenes
parciales cada uno con valor
del 15% de la calificación
final. Los exámenes se
realizarán al término de
cada tema.
Porcentajes:
Tareas y Exámenes
sorpresa. 20%
Talleres 20%
Exámenes Parciales 60%
HOJA:
4
DE
4
PROGRAMA ACADÉMICO:
Licenciatura en Ingeniería de Software
ASIGNATURA:
Teoría de Autómatas
BIBLIOGRAFÍA (IMPRESA O ELECTRÓNICA) FORMATO A.PA.
Kelley Dean,(1995) Teoría de Autómatas y Lenguajes Formales; Pearson / Addison
Wesley
Hopcroft J.E; Motwani R., Ullman J.; (2007); Introducción a la Teoría de Autómatas,
Lenguajes y Computación; (3a. Ed.); Madrd España, Pearson / Addison Wesley
Aho Alfred V., Lam M., Seit R., Ullman J.;(2007); Compiladores principios, técnicas y
herramientas; (2a. Ed.) México D.F; Pearson / Addison Wesley
Alfonseca Enrique, Alfonseca Manuel, (2007); Teoría de Autómatas y Lenguajes
Formales; (1a. Ed.) Madrid España; McGraw Hill
Veerarajan T.; (2008); Matemáticas Discretas con teoría de gráficas y combinatoria; (1a.
Ed.) México D.F. McGraw Hill
Linz Peter; (2011); An Introduction to Formal Languages and Automata; (5a. Ed.) U.S
Jones & Bartlett Learning;
PERFIL DEL DOCENTE REQUERIDO
GRADO ACADÉMICO , CONOCIMIENTOS, HABILIDADES Y ACTITUDES
Doctor o maestro en matemáticas y/o tecnologías de información y/o ingeniería en
sistemas computacionales y/o áreas afines.
EXPERIENCIA DOCENTE
Experiencia docente a nivel licenciatura en el área mínima de 3 años
Competencias pedagógicas conocimientos y habilidades didácticas para favorecer el
desarrollo del aprendizaje significativo.
Competencias comunicativas, saber informar y comunicar el aprendizaje así como
utilizar eficientemente los medios de información.
Competencias para la orientación educativa y profesional.
EXPERIENCIA PROFESIONAL
Experiencia profesional mínima de 2 años en áreas afines a la ingeniería en sistemas
computacionales y tecnología de la información.