locution
-
Lemme 1 Lexeme fondamental ◆ Courant ◆◆◆
Définition phrasée
Problème de décision consistant à déterminer, à partir de la description d'un programme informatique et d'une entrée, si l'exécution de ce programme sur cette entrée se termine à l'issue d'un nombre fini d'étapes ou se poursuit indéfiniment.Définition liée
Non renseigné

Je Deviens Citoyen
