La Teoría de la Computación es el fundamento para el entendimiento de los lenguajes formales ya que permitirá al estudiante diseñar compiladores para hardware específico. Esta asignatura proporciona los fundamentos matemáticos y algorítmicos para conocer las capacidades y limitaciones de las computadoras.