UNIVERSIDAD NACIONAL DEL ALTIPLANO - Universidad de Chile

UNIVERSIDAD NACIONAL DEL ALTIPLANOFACULTAD DE INGENIERÍA MECÁNICA ELÉCTRICA, ELECTRÓNICA Y SISTEMASI. IDENTIFICACIÓN ACADÉMICA.ESCUELAPROFESIONALDE INGENIERÍADE SISTEMASDEPARTAMENTO ACADÉMICO DE INGENIERÍA DE SISTEMASSILABO1.1 Asignaturaa) Nombre : Teoría de Lenguajes y Autómatasb) Código : 313.c) Prerrequisito (s) : 301 [Análisis y Diseño de Algoritmos].d) Número de Horas : Teóricas 03 + Prácticas 02 = Total 05e) Créditos : 4.f) Año y Sem.Académico : 2011-II – SEPTIMO semestre.g) Duración de la Asignatura : Del 19 de diciembre 2011 al 01 de junio del 2012.h) Área Curricular : Formación Profesional Específico.i) Condición : Obligatorio.j) Grupo : “Único”.1.2 Docentea) Nombres y Apellidos : Ing. Oliver Amadeo Vilca Huayta.b) Condición : Nombrado.c) Categoría : Asociado.d) Especialidad : Magíster - Ciencias de la Computación.1.3 Ambiente donde se realiza el aprendizaje.Aula N. : 301 Pabellón: EPIS.Laboratorio : Lab 4. [403-EPIS].II.SUMILLA Y CONTENIDOS TRANSVERSALES.a) Sumilla. El curso es fundamental para comprender la importancia de los lenguajes y suclasificación. Conocer los problemas que puede resolver un computador a través de diversosmodelos de computación. Saber cuan rápido se puede computar (calcular). Los conceptosadquiridos servirán posteriormente para profundizar los temas en el curso de Compiladores(construcción de analizador léxico, sintáctico y generador de código). La importancia de crearun lenguaje y sus analizadores, es debida a la creciente tendencia de los interfaces orientados acomandos para Sistemas de Información. En investigación: Anualmente se desarrolla laconferencia internacional: “Language and Automata Theory and Applications (LATA)”, este añoesta en su sexta versión a realizarse en Coruña España del 05 al 09 de marzo del 2012(proceedings publicado por Springer).b) Contenidos tranversales.1. Formación ética y de compromiso social.2. Desarrollo de una cultura de comunicación e información.III.COMPETENCIAS.Define y conoce lenguajes y autómatas utilizando diversos principios y técnicas, demostrandoobservación y responsabilidad. Define y conoce la Máquina de Turing y la complejidad computacional utilizando diversosprincipios y técnicas, actuando con creatividad y eficiencia. Implementa aplicativos utilizando diversos principios y técnicas de la teoría de lenguajes yautómatas, demostrando criterio y eficiencia.Pág. 1

VI. ESTRATEGIAS MÉTODOS Y TÉCNICAS DIDÁCTICAS (Diseño Metodológico).Estrategias:• Resumen.• Ilustraciones.Métodos:• Método Académico Universitario: Clase Magistral o Curso Magistral.Técnicas:• Técnica Expositiva.VII. MEDIOS Y MATERIALES Y DIDÁCTICOS.• Textos.• Programas para computadoras.VIII. EVALUACIÓN Y REQUISITOS DE APROBACIÓN.Capacidades yActitudesCapacidades123Actitudes123Indicadores Técnicas Instrumentos Ponderación1. ExamenPrueba Escrita90%2. ExamenPrueba Escrita1. Observación Escala/Evaluación10%2. Observación Escala/EvaluaciónCriterio de evaluación: De acuerdo a lo establecido en la Estructura Curricular de la Escuela Profesional.- Haber participado en todas las evaluaciones programadas con fecha previamente anticipada.- Haber asistido regularmente a las sesiones de clases teóricas y prácticas programadas.Calificación: El promedio final se obtendrá mediante la siguiente formula:PROMEDIO_FINAL = 0.9 (PROMEDIO_CAPACIDADES) + PROMEDIO_ACTITUDESVIII. BIBLIOGRAFÍA GENERALAdrian Horia Dediu, Carlos Martín-Vide & Inenaga, Shunsuke. (2011). Language and Automata Theoryand Applications. Proceedings 5th International Conference. Spain: Volume 6638, 512 pp.Adrian-Horia Dediu & Carlos Martín-Vide (2012). Language and Automata Theory and Applications.Proceedings 6th International Conference. España: Volumen 7183, 556 pp.Aho, Alfred V., Lam, Monica S., Sethi, Ravi & Ullman, Jeffrey D. (2008) Compiladores, Principios,Técnicas y Herramientas. México: Segunda Edición, Pearson Educación.Hopcroft, John, Motwani Rajeev & Ullman, Jeffrey. (2007). Introduction to Automata Theory,Languages, and Computation. 3th edition. Pearson.Kelley, Dean. (1995). Teoría de Autómatas y Lenguajes Formales. Pretince Hall.Louden, Kenneth. (2004). Construcción de Compiladores – Principios y Práctica. InternationalThompson Editores. Traducción de [Compiler Construction. Principles and Practice]Lewis, H. R., y Papadimitriou, C. H. (1998). Elements of the Theory of Computation. (2da Edición).Pretince Hall. [Bibliografía Base]Papadimitriou, Christos H. (1994). Computational Complexity. Addison – Wesley Publishing Company.Pág. 3