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.  

Créditos

3

Periodo en el que se ofrece el curso

201710 - 201720

Idioma en el que se ofrece el curso

Español