(2017 : 913 - Machines de Turing. Applications.)
Il s’agit de présenter un modèle de calcul. Le candidat doit expliquer l’intérêt de disposer d’un modèle formel de calcul et discuter le choix des machines de Turing. La leçon ne peut se réduire à la leçon 914 ou à la leçon 915, même si, bien sûr, la complexité et l’indécidabilité sont des exemples d’applications. Plusieurs développements peuvent être communs avec une des leçons 914, 915, mais il est apprécié qu’un développement spécifique soit proposé, comme le lien avec d’autres modèles de calcul, ou le lien entre diverses variantes des machines de Turing.
.