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_base.py
Le cœur algorithmique d’un interpréteur pour les machines à registres, écrit en python).
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.

Séances

  • Lycée des Iscles, Manosque : le 22 octobre 2012 après-midi (Emmanuel Beffara)
  • Lycée Pierre Mendes France, Vitrolles : le 23 octobre 2012 après-midi (Emmanuel Beffara)
  • Lycée Georges Duby, Aix (Luynes) : le 25 octobre 2012 après-midi (Lionel Vaux)
  • Lycée Jean Perrin, Marseille : le 26 octobre 2012 après-midi (Lionel Vaux)