Décidabilité et indécidabilité. Exemples.

Décidabilité et indécidabilité. Exemples. - agreg.info

Liste des plans proposés

Plan de Balthazar Patiachvili (#32_0000)
- Développements
  - Décidabilité de problèmes sur les grammaires algébriques par Balthazar Patiachvili (#00032)
    
    Utilisable dans les leçons : 32
    Références :
    - Langages formels — Calculabilité et complexité de Olivier Carton
  - Théorème de Rice par Balthazar Patiachvili (#00031)
    
    Utilisable dans les leçons : 32
    Références :
    - Informatique — MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés de Thibault Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre
- Remarques
- Références

Note : certains développements peuvent être proposés sans faire directement référence à un plan.

Décidabilité de problèmes sur les grammaires algébriques par Balthazar Patiachvili (#00032)

Utilisable dans les leçons : 32
Références :
- Langages formels — Calculabilité et complexité de Olivier Carton
Théorème de Rice par Balthazar Patiachvili (#00031)

Utilisable dans les leçons : 32
Références :
- Informatique — MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés de Thibault Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre