Examen du cours de L3: Calculabilit´e
Texte intégral
Documents relatifs
Par r´ eduction, il suffit de montrer que le probl` eme de savoir si une machine qui s’arrˆ ete toujours calcule l’identit´ e est ind´ ecidable.. C’est
De plus, pour les 5 premiers probl` emes, dire (en le justifiant) si l’ensemble des donn´ ees pour lesquelles la r´ eponse ` a la question est oui est un ensemble r´ ecursivement
C’est ind´ ecidable, par r´ eduction du probl` eme de l’arrˆ et : Si M, w est la donn´ ee du probl` eme de l’arrˆ et, on choisit pour M 1 une machine qui ignore son entr´ ee
On r´ eduit le prob` eme du vide du langage reconnu par une machine de Turing M (probl` eme ind´ ecidable par le th´ eor` eme de Rice): on choisit pour M 2 une machine qui accepte
C’est ind´ ecidable, par le th´ eor` eme de Rice : la propri´ et´ e d’ˆ etre contenu dans 0 ∗ est en effet non triviale puisque le langage vide est r´ ecursivement ´
On r´ eduit un probl` eme de l’arrˆ et l´ eg` erement modifi´ e, dans lequel on demande ` a la machine de s’arrˆ eter avec un ruban vide (i.e. ne contenant qu’un symbole sp´
Vous aurez aussi besoin d'un chier image de votre choix que vous copierez dans le même dossier que votre programme, par exemple forty-licks.png dans ce dossier.. [IMAGINEPP_ROOT] est
Dans un chier corde.h, écrivez une structure Corde, comprenant un tableau de float (les valeurs y des points) et le nombre d'intervalles n4. Dans corde.cpp, implémentez des
