• Aucun résultat trouvé

TP5 : Fonctions r´ ecursives et Machine de Turing

N/A
N/A
Protected

Academic year: 2022

Partager "TP5 : Fonctions r´ ecursives et Machine de Turing"

Copied!
2
0
0

Texte intégral

(1)

DUT Info 22006/2007 Lundi 12 Mars 2007

Informatique Th´ eorique

TP5 : Fonctions r´ ecursives et Machine de Turing

I Exercice 1 : Fonctions r´ecursives primitives

Soit λx[g(x)] une fonction primitive r´ecursive. Soitf la fonction d´efinie par : f(0, y) =g(y)

f(x+ 1, y) =f(x, f(x, y)) Montrer que f est une fonction primitive r´ecursive.

I Exercice 2 : Fonction primitives partielles

Montrer qu’il existe une fonction r´ecursive partielle ψ qui ne peut pas ˆetre pro- long´ee en une fonction r´ecursive totale.

I Exercice 3 : D´ecidabilit´e

Montrer que sif(x1, . . . , xk) est une fonction r´ecursive totale, le pr´edicatf(x1, . . . , xk) = y est d´ecidable.

I Exercice 4 : D´ecidabilit´e

SoitP(x1, . . . , xk) un pr´edicat d´ecidable et soitf(x1, . . . , xk) une fonction r´ecursive tels que :

P(x1, . . . , xk)⇒f(x1, . . . , xk)↓

Montrer que le pr´edicat P(x1, . . . , xk)∧f(x1, . . . , xk) = y est d´ecidable.

I Exercice 5 : Machines de Turing

Supposons une repr´esentation unaire des entiers, et la bande suivante au d´ebut de l’ex´ecution :

1 1 1

Donner la fonction r´ealis´ee par la machine de turing dont le graphe des transitions est le suivant :

I Exercice 6 : Machines de Turing

Construire une machine de Turing qui calcule la fonction λxy[2x] en utilisant la repr´esentation unaire des entiers et l’alphabet A={1}.

I Exercice 7 : Machines de Turing

Construire une machine de Turing qui reconnaˆıt le langage des parenth`eses L, c’est-`a-dire l’ensemble des mots form´es sur l’alphabet A={(,)}qui correspondent

1

(2)

q0 q1 q2 qacc

1,1,L

,1,L 1,1,R

1, ,R

, ,R , ,R

`

a un bon parenth´esage. Par exemplew= ()(()((())())).

2

Références

Documents relatifs

Renvoyer pour chaque r´ esultat le nom de la gare (tel qu’indiqu´ e comme StopArea, pas comme StopPoint) ainsi que le nombre minimum de trains successifs n´ ecessaires pour acc´ eder

L’objectif de cette partie est d’abord de voir un autre mod`ele de calcul que les machines de Turing et de montrer qu’il a le mˆeme pouvoir expressif que les machines de Turing

Les fonctions Turing (semi-) calculables sont closes par composition, r´ ecursion primitive et minimisation... Th´ eor` eme

Dominique BERNARD, physicien Marc RAYNAUD, mathématicien. Gabriel GORRE, physicien chimiste

• Le bloc prend en entrée un tableau tab et l’indice pos d’un élément mal placé, et donne en sortie l’indice newpos de la «bonne place» de l’élement dans le tableau. •

Cours de math´ ematiques Fonctions de r´ ef´ erence. D´

Dresser le tableau de variations de la fonction f.. Dresser le tableau de variations de la

a) Esquisser le graphe des fonctions dont il est question puis rectifier les erreurs ´ eventuelles dans la r´ eponse suivante. Calculer le domaine de d´ efinition, l’image et la