Leçon 913 : Machines de Turing. Applications.

(2018) 913
(2020) 913

Dernier rapport du Jury :

(2019 : 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é.

(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. .

Plans/remarques :

2018 : Leçon 913 - Machines de Turing. Applications.


2016 : Leçon 913 - Machines de Turing. Applications.


2015 : Leçon 913 - Machines de Turing. Applications.


Retours d'oraux :

Pas de retours pour cette leçon.