Información del curso

En el estudio de la ingeniería de sistemas y computación, el conocimiento sobre las formas de interacción entre el ser humano y la máquina es fundamental para entender cómo responde el computador a las solicitudes de un usuario. Por ello, es crucial comprender cómo se establece esta comunicación, desde la tipología de entradas de datos hasta su correspondiente salida, considerando una estructura de enlace común entre las partes, es decir, un lenguaje con una organización claramente definida (formal), que permita la transmisión de mensajes entre emisor y receptor.

 En esta asignatura, se estudiarán los modelos de creación y validación de estos lenguajes formales concretamente, tanto las gramáticas formales como sus correspondientes máquinas de comprobación, los autómatas finitos. Además, se analizará la aplicación de estos modelos en los aspectos básicos del diseño de compiladores, considerando su arquitectura y clasificación. Todo esto con el objetivo de que, al finalizar el curso, el estudiante sea capaz de comprender cómo funciona un compilador, así como su correspondencia y aplicabilidad en el contexto del desarrollo de aplicaciones.