1La chaleur
1Répondre
Un programme peut-il décider si un programme arbitraire s'arrête pour QUELQU'une entrée?
0La chaleur
1Répondre
1La chaleur
1Répondre
Calculabilité: Formule SAT avec nombre de clauses bornées
1La chaleur
2Répondre
La somme du sous-ensemble où la taille du sous-ensemble est `k` est NPC?
-1La chaleur
1Répondre
3La chaleur
2Répondre
Existe-t-il des problèmes récursivement énumérables qui ne sont pas RE-difficile?
0La chaleur
1Répondre
Passer d'une langue à une grammaire sans contexte
-2La chaleur
1Répondre
Démontrer que les langages réguliers et les langages sans contexte sont récursifs