Ecrire un programme qui dit si un programme dans le cas général va planter est indécidable. Sur un cas particulier c'est faisable de prouver qu'un programme va ou non planter.
Reste qu'en général c'est super dur/impossible sur des programmes aussi compréhensibles et mal documentés qu'un humain, on est d'accord.
[^] # Re: rien de neuf ?
Posté par Fulgrim . En réponse au journal Rapport Anses sur les effets des OEM sur la santé. Évalué à 1.
Ecrire un programme qui dit si un programme dans le cas général va planter est indécidable. Sur un cas particulier c'est faisable de prouver qu'un programme va ou non planter.
Reste qu'en général c'est super dur/impossible sur des programmes aussi compréhensibles et mal documentés qu'un humain, on est d'accord.