ISIS 1106 Lenguajes y Máquinas
El objetivo de este curso es enseñar los conceptos básicos de la teoría de lenguajes a través de los formalismos usados para describir los lenguajes y las máquinas usadas para reconocerlos. Se pretende ver el uso de estas máquinas en dominios distintos a los lenguajes. Finalmente se verán otras máquinas abstractas y su utilidad en modelaje. Al final del curso los estudiantes deberán ser capaces de: Entender los distintos formalismos usados para definir lenguajes Modelar problemas sencillos con distintos tipos de máquinas abstractas. Entender las limitaciones de cada una de estas. Usar lenguajes formales para definir las máquinas. Demostrar propiedades sobre estas máquinas.
Instructor
Takahashi Silvia
Página del catálogo en este curso