Moui, enfin on avait bien précisé Turing-complet, ce qui est suffisant pour invoquer le problème de l'arrêt.
Si tu restreints suffisamment le type de programme que tu considères pour que le problème soit décidable, mécaniquement tu n'est plus dans un langage Turing-Complet, et tu sors du cahier des charges ;-).
Maintenant est-ce qu'Ontologia avait vraiment besoin d'un langage Turing-complet ?
(m'est avis que sa question était en fait de nature purement spéculative et qu'il serait vain d'essayer de refourguer autre chose !)
[^] # Re: Je suis certainement idiot
Posté par Aldoo . En réponse au journal Déterminer le domaine d'un programme. Évalué à 3.
Si tu restreints suffisamment le type de programme que tu considères pour que le problème soit décidable, mécaniquement tu n'est plus dans un langage Turing-Complet, et tu sors du cahier des charges ;-).
Maintenant est-ce qu'Ontologia avait vraiment besoin d'un langage Turing-complet ?
(m'est avis que sa question était en fait de nature purement spéculative et qu'il serait vain d'essayer de refourguer autre chose !)