Lenguajes Formales y Autómatas
Datos generales de la asignatura
Nombre de la asignatura:
Lenguajes Formales y Autómatas
Nivel académico:
Licenciatura
Área:
ÁREA I - FÍSICO-MATEMATICAS E INGENIERÍAS
Modalidad:
Escolarizado
Semestre o año:
4
Clave de asignatura:
1670
Plan de estudios:
2006
Dependecias:
• FACULTAD DE CIENCIAS
Subdependencia: FACULTAD DE CIENCIAS
Subdependencia: FACULTAD DE CIENCIAS
Objetivo
Éste es un curso introductorio a la Teoría de la Computación. Se estudian diferentes modelos de cómputo (y problemas que pueden resolver), todos enmarcados en una jerarquía que irá apareciendo naturalmente conforme avancemos con el temario hasta llegar a la Máquina de Turing. Cada nivel de la jerarquía estará descrito por una máquina abstracta, un lenguaje formal y una gramática formal.
Este curso, además de ayudar a las personas estudiantes a obtener una noción formal de cómputo permite adquirir herramientas necesarias para desempeñarse satisfactoriamente en cursos como Complejidad Computacional y Compiladores. Utilizaremos el temario oficial del curso como guía.
