USTHB - Bab-Ezzouar

Faculté d’informatique 2022/2023

Année universitaire 2019/2020
Faculté d’Electronique et d’Informatique, Département d’Informatique Semestre 2
1ère année Licence Mathématique et Informatique (L1/MI)
Module : Programmation Fonctionnelle Enseignants de module

Série TD n°3
Exercice 1
1/ Concevoir une machine de Turing "𝑀𝑇_𝑆" qui permet de calculer la fonction "S"
Successeur 𝑆 = 𝜆𝑥. 𝑥 + 1

2/ Concevoir une machine de Turing "𝑀𝑇_𝑆2" qui permet de calculer la fonction "S2"
𝑆2 = 𝜆𝑥. 𝑥 + 2

Exercice 2
Concevoir une machine de Turing "𝑀𝑇_𝑍" qui permet de calculer la fonction nulle "𝑍1 "
définie par : 𝑍1 = 𝜆𝑥. 0

Exercice 3
Soit la machine de Turing MT=<S, E, Inst> définie par :
S={0, 1}
E={q0, q1, q2, q3, q4, q5, qf}
Inst={1/q0 1 D q1, 2/q1 0 G qf, 3/q1 1 G q2, 4/q2 1 0 q3, 5/q3 0 D q2, 6/q2 0 1 q4, 7/ q4 | G q5,
8/q5 0 1 qf}
1/ Dérouler pour : a/ x=0, b/ x=1, c/ x=2
2/ Quelle est la fonction f calculée par cette machine ?

Exercice 4
Concevoir une machine de Turing MT permettant le calcul de la fonction ̅̅̅̅
𝑆𝑔 définie par :
1 si x  0
Sg  x.
0 sinon
Exercice 5
Concevoir une machine de Turing "MT_pred" qui permet de calculer la fonction "pred" prédécesseur
𝑥−1 𝑠𝑖 𝑥 > 0
𝑝𝑟𝑒𝑑 = 𝜆𝑥. {
0 𝑠𝑖 𝑥 = 0

Exercice 6
Concevoir une machine de Turing "𝑀𝑇_𝑝𝑙𝑢𝑠" qui permet de calculer la fonction plus (addition de
deux nombres). 𝑝𝑙𝑢𝑠 = 𝜆𝑥𝑦. 𝑥 + 𝑦