EPITA_ING2_2015_S2_LOFO Juin 2013
LOFO — Logique Formelle
EPITA – Sans machine ni document Juin 2013 (1h30)
Bien lire les questions, chaque mot est important. Écrire court, juste, et bien. Une argumentation informelle mais convaincante est souvent suffisante.
Pour les questions à choix multiples (numérotées Q.1, Q.2 etc.) aucune réponse manuscrite ne sera corrigée : répondre sur les formulaires. Renseigner les champs d’identité. Il y a exactement une et une seule réponse juste pour ces questions. Si plusieurs réponses sont valides, sélectionner la plus restrictive. Par exemple s’il est demandé si 0 est nul, non nul, positif, ou négatif, cocher nul qui est plus restrictif que positif et négatif, tous deux vrais. Répondre incorrectement est plus pénalisé que de ne pas répondre.
1 λ -Calcul
Q.1 Quelle est la forme complètement parenthésée de λxyz · xz(yz).
a. (λx · (λy · (λz · ((xz)(yz))))).
b. (λx · (λy · (λz · (x(z(yz)))))).
c. (λx · (λy · (λz · (xz))(yz))).
d. (λx · (λy · (λz · (xz)))(yz)).
e. ((λx · (λy · (λz · (xz))))(yz)).
Q.2 À quoi λn f x · f ( f (x)) n’est pas équivalent ?
a. λ f f x · f ( f (x)) b. λx f x · f ( f (x)) c. λxx f · x(x( f )) d. λx f x · x(x( f )) Q.3 Quel arbre de syntaxe abstraite est correct ?
a. abs
N abs
app x abs
var y y
b. app
N app
M abs
abs var
x M x
c. app
var v app
var u abs
abs var
y y x
d. app
abs x abs
y var
y abs
abs var
y y x
Soit les combinateurs suivants :
True = λx · λy · x False = λx · λy · y
Pair = λx · λy · λ f · f xy First = λp · p True Second = λp · p False
1
EPITA_ING2_2015_S2_LOFO Juin 2013
1. Prouver que First (Pair M N) →
∗M.
2. Les entiers de Church, n sont des fonctions de répétition. Le nombre de Church 0 applique 0 fois son argument fonction à un argument valeur, 42 le fait 42 fois. On pose :
n = λ f · λx · ( f · · · ( f
| {z }
nfois
x ) · · · )
|{z}
nfois