Modelos de computación 2021/2022

Material adicional

Ejemplos de Lex

• Un lenguaje de marcado para edición de vídeo
• Un clasificador de idiomas
• Un compilador de cálculo lambda
• Un lenguaje de comandos para gráficos de gnuplot
• Un “indentador” de código C
• Un resaltador de código C

Recursos

• Para dibujar máquinas de estados/autómatas:
  • Dot, un lenguaje de descripción de grafos
  • Finite state machine designer - Herramienta para dibujar autómatas y obtener LaTeX o imágenes
• Simulación/cálculo de modelos de computación:
  • Regexr - Aplicación para aprender y testear expresiones regulares. ¡Cuidado! Acepta expresiones regulares más “expresivas” de las que veremos en clase.
  • Turing Machine Simulator - Una aplicación que simula una máquina de Turing programable con una sintaxis sencilla.
  • Mikrokosmos - Un intérprete educacional de cálculo lambda.
  • Biblioteca de autómatas para JavaScript