Cet après-midi en cours nous avons construit un 0'-algorithme qui progressivement ajoute des 1 dans certaines cases de deux rubans dans le but de construire deux ensembles incomparables A et B.
Exercice à m'envoyer par email (en groupe ou pas, comme vous voulez).
Montrez que A et B sont 0'-calculables. Vous pouvez vous appuyer sur la construction, inutile de la refaire.
Si vous êtes bloqué(s), merci de m'envoyer un email expliquant pourquoi avec précision.
A vous lire !