Programa De Curso - Lenguajes Formales y Automatas
Páginas: 2 (481 palabras)
Publicado: 24 de abril de 2011
PROGRAMA DE CURSO
INFORMACION GENERAL
NOMBRE DE LA ASIGNATURA | Lenguajes Formales y Automatas |
CRÉDITOS ACADÉMICOS | 4 |
HORARIO / SALÓN | Lunes 10:15 a 11:45, Miércoles 10:15 a 11:55 |CICLO LECTIVO | Primer Ciclo 2010 |
NOMBRE DEL CATEDRÁTICO | Ing. Byron Anléu |
CORREO ELECTRÓNICO DEL CATEDRÁTICO | byronanleu@gmail.com |
DESCRIPCIÓN
El curso es principalmenteteórico, jugando un papel secundario el desarrollo de algoritmos. Presenta las distintas familias de lenguajes formales, los mecanismos para definirles y los tipos de máquinas correspondientes para sureconocimiento. Al final del mismo, el alumno debe demostrar la asimilación de los conceptos mediante la resolución de problemas así como la realización de proyectos en el computador. Finalmente, el cursosirve de introducción para el estudio de compiladores en la asignatura del mismo nombre.
OBJETIVOS
El objetivo general de la asignatura es permitir al alumno conocer los lenguajes deprogramación desde un punto de vista formal, y no como meros usuarios. Este objetivo se puede considerar constituido por los siguientes objetivos específicos:
* Conocer los fundamentos y propiedades de loslenguajes formales.
* Utilizar los distintos mecanismos (expresiones regulares, gramáticas independientes del contexto y gramáticas generales) en la definición de los lenguajes formales.
*Conocer las posibilidades y limitaciones de los distintos mecanismos formales.
* Utilizar los distintos tipos de máquinas (autómatas finitos, autómatas de pila y máquinas de Turing) para elreconocimiento de los lenguajes formales.
* Sentar las bases, tanto formales como de diseño, para abordar posteriormente la implementación de compiladores e intérpretes.
* Aplicar estosconceptos en la definición de lenguajes de programación de alto nivel.
CONTENIDO DEL CURSO
A. PRELIMINARES MATEMÁTICOS.1. Lógica elemental.2. Teoría de conjuntos.3. Relaciones y...
INFORMACION GENERAL
NOMBRE DE LA ASIGNATURA | Lenguajes Formales y Automatas |
CRÉDITOS ACADÉMICOS | 4 |
HORARIO / SALÓN | Lunes 10:15 a 11:45, Miércoles 10:15 a 11:55 |CICLO LECTIVO | Primer Ciclo 2010 |
NOMBRE DEL CATEDRÁTICO | Ing. Byron Anléu |
CORREO ELECTRÓNICO DEL CATEDRÁTICO | byronanleu@gmail.com |
DESCRIPCIÓN
El curso es principalmenteteórico, jugando un papel secundario el desarrollo de algoritmos. Presenta las distintas familias de lenguajes formales, los mecanismos para definirles y los tipos de máquinas correspondientes para sureconocimiento. Al final del mismo, el alumno debe demostrar la asimilación de los conceptos mediante la resolución de problemas así como la realización de proyectos en el computador. Finalmente, el cursosirve de introducción para el estudio de compiladores en la asignatura del mismo nombre.
OBJETIVOS
El objetivo general de la asignatura es permitir al alumno conocer los lenguajes deprogramación desde un punto de vista formal, y no como meros usuarios. Este objetivo se puede considerar constituido por los siguientes objetivos específicos:
* Conocer los fundamentos y propiedades de loslenguajes formales.
* Utilizar los distintos mecanismos (expresiones regulares, gramáticas independientes del contexto y gramáticas generales) en la definición de los lenguajes formales.
*Conocer las posibilidades y limitaciones de los distintos mecanismos formales.
* Utilizar los distintos tipos de máquinas (autómatas finitos, autómatas de pila y máquinas de Turing) para elreconocimiento de los lenguajes formales.
* Sentar las bases, tanto formales como de diseño, para abordar posteriormente la implementación de compiladores e intérpretes.
* Aplicar estosconceptos en la definición de lenguajes de programación de alto nivel.
CONTENIDO DEL CURSO
A. PRELIMINARES MATEMÁTICOS.1. Lógica elemental.2. Teoría de conjuntos.3. Relaciones y...
Leer documento completo
Regístrate para leer el documento completo.