/TC

Prácticas de la asignatura de Teoría de la Computación de la Universidad De A Coruña (UDC) en el grado de ingeniería informática curso 2023/2024 GEI-TC

Primary LanguageOCamlMIT LicenseMIT

Prácticas de Teoría de la Computación

Grado en Ingeniería Informática - 2023/24

Este repositorio cuenta con tres prácticas, cada una de ellas con un README en org-mode que trae una explicación algo más detallada con ejemplos.

La librería ocaml-talf está también incluida para poder ejecutar y entender la p1 y p2. Esta librería nos fue proporcionada, y no poseo autoría de ella.