las metodologias

Vicerrectoría Académica

CONTENIDOS PROGRAMÁTICOS
FECHA: Primer Semestre Académico 2010
PROGRAMA ACADÉMICO

INGENIERIA DE SISTEMAS Y COMPUTACION

SEMESTRE

VI

ASIGNATURA

LENGUAJESFORMALES

CRÉDITOS

4

IHS - PRESENCIAL

4

IHS – NO PRESENCIAL

8

IHS = Intensidad Horaria Semanal

PRESENTACIÓN

JUSTIFICACIÓN

OBJETIVOS
General

Específicos

En estaasignatura se estudian modelos de máquinas
computacionales, gramáticas formales y los lenguajes
correspondientes, así como la aplicación de estos modelos a los
aspectos básicos del diseño de compiladores,el análisis léxico y el
análisis sintáctico. El alumno debe aprender y comprender la
forma en que funciona cada autómata y la correspondencia entre
autómatas, lenguajes y gramáticas.
Losconocimientos que se adquieren en esta asignatura
proporcionan la base teórica para el diseño de compiladores,
considerados como traductores de lenguajes formales. Además, los
autómatas constituyen unaimportante herramienta en el diseño de
protocolos de comunicaciones. Por otra parte, la asignatura es
fundamental para el estudio de la computabilidad y complejidad de
problemas.
Uno de los camposfundamentales en ciencias de la computación esta
relacionado con la teoría de autómatas y Lenguajes formales. Este
campo tiene bastante aplicabilidad como fundamento para el
desarrollo decompiladores y hoy en día son muchas las aplicaciones
existentes que aplican los conceptos de autómatas, gramática y
expresiones regulares.

El objetivo fundamental es dotar al alumno de los conocimientosteóricos y
prácticos necesarios para entender autómatas, gramáticas y lenguajes.
Conocimientos imprescindibles para realizar infinidad de aplicaciones prácticas,
entre las que se encuentra el diseñode traductores fiables ya sea con el fin de
escribir intérpretes y compiladores completos o simplemente escribir el autómata
determinista que necesita una aplicación para funcionar.

•
•

Que...