Exercices corrigés — Calculabilité et décidabilité (OCaml (option informatique))
10 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Semi-décider l'arrêt Exercice de TD
- Syracuse, problème ouvert mais pas indécidable Exercice de TD
- Comprendre une réduction Exercice de TD
- La diagonale Exercice de TD
- Une propriété sémantique indécidable Exercice de TD
- Le castor affairé (busy beaver) Exercice de TD
- Décidable, semi-décidable, ou ni l'un ni l'autre ? Exercice de TD
- Décidable ou non ? Application directe du cours
- Un décideur Application directe du cours
- Le piège du « il suffit d'exécuter » Application directe du cours