Re: À boire et à manger

Pour moi, c'est indécidable car:

 void mon_evaluateur_de_machine_de_Turing_universelle
 (byte_t *code, byte_t *input)
 {
 /* ... */
 }
 void ma_super_fonction() {
 /* ... */
 }
 static const byte_t code [] = ...;
 static const byte_t input[] = ...;
 int main(void) {
 mon_evaluateur_de_machine_de_Turing_universelle(code, input);
 ma_super_fonction();
 return 0;
 }

Ici, ma_super_fonction est du code mort si la machine de Turing décrite par code sur l'entrée input termine. Bonne chance pour décider cela.