MT2017

Sujet

Simulation de MT opérant sur un alphabet S à 2n symboles par des MT sur l'alphabet {B,D} Emulator.ml à compléter
1. Conversion d'une bande sur S en une bande équivalente sur {B,D} et inversement
2. Simulation d'une transition de MT opérant sur S en une séquence de transitions opérant sur {B,D}
3. Comparaison du résultat après chaque simulation d'une transition
4. Simulation de MT sur l'alphabet {B,Z,U} par {B,D,S} (pour la mise au point) exemple
5. Simulation de MT sur un alphabet S à 2n symboles par des MT sur l'alphabet {B,D}
Une MT qui effectue la beta-réduction LC_by_MT.ml à compléter
1. FAIT ~~MT (à 3 bandes) qui sélectionne un terme bien parenthésés~~
2. FAIT ~~MT (à 3 bandes) qui effectue la substitution de chaque occurence d'une variable par un terme~~
3. FAIT ~~MT (à 4 bandes) qui effectue la substitution de chaque occurence d'une variable par un terme en tenant compte du masquage de variable par un lambda~~
4. Un affichage HTML plus élégant
5. Simulation binaire de la MT qui effectue la beta-réduction
Bonus: (***) Génération de la MT binaire (avec fusion de certains états cf. TD1)