Este proyecto contiene las notas de conferencias, preparaciones metodológicas, y algunos ejercicios y sugerencias para clases prácticas, de un curso introductorio a la teoría de lenguajes formales y compiladores para estudiantes de Ciencia de la Computación. Puedes comenzar a leer aquí.
Este proyecto está diseñado para ser compilado con pandoc y pweave. Ejecutando make en la carpeta raíz se obtendrán todos los documentos necesarios. Para conocer los requisitos de compilación, consulta la ayuda de pandoc y pweave.
Este documento es un proyecto incompleto y probablemente siempre lo será. Por tanto, es inevitable que tenga errores, algunos menores (sintácticos, como errores ortográficos o gramaticales) y otros mayores (semánticos, como demostraciones incompletas, códigos incorrectos); y probablemente siempre los tendrá. Cualquier sugerencia de adición, eliminación o corrección será sumamente agradecida, a veces incluso con exámenes de premio o créditos para convalidar preguntas (aunque para esto es necesario realizar contribuciones extremadamente útiles).