Esta asignatura se ubica en el tramo final de la línea curricular iniciada con Fundamentos de la Programación. Se aborda el núcleo teórico fundamental de las Ciencias de la Computación: la teoría de la computabilidad.
Esta teoría estudia los problemas de decisión que pueden ser resueltos por un algoritmo ( o equivalentemente por una máquina de Turing) y explora las limitaciones de las computadoras al establecer qué tipos de problemas pueden ser resueltos por una máquina.
Mediante el estudio de la teoría de la complejidad algorítmica el alumno dispone de un marco de referencia para clasificar problemas y saber qué modelo de cálculo requieren y lograr diseñar algoritmos eficientes, según el tipo de problemas.
Se ofrece una introducción a la Teoría de Lenguajes Formales y Autómatas, cuyo núcleo consiste en la jerarquía de lenguajes definida por Chomsky y sus modelos de representación.
Paralelamente a la jerarquía de lenguajes existe otra equivalencia de máquinas abstractas, de tal forma que a cada una de las clases de lenguajes definidas en la jerarquía de Chomsky, a partir de restricciones impuestas a las gramáticas, le corresponde un tipo de máquina abstracta, que no es otra cosa que un método reconocedor de lenguajes.
Esta asignatura proporciona la justificación teórica de los instrumentos necesarios para la construcción de compiladores.

Además, las ideas y técnicas correspondientes al tema Compiladores pueden ser utilizadas en el desarrollo de software de aplicación general.
El valor formativo de todos los conceptos desarrollados en la asignatura es esencial en dos aspectos: para sustentar una posterior profundización de la Teoría de la Computabilidad y el diseño de Compiladores e Intérpretes y además para proveer una base sólida para el cabal ejercicio profesional.

Generales:

Que el estudiante logre conocer, comprender y manejar conceptos y técnicas vinculados con la Teoría de la Computabilidad, Teoría de Lenguajes y la Teoría de Autómatas.

Específicos:

Que los estudiantes logren:
a) Identificar los conceptos constructivos de la Teoría de Algoritmos.
b) Habilidad para formalizar problemas.
c) Capacidad para determinar la eficiencia de los algoritmos.
d) Habilidad para generar y reconocer gramáticas y lenguajes de distinto tipo.
e) Determinar las equivalencias entre los lenguajes formales, las gramáticas formales, las expresiones regulares y las máquinas reconocedoras.
f) Capacidad para construir compiladores/intérpretes sencillos.