6082 ALGORITMIA AVANZADA

UNIVERSIDAD DE LOS LLANOS VICERRECTORIA ACADEMICA

SECRETARIA TECNICA DE ACREDITACION

FACULTAD: FACULTAD DE CIENCIAS BSICAS E INGENIERA PREGRADO: INGENIERA DE SISTEMAS POSTGRADO:

Nro CARACTERISTICAS INFORMACION 1 DENOMINACION DEL CURSO: ALGORITMIA AVANZADA 2 CODIGO: 601485 3 AREA: FORMACIN PROFESIONAL 4 CURSO PROGRAMATICO: 5 PERIODO ACADEMICO: 6 NATURALEZA TEORICO-PRACTICA 7 CARCTER: OBLIGATORIO 8 CREDITOS: 4 9 TOTAL INTENSIDAD HORARIA 192 Intensidad de trabajo presencial 64 Intensidad de trabajo independiente 128

10. JUSTIFICACION:

Los lenguajes formales y la relacin entre ciertas clases de lenguajes y clases de autmatas es uno de los aspectos fundamentales en ciencias de la computacin, por cuanto esto tiene aplicacin no slo en los lenguajes de programacin sino tambin en la programacin misma.

11. PROPOSITOS: Adquirir una visin general de las tcnicas de implementacin de traductores de

lenguajes de programacin para su posterior desarrollo en cualquier lenguaje o con la ayuda de herramientas (Lex, Yacc).

Comprender las ventajas y desventajas de los compiladores e interpretes comprender los fundamentos bsicos de los lenguajes formales, sus propiedades y

mecanismos de representacin entender el funcionamiento de las gramticas como generadores de lenguajes y

diferenciar sus tipos destacar el papel de los autmatas en el reconocimiento de lenguajes y distinguir

entre los diferentes tipos de autmatas relacionar tipos de lenguajes con autmatas y gramticas, sobre todo para lenguajes

regulares y libres de contexto introducir herramientas avanzadas de representacin de lenguajes comprender y analizar algoritmos bsicos en el contexto de lenguajes formales Conocer las fases de compilacin de un lenguaje Apropiarse de las propiedades principales que caracterizan a los lenguajes

UNIVERSIDAD DE LOS LLANOS VICERRECTORIA ACADEMICA

SECRETARIA TECNICA DE ACREDITACION

estudiados y aplicarlas cuando corresponda.

12. COMPETENCIAS QUE DESARROLLARA EL CURSO:

Saber especificar autmatas que reconozcan lenguajes regulares. Saber definir gramticas que generen lenguajes regulares. Saber especificar autmatas que reconozcan lenguajes independientes del

contexto. Saber definir gramticas que generen lenguajes independientes del contexto. Tanto para lenguajes regulares como para lenguajes independientes del contexto,

ser capaz de convertir el mecanismo reconocedor en el mecanismo generador, y viceversa.

13. DIMENSIONES DE LAS COMPETENCIAS QUE DESARROLLA: COGNITIVA PRAXIOLOGICA ACTITUDINAL COMUNICATIVA

Conoce la teora de lenguajes formales y autmatas, asi como su solucin y aplicacin.

Soluciona ejercicios de minimizacin de autmatas, conversin de expresiones regulares en autmatas y viceversa.

Capacidad de resolver problemas de lenguajes formales por medio de expresiones regulares y autmatas.

Trabaja colaborativamente con los compaeros de clase por medio de talleres grupales y resolucin de ejercicios.

Conoce los fundamentos tericos del funcionamiento de analizadores lxicos, interpretes y compiladores.

Implementa soluciones de software aplicando expresiones regulares y/o autmatas finitos.

Conoce e implementa herramientas de software para anlisis lxico, sintctico y semntico.

14. UNIDADES TEMATICAS: UNIDAD TEMATICA ESTRATEGIA

PEDAGOGICA RECURSOS PEDAGOGIC

OS

TIEMP.

PRES.

TIEMP. INDEP.

UNIVERSIDAD DE LOS LLANOS VICERRECTORIA ACADEMICA

SECRETARIA TECNICA DE ACREDITACION

Introduccin

Evolucin histrica de la Teora de la Computacin

Fundamentos Matemticos

Clase magistral 4 8

LENGUAJES Y GRAMATICAS FORMALES

Alfabetos y palabras Lenguajes formales Gramticas formales Nociones bsicas sobre

traductores

Clase magistral 8 16

EXPRESIONES REGULARES

Definicin de expresin regular

Lenguaje descrito por una expresin regular

Propiedades de las expresiones regulares

Derivada de una expresin regulares

Ecuaciones de expresiones regulares

Expresiones regulares y gramticas regulares

Clase magistral 12 24

AUTOMATAS FINITOS

Arquitectura de un autmata finito (AF )

Autmatas finitos deterministas

