| Nombre del curso: | Lenguajes y máquinas |
|---|---|
| Course Name: | |
| Créditos: | 3 |
| Profesor: |
Descripción
El curso es enseña 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 estudiar 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.
Objetivos
- 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 éstas.
- Usar lenguajes formales para definir las máquinas.
- Demostrar propiedades sobre estas máquinas.
Conocimientos previos
Condiciones de inscripción