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.
crible.c
Un programme basique en C qui compile et tourne à l’identique sous Linux, Windows, Android, etc.
crible.py
Le « même » programme en python.
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 16 octobre 2013 matin (Lionel Vaux)