Autmatas finitos no deterministas

Autmatas finitos con -transiciones

Lenguaje aceptado por un

Clase magistral 14 28

UNIVERSIDAD DE LOS LLANOS VICERRECTORIA ACADEMICA

SECRETARIA TECNICA DE ACREDITACION

AF Equivalencia entre

autmatas finitos Autmatas finitos,

expresiones regulares y gramticas regulares

Minimizacin de un AFD Aplicaciones: anlisis lxico

GRAMATICAS LIBRES DEL CONTEXTO

Definiciones bsicas Transformaciones en

gramticas libres del contexto

Formas Normales

Clase magistral 13 26

INTRODUCCION AL ANALISIS SINTACTICO

Objetivo del analizador sintctico

Problema de la ambigedad en el anlisis sintctico

Anlisis sintctico ascendente y descendente

Mtodo de anlisis CYK Anlisis sintctico

determinista

Clase magistral 13 26

15. SISTEMA DE EVALUACION

Las pruebas consideradas en el curso para evaluar las competencias son : Prueba oral, Prueba escrita, pruebas apoyadas en guas de observacin, escalas de actitudes, cuestionarios, entrevistas, y finalmente las pruebas basadas en el anlisis y verificacin de la actuacin real o simulada o en la apreciacin de la calidad de productos terminados. Estos tipos de pruebas, se clasifican como: PARCIALES, evalan el desarrollo progresivo del estudiante durante el semestre y FINALES que evalan el desarrollo de las competencias propuestas por el curso, al final del periodo acadmico.

UNIVERSIDAD DE LOS LLANOS VICERRECTORIA ACADEMICA

SECRETARIA TECNICA DE ACREDITACION

16. FUENTES BIBLIOGRAFICAS: John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. Introduccin a la teora de

autmatas, lenguajes y computacin. Segunda edicin, Addison-Wesley, 2002 Aho; Sethi, Y Ullaman, Compiladores: principios, tcnicas y herramientas. Editorial

Addison-Wesley Lemmone Karen, Compiladores. Editorial Alfa Pedro Isasi, Paloma Martnez, Daniel Borrajo. Lenguajes, Gramticas y Autmatas.

Un enfoque prctico. Addison-Wesley, ISBN 84-7829014-1, 1997-2001 (Signatura OUR 681.34/13).

Manuel Alfonseca, Justo Sancho, Miguel Martnez Orga. Teora de Lenguajes, Gramticas y Autmatas. Universidad y Cultura, 1990 (Signatura: OUR 681.34/31).

16.1 FUENTES DE CONSULTA BASICA "Teora de autmatas y lenguajes formales. ", Dean Kelley ; traduccin Ma Luisa

Dez Platas ; revisin tcnica Luis Joyanes Aguilar. Ed. Prentice Hall, Madrid [etc.] . 1995. ISBN: 0-13-518705-2.

"Teora de la computacin : Lenguajes formales, autmatas y complejidad. ", J. Glenn Brookshear. Ed. Pearson Educacin, Mxico [etc.]. cop.1999. ISBN: 968-444-384-6.

"Teora de la computacin : lenguajes formales, autmatas y complejidad. ", Brookshear, J. Glenn. Ed. Pearson Educacin, Mxico. 1999. ISBN: 968-444-384-6.

Curso teoria de la computacin. Rodrigo Di Castro. UNVirtual. http://www.virtual.unal.edu.co/cursos/ciencias/2001018/index.html

TEORA DE AUTMATAS Y LENGUAJES FORMALES. Departamento de Ingeniera de la Informacin y las Comunicaciones. Universidad de Murcia. Disponible en: http://ing.angel.googlepages.com/TEORIA_DE_AUTOMATAS_Y_LENGUAJES_FORM.pdf

16.2 FUENTES DE CONSULTA PARA PROFUNDIZACION: Introduction to automata theory, languages and computation. ", John E. Hopcroft,

Rajeev Motwani, Jeffrey D. Ullman. Ed. Addison-Wesley, Boston [etc.]. cop.2001. ISBN: 0-201-44124-1.

"Introduction to languages and the theory of computation. ", John C. Martin. Ed. McGraw-Hill, New York [etc.] . cop.2003. ISBN: 0-07-119854-7 (International ed.).

17. RECURSOS Y MEDIOS TECNOLOGICOS:

Internet y sala de computacin Video-beam

UNIVERSIDAD DE LOS LLANOS VICERRECTORIA ACADEMICA

SECRETARIA TECNICA DE ACREDITACION

Sistema Operativo Linux Yacc y Lex.

18. RECURSOS HUMANOS (Equipo profesional que participar en el desarrollo del curso)

Profesional en Ingenieria de Sistemas o Ciencias de la Computacin con conocimientos tericos y prcticos en teora de lenguajes formales y autmatas, compiladores, interpretes y anlisis lxico.