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.
Periodo en el que se ofrece el curso
201710 - 201720
Idioma en el que se ofrece el curso
Español
Página del catálogo en este curso