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 y expresiones regulares. 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.