Pour pouvoir utiliser les notebook Walnut (par exemple le TP3), deux options en salle de TP :
utiliser Docker (pas disponible au sous-sol) avec la commande $ docker run --rm -p 8888:8888 -it nopid/walnut. Une fois le container lancé, il faut recopier dans son navigateur l'URL qui s'affiche tout à la fin et qui commence par https://127.0.0.1:8888.
Une fois que l'interface web est là, il faut se placer dans le répertoire notebooks et y téléverser le sujet TP3-presburger.ipynb puis de travailler dedans.
Attention, il faut télécharger son notebook avant de fermer la fenêtre du navigateur sous peine de perdre tout son travail ! Pour cela on va dans le menu Fichier et on choisit de télécharger au format notebook (.ipynb).
Falcone, Y., Fernandez, J. C. (2020). Automates à états finis et langages réguliers : rappels des notions essentielles et plus de 170 exercices corrigés. Dunod.
Carton, O. (2008). Langages formels. Calculabilité et Complexité. Vuibert.
Sakarovitch, J. (2003). Eléments de théorie des automates. Vuibert informatique.
