2A1 Modèles de calcul (3h)
- machines à registres
- machines de Turing
- notions de problème décidable, de fonction calculable
- théorème de l’arrêt
Documents
- registres.py
- Le même interpréteur pour machines à registres, cette fois avec des fioritures. Il ne fonctionne qu’avec une version 3 de python.
- exemples.py
- Des exemples de machines et de configurations de départ à essayer. Il y a des instructions dans le fichier.
- L’informatique c’est pas l’automatique
- Diapositives d’un exposé de vulgarisation sur la notion de calculabilité. (Il manque l’essentiel : les démonstrations de compilation, machines virtuelles, etc.)
- registres_base.py
- Le cœur algorithmique d’un interpréteur pour les machines à registres, écrit en python.
Séances
- Lycée Marie-Madeleine Fourcade, Gardanne : le 15 octobre 2014 matin (Lionel Vaux)
Formation :
Contenu :
Planning des séances :
Archives :
Espace formateur :