Le problème de l'arrêt ne peut être résolu pour les langues complètes et il peut Turing être résolu trivialement pour certaines langues non-TC comme regexes où elle arrête toujours. Je me demandais s'
Comme ils sont dans .Net 3.5. Je sais qu'ils sont en 4.0, car c'est ce que le DLR travaille, mais je suis intéressé par la version que nous avons maintenant.