Le projet est à réaliser par groupe de 4 (pas nécessairement dans le même groupe de TD)
Les
soutenances de projet
auront lieu pendant les créneaux de TD
la semaine du 1er avril
Tous les membres du groupe doivent être présent le jour de la soutenance
La soutenance consiste en
une présentation de 4 min (où chacun présente ce qu'il a fait)
une démo de 5 min (qui doit être bien préparée)
une séance de questions individuelle (sans limite de temps)
La note de projet est individuelle : elle correspond à la note du groupe +/- 2 points selon vos réponses aux questions
Au final votre note de projet consiste en un bonus sur la note d'examen entre 0 et 2 points
Les étapes du projet "Des Machines de Turing pour de vrai"
2019 : La machine de Turing Universelle
Le sujet et les sources à compléter sont disponibles dans le
git project.
Le projet ne nécessite pas de connaissance en Ocaml.
2017 : Une MT qui effectue la beta-réduction
2015 : Un interpréteur de Machine de Turing à une bande + des MTs à une bande
2015 : Un interpréteur de Machine de Turing à plusieurs bandes + des MTs à plusieurs bandes
Programmer en Ocaml
Installation d'Ocaml (= CaML + Orienté Objet) via Opam
L'éditeur Atom est un bon compagnon d'Ocaml (syntaxe colorée, indentation, complétion, exécution dans l'éditeur, affichage des types et des erreurs, ...)
