Professional Documents
Culture Documents
TRAVAUX DIRIGES
Introduction à la logique
! "
Exercice 1 — Les profs de maths de lycée sont-ils de fieffés menteurs ? (contrôle continu 2001-2002)
! "
& # # ! -
& ' ( ) ! !
& # * ( " # # * *
0 +) , * % * %
" #$ % ""
# .$ $ & # # % $ $ -
& , !
5 $ , ! , 1 "
! $ ! , 2 , * ! ,
$ , 1 * ! , ,
3 %* ! ! (
. 3 1 ! (* %* ! !
3 (* %* !
% 3 %* # 2 !
0
Exercice 6 — Rencontres logiques (examen 1999-2000 ; contrôle de Septembre ; environ 10’)
!% ! #% .$ # # -
! * ' "
5 4 * ' " (! 5!
! 6 , " ! 5!
7 ' # * ' " ' 5!
= @ @ # / ! H ! " #% 15
@! & # # $ ' ,) @ *
Exercice 9 — Après le 11 septembre : logique et géopolitique (contrôle continu 2001-2002 ; environ 5’)
( J$ & ! 8 ! -6 ) ! * %
, =
.% ; K $ L/ $
3 $# , ! & # # 8 ! - 6
! 2 %'
; ; !.
F !% 2 %
?
( J$ & ! 8 ! -9 !* * * " #
*
1 M
: , ! & # # 8 ! -4 ) * (
! % ' #
: , ! & # # 8 ! -3 ! (! "
, *
" #$# #
; 1 !* 2 * ( * "2 * 2 $ !% 5 5"
5 " 1 ' (! 1 (!1 3 $ "3
! # "1 !! * " # 2 $ !% " $
1 *1 " 5' - $
? *# , P Q " "3 # !
. "# *( " "1 * ! " $ &
P (Q" 3 " 3
C
Calcul des propositions
! "
: 5 # # -
;∧+
5 ;∨+
! ; +∧;
;∨+ ⇔ ; +
( $ . / .. $ -
& ! '" ( !
3 ( ! '" ! (
# $ ! / .. $ $5 ! ! '( ," = 8 $ % 5 "&
! $5 # # . 5 ' 38 = & ( $ 8# .! $ N '''
Exercice 14 — Question de rapidité : table de vérité ou calcul mental (contrôle continu 2000-2001 ; 5’)
∧ ; +∨ ;
P+ ; Q∨ ∨;
Exercice 16 — Tautologies d'après A. Aho & J. Ullman, Concepts fondamentaux de l'informatique, Dunod
<
;∧+∧ ;∨+
0 ;⇔ +∨ + ;∨
'( -5
: / $ "& $ N$ " ! -
2 - ( # * !* 6 ' A
; - # * * %! 3 ' *(" 6 ' ( ( " !
(" 6 ' '
2 8 % " 6 ' A
; 8 + ! " % (! ! # " ! % "
D
CP : Mise sous forme normale
! "
( .$ $ ! N ! "# N ! .$ - ≡ ;∧+ ⇔ ; +
'( .! ≡ ; ∨+ ∧ + ∨ ; S 5
( ," $ !% / .$ ! N ! N ! "& ! .$ -
5≡ ; + ∨ +
5 ; + ∨ ; +
! ; + ∧ ; ;∧+ ;∧
Exercice 24 — Tautologies d'après A. Aho & J. Ullman, Concepts fondamentaux de l'informatique, Dunod
!% !% =$ .$ .$ $ "# ! ! /# "
! ! $# $ .$ . 5 '
;∧+∧ ;∨+
; + ∧ + ;
0 ; + ;
? ;⇔ +∨ + ;∨
'( -" '
E
Exercice 26 — Un peu d'autocontrôle : QCM (contrôle continu 1998-1999)
2⇔3∨: ∧2⇔:∧3∧
'( - & &
* $# &
V
Fonctions booléennes
! "
Exercice 29 — Calcul en binaire d'après A. Aho & J. Ullman, Concepts fondamentaux de l'informatique, Dunod
: , 5 ] % , /# & ! # /! -
@/# ! $ ;" +" ' & $ " / # $ !
$ '
@/# ! $ ;" +" ' & $ # /# $ !
$ '
0 @/# ! $ ;" +" ' & $ ;+ " ! $$ $5
5 " ! $ . = 9'
≡ ∨ ;∧ + ∧ ; + ∨ + ∨
: 5 ] % .$ ' .$ $ N ! $# . '
: .$ $ ! N ! '
0 8 5 ] % " .$ $ ! $$ N ! ! N ! '
'( ≡ ;∧+ ∨ ;∧ ∨ +∧ ∧ S .! 85 # 5 =# . S
≡ ;∧ +∧ ∨ +∧ ∧ ∨ ;∧+∧
Exercice 31 — Karnaugh et fnc D’après A. Aho & J. Ullman, Concepts fondamentaux de l'informatique, Dunod
# ! 5 " /# $ , ! .$ .$ @ .$ $ ! N !
N ! '; $# . ,) = @ .$ @& ! '
,! ## & $ % 5 / ] %'
'( . ≡;∨ +∧ S ≡ ;∧ ∨ ;∧ +
9
Exercice 32 — C’est votre dernier mot, Jean-Pierre ? (contrôle continu 2001-2002 ; environ 10’)
; +
': , .$ $ N ! ! # = -
5' : , .$ $ ! N ! 5 ! # = -
1 ! .$ - 3∨ ∧2 ⇔3 ∨2
( .$ .$ $ # $# # 5 '
Exercice 36 — Quelques mises sous forme normal plus complexes (contrôle continu 2000-2001 ; 15’)
! "
( ," # $ % 5 "& -
;⇔+ $# & & $ ; +
;⇔ + @$# & # & $ ; +
. ," 5 # $ % " $ -
*
; + eRR + ;
*
5 ∨3 2 eRR ∨2
*
! 2" 3 eRR 2 3
3+ # ) 8 ! !) *
.- , * ( " * ' ! *! B
. / ! # .5.
3 1 ! .$ $ .$ ! & ## & $ % '+ # )
.$ -
= & V
5 = ! ∅
.$ ! ! .$
.$ . 5 #
. ," ! 5 # $ % " $
-
*
2" 3" 2∨3 eRR :
*
; +∨ eRR ; + ;∨
3 $# H $ % " ., $ -
*
2 ∨ 3" 2 ∧ 3 eRR 3 2
*
5 2" 3 eRR 3 2
0
*
! ; ∧ " ∨ + eRR ;∧+
*
∧ ;" + eRR ∧ ∧;
3 ! ! $ )# 5 *
'( $ -5" !'
Exercice 42 — Un peu de réflexion avant de passer à l’action (contrôle continu 2001-2002 ; 10’)
$ % " ! $ '
4+ / . 4+ / .
2∧3 ∨2 3
3⊕: 3⇔:
:∨ ∨: 2
Exercice 43 — Une déduction avec « ou exclusif » (contrôle continu 2002-2003 ; 10’ maximum)
$ % " ! $ '
*
⊕2"3 2∨ eR 2 ∧ 3
( ,& .$ # .4 + $ % .. -; ∧ + ∨ ∨ +∧ ∨ ;∧
1 ! $ !) '
&1 ' (" #
& ' (1!
0 & 1! (" %
? 4 ' * %
3 #
?
' ! $ & # #
5' $ % !% /" ! $ '
'( $ '
Exercice 47 — Comment préparer ses examens (examen 1998-99 ; session de Septembre ; 20' environ)
f ) # # = / $ # $5 ' !% $5 " . !% = #
$ -
M & ' * ( " # " # E'
M 6# ' * '
M0 > * !* F" # # ' # E'
3 3 !( ! (! ' <( " # E(" # #
@ ! N ! ! ! # ' N 5 $5 #
$ ! / = . $ ! # $ $# ! ! U 5
# .! # / ! ' 7!% $ $$ N= # = 5 $ "( !
; !% "N ( @ ! ". $ -
9 * # %* , ! # * * %
*1 * * ! " ) *! ! # ! (
0 9 # ' * # %* , !
? 1# ( # 2 % *!
3 3 ! ( * !* !
3 $ ) * , # !# # # =! & '
!% . @ # ! # !% $ 5 $ # $
% ' H "! ! 7# U ! " ! # H
! # $ ! # # $ & # ' .! /" !% . # ! @H
. ! .$ -
C
&1 * ( !
6 ,< ! '
0 &1 * !
? 6*
C &1 ( '
# ./ " ! # # . =@ "! "
3 6* ' !
: , # & ! $ $ ,# $ % .. & ! )! '
'( $ '
2 )M H ;% #% /" # @ ". $ -
& # ! ' ( #
& # ! 1 * # ' , !
0 & # # ! # ' *
? & # 1 ' , ! 1
C P: $H % H#% Q ' > # ' *
< & # ' , ! 1 '
3 - ! !* ( ! ! # ! G ' H
: , # & ! $ '
3 $ ) *f .,! ## & # !# '
0 ; ) & # ! & 5 *
'( 5 62 .+ $ '
# % $ % ""
& $ . $ # / # # = $ ! "
&@ 5 ! ! & # $ $ ! H# ! ! # 5 $ '
! # / # # # # $ . # $ % $ ! ;' '2 f V 0'
: # $ $# " = # / & =! f " & @ $ % $ !
! $# ' $ H -; * ! # ": '1 7 # # / H#
@ - # " & $ N$ " # " & $ N ' ! , /
!% " 1 & @ 5 3% # 2 ' 3 /)! ! # ! $ -
C '
2
3 ! )) $ # " ) # / * ; # =! "
!% !% , ! / ! # J . 5 $ $ ## & !! $ $ %
5 '
$ # / ! f ' !A @ ! ! -
4 ! * 1 !E * ! ! #
+ " ! .. $ -
2 4 ! * 1 !E * ! !
( ,& ! # / & # ! # & '
<
# % $# &
Exercice 53 — Quand les juges sont pires que leurs accusés (contrôle continu 2002 - 2003 ; adapté de
R. Smullyan, Quel est le titre de ce livre, Dunod).
: ! / !! " H # ! ; ! .& 6% %) " 87 # # & $ ;
& $ N$ ; & $ N ' 8 8 # ! ! ! /7 ; .
f 6 " # ! 6! K & 87 ! -
! '
4 !! ! ' * %2 '
: , ! & # # ! # =! ! '1 H
. & # ! 6! K # J ; ; T
; . ! # 5 ; . ! #
f 6 ! # 5 f 6 ! #
- ( . "& # ,) ! # ! *
!8 ; !8 ; #
Exercice 54 — Panique à Nagano Adapté de E. Busser & G. Cohen, La Recherche, 302(1997), p. 108
D
Exercice 55 — Lewis Caroll et les paradoxes de l'implication (examen 1997-98 ; session de Juin)
E
Logique des prédicats du premier ordre (LP1)
! "
: & # ! # $ " ! .$ 5 .$ -
∀/ ∀H ∃, ./ " H", /"H ∨ ,
! 7 " ! .$ H$5 . ! H$5 # ! '; ! '
1 # ! & # ! # $ ! -
# ! @ # ! @
. . ! @ % . ! @
1 ## & 4R4 !! ! @! # # ! @ '1 ! .$ -
∃/ ∀H ∃, / ∨ ∃H ∀, % /", " /
5 ∀/ ./ " H ∃/ ./"H
! ∀, /" H ∃H ∀/ ./ R H ∨ H",
+ "# $ ! .$ "! & 5 .$ *
$# . ,) . $ 5 .$ # % # '
0 : $ , !! ! !! ! 5 .$ 5 .$ '
? 8! ! .$ ! $ .$ # # '
& # ! 8 $5 ! $ '
+
4 * *
6) * * ,
3 ! ,
" # $ % ""
V
Exercice 60 — Le panda est un loup pour le bambou (année 1998-1999 ; adapté de l’examen de
Décembre ; 15' environ)
Exercice 61 — Casse-tête breton : emplois du temps rue de la Loi (contrôle continu 2001-2002 ; 10’)
3% & = " ! $$ 8# $ $ # 5
. 82 ' .. # $J$ & -! $$ =! $# $#
!% & $5 # 5 . $5 # 8 Z # !%
$ $ % !" & & & # !% " ..! 8
! ' .. " 5 ! # 8 !! 5 -5 "
. $ ! $# 5 # N! " # N! #
## ! ' ; & !% & 8 !% !% / = ! ! !
$# $# /# "= $ 8 # $ ! Z
! & # ! '1 # ! # ! retro/1 "
vidéoproj/1" panne/1" amphi/1" salle_td/1" est_dans/2'
7 # " "! * * +3'
5 6 ) * #* "! . @ MB'
! + #* "! * * '
& ) #* "! (! , * '
6 ) * "! * * +3'
: /% $ ' # . ! . # 5 @# )$ " 2 f $ . .
! & ' # 9% ! $5 % $ & ! $ # H! # &
# . 5 !% & $ " !% $5 ! #% i$' : & @ . @
! !% T; ! !$ % "2 f $ ! -
+ ! *
! * ! ! *1 #
0 3 1 * ! ( 1 ) * #
? &1 1
) *1 # * ! (!1 1 * *
C & #* * ( ! * ) # *1 #
! # ! # $ ' 1 ? # ! =
@ .! 5N ! ! ! # / $# " Feuille(x) # .! -/ . "
# ! Dans(x,y) $ / H'
9
Exercice 63 — La réussite au bout du chagrin (adapté de l’examen 1999-2000 ; contrôle de Septembre)
4H / 5 4 ) # @# ! % $ ! ! ! . $ @ # & ' =
& & # # ! ! .. $ !) '
4 * * % %) %' ! ) %'
5 4 ) %' ( * % ) %'
! $ * * % %) %' # ) %' '
4 ) %' ( * * % ) %'
6 ! ! / !! # & # ! !% ! !
.. $ '1 # ! # ! -
) ) . ) /"H", $ / 8 . H ,'
)_ /L5 / _ /L5 H # ! $ / H /5 H H /5 '
: ! & ? ! # ! '
" # $ ## " % 1 !
" # $# #
: ,2 # ! & # ! # $ -
9 ,
5 4 * ' , % *
: ! : 8M $$ 3 H < U DEV" ! # $ '
! + ! " 1
2! 1 *! ! '
: ! : 8M $$ 3 H < U DEV" ! ^'
9 * (P$J$ Q # '
1* '! '
: ! : 8M $$ 3 H < U DEV" ! ^'
Calcul des prédicats du premier ordre
! "
1 # ! & # ! # $ '1 ! # ! @ -, 3
!! ! @! # ! $ R ≠' .$ -
/≠H∧H≠,∧,≠/
5 / RH ∨ / R, ∨ / R ∨ H R, ∨ H R ∨ , R
! ∀ /≠H∧H≠,∧,≠/∧ R/ ∨ RH ∨ R,
∃ /≠H∧H≠,∧,≠/∧ R/ ∨ RH ∨ R,
: $ , ! .$ " . 5 " ! ! ! & # "
# $ @ # # ! .-
: R W9X : R W9" X :0 R W9" " X :? R W9" " " 0X :C R Ν
: ! " @ # # # ! $J$ - / RH / H /
/≠H / H ..
# $ % ""
1 # & # ! % $ - ! * '
'1 ! # ! # $ @ $5 -3 R r'
& $ 5 /" # ! ; . ! ." .$ Φ
@ # ! # % $ # ! ! .$ ! ' ; ! ,
& # # . # ! ; . ! . '
5 .$ Φ ! ' # ! # ! 5 /'
# $ $ @ # : & # # . # ! ;
. ! .' ; # " $ , Φ# / # -
-W3 R C S # -; / / b 9S .-./ R / X
0 -W3 R R S # -; / / b 9S .-./ R /0 X
'( .$ . # / # 0'
0
Exercice 70 — Interprétation en LP1 (examen de 1997-98 ; session de Septembre)
1 / # 2 -
$ 6S @ ; $ # '
5 $ S /"H $ HR/ ;/ $ / $5 '
: & .$ # 2 ) $ *
'( 5 $ '
C & /# ! 8 # ! '1 ! /. $ -
∃/ ∀H /"H /"H
∀/ ∃H /"H /"H
$ 8 # 8 $5 # /= ' 8 #
8 ≤" ! ! . '
' : " ! # " # ! .$ '
'( RF S R V'
# ! 8 # ! '1 ! # -
$ 8 # 8 $5 ; . '
$ 8 # 8 $5 .8 ; . '
0 $ 8 # W∅" W X" W5X" W "5XX ; 8! $5 ⊆'
Exercice 73 — On est toujours le modèle de quelqu’un… (contrôle continu 2001-2002 ; 10’ environ)
1 ! /. $ 5 .$ ; -
∀/ ∃H ; / ∧ + /"H
∃/ ∀H ; / ∧ + /"H
: , $ .$ # & .$ . '
5 $ " , $ .$ # & .$ . '
?
Exercice 74 — Gare au quanti-fi-eur ! (contrôle continu 2001-2002 ; 10’ environ)
1 ! 8 $5 .$ & # ! -
∀/ P; / ∃H + /"H Q
∃/ P; / ∀H + /"H Q
: , $ .$ # & .$ . '
A .5. -
∀/∀H∀, ; /"H ∧; H", ; /",
∀/ ; "/ ∧; /"2
0 ∀/ ; /"./
: , $ A'
# $# &
: $ , .$ # . # & .!
/ '
eRR ∀/ / / % * !
5 eRR ∀/ P / ∧ 2 / Q ⇔ ∀/ / ∧ ∀/ 2 / * ' # * ∀ ∧
! eRR ∃/ P ∧ 2 / Q ⇔ ∧ ∃/ 2 / * ' # * ∃ ∧ ! %
eRR ∃/ ∀H /"H ∀H ∃/ /"H ! # * ∃ ∀
eRR ∃H P /"H /"/ Q
C
Unification
! "
*" $ % ""
'( .$ .5 -5 '
<
Résolution LP1
! "
$ % ""
3 / !! ! $ .$ ! .$ ; ' 6 ! %
# $$ - K $ "! .$ ! ! '''
( ," = @ # !# " $ @$# ! -
∀/ ; / + / " ∀/ + / / eR ∀/ ; / /
D
Clauses de Horn et Langage PROLOG
! "
: ! / !! " H $ ! -
4 ! ! * !
4 ! * ! *
3 ! % * ! ! * ! *
1 ! . )! . /# $ $ ! $ # ; '
& ! # %H# % $ ; *
& ! # ! ! ! $$ . $ *
( .$ ! ; "# , ! M ! # '
., ! $ ## & $ % '
9 3 $# ,! ! ; & '
% ""
francais( dupond ).
europeen( gert ).
habite( gert, France).
vote(X) :- francais(X).
vote(X) :- europeen(X), habite(X,france).
: , ! & # ! & ; -?- vote(X).
7 : , 8 $5 ! M ! # = ! & # !
# $$ & '
- : , . 2. # 5 # ## ! $ % ! $5 !
M '; !% & " $5 $ 5 '
! M # ; $# ! 5 ! &
$ ' "! ! ! # .! $ . 5 ' # ! " @#
, & ! / !! # $ .$ & ! #
# 5 $ '
1 ! ! @ $5 ! " I;" +" .$ $& -
E
;∨+∨
;∨
0 +∨
: "# $ ! ! " & # ! M '
1 ## , * @# " P; → ; Q" & ! = $# ! ! ;# ; '
: $5 ! M & = @ $5 # ! $$ @ $5
$ $ .$ $& '1 # ! @ $5 $$ ..! '
! .. $ .$ ! ;
- ! * , # (" * #
& " ! # ) , (" * #
0 ; ! 8 ) , # ' ! ! > * * * ' D
V
Systèmes formels
! "
1 ! H $ .$ R a (4( (C b . ! $$ -
! 5 R W " 5 XS 4R $5 $ ! ! 5 '
/ $ - e
@. ! C- ; e ; !; $ & ! & 4
; e ;5
+ .$ % $ ! # -
1 ! H $ .$ R a (4( (C b . ! $$ -
! 5 R W " 5 XS 4R $5 $ ! ! 5 '
/ $ - e e 5
@. ! C- ; e ;5 !; $ & ! & 4
; e 5;
;5 e 5;
5; e ;5
' )) e 5 5*
5' 3 $5 H))) $ # % $ e 55 *
9! @ # % $ 0 ?
% ""
Exercice 87 — Un premier système formel plus complexe (contrôle continu 2000-2001 ; 10’ environ)
1 ! H $ .$ R a (4( (C b . ! $$ -
! 5 R W " $" XS
09
;$+ e ; $+ ;
3 )) e *
33 $5 H))) $ # e *
Exercice 88 — Langage généré par un système formel (contrôle continu 2000-2001 ; 10’ environ)
/ $ e
8. ! ; e ;!
; e 5;
!2 .+ + .$ % $ # # *
Exercice 89 — Arithmétique formelle Adapté de D. Hofstadter, Gödel, Escher, Bach, 2nde ed., Dunod (2000), p. 73-74
! 5 R W." " k XS
.$ ) % $ . -
QQQQQ,QQQQQQ
QQQQ,QQQ
+ .$ % $ .'
: , # . %$ & '
'( % $ ! $ = ' ; " , ! ! 8 :
M . = 55 % & '''
0
Grammaires formelles
! "
<F> → <R>
<F> → a <R> b
<R> → a
<R> → b
2 <F> → a <R>
<R> → a
<R> → b
3 <F> → <R>
<F> → a <R>
a <R> → <F>
<R> → <R> b
<R> → a
<R> → b
1 ! $$ .$ !) '3 $$ . ! 5 $
RW " 5 X ! $$ / $ H$5 $ a b-
<S> → a <S>
<S> → b
2 <S> → a <S>
<S> → a <T>
<T> → b
: , H# !% ! $$ " % !% 3% $ KH'
: , .$ a b# =# 8/ $ # !% ! $$ '3 ! *
: ," # ! / $$ " 85 ! # = & ! - 5
1 ! $$ " . ! 5 $ RW X 8/ $ a b-
ab → a <S> a
ab → aa
+ H# ! $$ % !% 3% $ KH'
0
: , .$ a b# =# 8/ $ '
0 : !! # ! # H ! $# ! )
!% " 8 H & ! '
? : !! # ! # H ! & ! ! " 8 H
& ! '
$ % ""
00
0 ; ) " $$ 3 " !% <SB> → b <SB> # <SB> → b <FA>
!% a b*
$$ # J ! ! .$ # " # / $# " ! # ! !
% #% & ' : $J$ " # # $ . #% & ' 38 ! ! #
$$ $ .! " . ! 5 -
R W∈" ∋" ≡ X
5 -
ab → a:b a( b a b
a( b → a( b
a( b → a( b a b a( b
a b → a b a b a:b
ab →∋
a:b →∈
a( b →≡
: /# .. # $$ " !! $# 5 '
+ .$ /# # $$ *
0 # 2 ,+::+-+ =+ :'4 - , ;4 // +4 3 & H# $$ H# 3% $ KH
## ! $$ *; ) $J$ # $$ 8 H# # * "
! $$ '
'( + ,+- .+ # ! $$ ! $# 8/# # #% & $
! ! % ''' $5 . ! # # %$ & '
$ % ""
Exercice 95 — Grammaire de parenthèsage adapté de Aho, Sethi & Ullman, Compilateurs, InterEditions
Exercice 96 — Un grammaire ambigüe d’après Aho, Sethi & Ullman, Compilateurs, InterEditions
0?
Exercice 97 — La belle ferme le masque
+ H# ! $$ % !% 3% $ KH *
: , 85 8 H ! # =8 ! d ' >' 3 $$ ) $5 i
*+ ! ! # ) ! ! . B *
0 , 8. ! ! $5 h # ! " ! 8 H 8 ! "
# H # ! $ ! ! & ! / ! '3 H 8 J
= # $ H '3 ! *
'( $$ $5 i # & 8 # ! # $ ! / 5 8 H
.. ' !% / 8 8 H # ! # $ ! &8 H $
# ! # 5 $ % -& & 85 8 H ! 5 '''
* " $ % ""
Exercice 99 — Le Becherelle de l'arithmétique d'après Aho & Ullman, Concepts fondamentaux de l'informatique, Dunod
1 # # @! $$ & # $ ! $# # $5
.$ & & ; '1 ## & # # .. .B -
) @ @ # ! $$ - -13
) !$ - -13.126
) $ !$ /# - 12.43 E-14 ! -23.5 E+24
1 N= $$ # $ # $5 -
0C
<chiffre> → 0 | 1 | 2 | ... | 9
<entier > → <chiffre>
<entier> → <entier> <chiffre>
# $$ !) " , @5 $$ # $ #
.$ !$ '
,. $ ! $$ # # ! @ $5 # '
0 : , @5 @ H ! # )12.43 E-17
1 ## ! ! .$ 5 .$ .5. & # # ; -
) .$ $& .5. # # $ N! !% 7 ! !
! $$ B # $ N! '
) .5. ;" - .5. ;
.5. ;
) ; + .5. ; - ;∧+ .5. ;
;∨+ .5. ;
: , $$ & # $ ! .$ $& ;'
! $$ # ! @ $5 & # # '
0 : $J$ " ,) ! $$ & # ! ; *
# & % "" 1
Exercice 101 — Grammaires et systèmes formels (contrôle continu 2001-2002 ; 10' environ)
1 ! H $ .$ " . ! $$ ! 5 R W "5"!X-
/ $ e 5
8. ! ; e ;! ;5 e ; 55
3 $5 $ # ) # 8/# '!'''!*
7 + .$ % $ *
- : $$ % )! / F . ! 5 $ R W "5"!X 8/ $ a b &
% $ ! # F # F'
Exercice 102 — Systèmes formels et grammaires formelles (contrôle continu 2000-2001 ; 10' environ)
3 $$ 8 ! " / # . H $ .$ $$ .$ '
8/ ! ! 8 !! . / $# '
1 ! H $ .$ RW " " " X ! R W "5"!X" !% 7 ! ! ! -
/ $ e
8. ! ; e ;!
; e 5;
+ .$ % $ # # *
a b→
a b → a2b a b → a3b
0<
a2b → 5 a2b a3b → a3b !
a2b → a b a3b → a b
: , .$ $ F'
& # ! "# ,) .$ # $# $$ F*
3 .$ 26 . $ 2 !K )6 '
'( + ,+- .+ H $ .$ $$ # $J$ /# N
.$ '; ! ! 8 # H $ .$ " # 5
.$ $# . $$ '
Exercice 103 — Jouons à l’interpréteur Prolog (contrôle continu 2001-2002 ; 20' environ)
+ H# ! $$ % !% 3% $ KH *
7 # ,! $$ 2 !K )6 26 8
1 ! $ $ )# $$ ; ! 8 . - p(X,Y).
- 1 # 8 ! $# ! $$ ! ': , !!
# ! # ! $# 8 H # $$ '
, : , 85 8 H ! # = # ! # $$ '
+ ! $# $ 8 H ! ' ( ., $$ #
# # # 5 $ ! '
: ; # ! $$ $ / . ' N ,= $$
! ! = $ ! ; '
Exercice 104 — Grammaire et arithmétique (année 1998-1999 ; examen de Septembre ; 45' environ)
1 # # . $$ & # $ 8 /# & ! # = 8!
8& %$ & ' $ . # " 5 !' # 8
$ # ! ' $ # ! 8 # . ' # # % ': /
/ $# & -
j5! R 5 5 ! j 5R ! 5 '
! 5 $ !W " 5" !" " "j" RX'
: . ) $ / 8 $$ # $ 8 & '+
H# ! $$ *: 5 & / $# '
1 # # # % - # # % !
! $$ & N A 8 .! # ! $$ !8 ! # $ & '
! $$ & ! $# ! ! ## $ '
# .. $ F 2 !% " $$ .$ ! $# . B
O!% & @ ! .) @ N$ # = ' # & $ !
$$ & ! $# ) # / $# " & ! $# ! $
0D
! 5 ''' ! & # $J$ $ # # @ Y $ !% 63 T
$ @!! =# &@ $# 5 ! ! $# $ # M
$ ' " ! / !! " ) = #% $ & # ! - # $
. B ' 3 # / $# .. = ! $# / O!% !% !% $
$ & '
# $ ## / $ " # $ . B # ! $# $ # # "
$ @ $" $ ! @ N! . # # # '; / $# -
' *
' ! *
" # $ # $ ! $# ! $# $ $" & ! # .$ $ =
# $ # ! @ # # * -
* * , *
' * * , * *
! $$ ! $# ! # $ / 4$
$ /4 / 5 5 #
! $# / . B " ,# / $# /# # -1 * # ! *
*' * * ' ; / $# " ! & $ !
H /& $ -
<NP> → Jean | Marie
<Nom> → soupe | viande | soupes | viandes | pain | pains
<Det> → la | le | les | un | une | des
<AdjAvt> → bon | bonne | bons | bonnes
<AdjPos> → froid | froide | froids | froides
<Prep> → de
: , @5 @ H ! # # $ ' *
0 1 $ #% $ @!! ' ! $$ % )! / " ! =
! ! H /& )! # $5 ' ; / $# -
<Nom_fsg> → soupe | viande <Nom_fpl> → soupes | viandes
<Nom_msg> → pain <Nom_mpl> → pains
! $$ ! $# ! $ .! " . #% $ @!!
$5 # $ '
1 ! ! # / $# & ! ! $5 # $ 5 #
/ $# ' 3 # " ! % & & $ ) # &
. B # J $ # $$ % )! / ! # ! % & $5
! ''' =M ' . ! " $5 / . $ $ # #
& # $ ! ! ! ! & / $$ % )! / ': ! "
@ @ # $5 $ ! ! ' ; / $# -Nom(m,sg) #
! NC_msg' 1 # $$ @ .! ; !! #
.! 5 ! # / $" $ N! .'
? ! .$ $ " , $$ # ! '
C $J$ # 5 @$# ! 5 ! $$
% )! / ' ; / $# -
aF6 6"F b PF lR # Q → '''''
,) ! # 5 # ! ! ! # # # $ 4 4
4 4*
0E
Expressions régulières
! "
Exercice 106 — Parenthèsage d'expressions d'après Aho & Ullman, Concepts fondamentaux de l'informatique, Dunod
$ # % /# -
5 !
e 5 !k
0 e5 !e
Exercice 107 — adapté de Aho & Ullman, Concepts fondamentaux de l'informatique, Dunod
1 ! @/# - e 5 ! e 5!
: ! , . # ! /# '
: , / /# & . / ! $ $J$ '
% ""
Exercice 108 — d'après Aho & Ullman, Concepts fondamentaux de l'informatique, Dunod
! , /# . -
!% 7 5 & # '; / $# -555 5 5
!% 7 ! 9 # # " !@ = H $5 # '1 # &
# # @ # ! $$ ! ! !% 7 $ # # "= ,
! # # & $ # , '
0 !% 7 "5 ! & ! ! & @## # = # ! ! '
Exercice 109 — d'après Aho & Ullman, Concepts fondamentaux de l'informatique, Dunod
: ! , . # /#
∅eε
ε
0 e5 k
? k 5k k
C k5 k5 k k
< εk
1 ! & $$ % )! / # # $# & /#
'3 / !! ! .$ ! # & & # / $# ' !% & . " $
$$ " & ! @ # 5 " @/# ! # '
1 ! ! @ $5 !% 7 & ! & 5'
1 ! ! !% 7 H# & !% 7 & ! & 5
'
0 1 ! ! !% 7 H# 5
0V
G , H
?9
LP1 — Mise sous forme clausale
( .$ # / .$
∃/ ; / ∨ ∀/ + / ∧ ∀/ /
5 ∃/ ; / ∨ ∀/ + / ∧ ∀/ /
! ∀/ ; / ⇔ ∃/ + /
( .$ ! .5. -
∀/ ∃H ∀, P /"H", ∀ ∃, ", Q
5 ∀H ∃/ /"H ⇔ ∀, ∀/ ,"/
! ∀/ ∀H F; /"H ∃, ; /", ∧ ; H",
∀/ P; / ∧ ∀H ∃ + "H ∀, " "H Q
∀/ ∃H P H"/ ∃ "/ ∧ ∃ "/ ∧ "H Q
( .$ ! .5. -
∀/ ∃H P; /" ", ∃, H"," Q
?
Résolution LP1
: $ ! ! .$ =@ $ % -
∃/ ∀H / ⇔ H ∧ ∀/ /
1 ! %H# % -
M ∀/ ∀, ∃H /"H", ,"/
M ∀/∀H /"H Rb ./ ".H
M0 ∀/ ∀H /"H"/
1 ! $ ! ! -
3 ∃/ ./ "./
3 ∀/ ∃H ./ "H
30 ∃H ∀/ ./ "H
: $ & ! & ! & 8 $5 %H# % '; !% ! ! !
& 8 # ! & ! & %H# % " $ %H# % I ! ! .
Exercice 116 — Normalisation et résolution en LP1 (année 1998-1999 ; examen Décembre ; 30’ environ)
1 ! .$ -
≡ ∀/∀H /"H ∃/ ∃H 2 /"H
≡ ∃/∃H /"H 2 /"H
( .$ ! "
( .$ ! ⇔2
0 $ % # $ & .$ ⇔ ! ! '
? + # ) ! ! # .$ *
( # !# & $ '
∀/ ∃H ; /"H
∀,∀ ; ," +,
∀ +
5 ∀/ ;/ ; . ./
∀/ ;/ ./
∀/ / ; ./
! ∃H∀/ ; /"H
∀/∀H ; /"H ∀, + ,
∃, +,
∃/∀H ; /"H ∨ ; H"/
?
∀, +, ,
∀ +
∀/ ; /"/ +/ ∨ /
∃/ /
∀/ ;/ + /
∀/ +/ ; /
;
;
: $ , $ =@ # !# '
+
4 * *
6) * * ,
3 ! ,
5 * ! % * , !! ,
> ' * ' * !! , * , 2 ' *
* 1 ! ' * ' *
6 )* # * 1 ' *
∀/ ; / + ./ " ∀/ + / ; ./ "; eR ∀/ ; /
1 ! / $ -
("1 # 1 *1
6 % * *
3 !"1 # 1 *1 *
5 ("1 # * >:
>: * '
3 !"1 # 1 *1 *
3 $ # ) *
: , # & ! $ N ., # = & # ! #
$ % !% /'
Exercice 121 — Dès que le vent soufflera... (examen 1996-97, session de Juin)
F5 5 $ $5 36 3 & ) ' $ $5 36
# !% ' # !% $ @$ # # 'F 5 $ ! &
5 @$ # @$ # ! & 5 $ H !% & 5 $ # F5 '
?0
! .. $ .$ & '
; ) ! .. $ &@H $ $5 36 & # !% *
1 ! @ $5 .$ -
∀/ ∀H ∀, P /"H ∧ H", F /"H Q
∀/ ∃H H"/
0 P∀/ ∃H F H"/ Q
# !# "$ ,& ! $5 ! ! ! '
# ! $ & !% ! 0 .$ ! = @! ! @ $5 '
( & @ $5 ! = . 5 $ '
$J$ ! ! # .$ 0'
GRH C! * *
6 !% !% # = !% & ! 7 # $ # @ ! 0 T
! $ & # ! '
## & $ % "$ ,& ! $ @ # '
+ .. $ " .$ $ !) " # $ ! ! *+ %H# %
! $# )) $# ! $ * , .$ & ! %H# % $# ! $ , &
$ ..! $ '
??