S → SN SV 0 - Université Paris Diderot

Transcription

* +, +-
!" # #$% &# ' (#)" . /01 20/ 3/451 067
89 :9 ; <
= > ? : @ 9@ ; 9 ;> ? 9 @AB ; :
@:9@ ; >
B C9 D @C9 ;9 >B ;EF @
9 :;9
?
> 9 :A
C9 >AB G :; ? H I
JF ;K 9 @L L
MC9 D9 > ; B B E
N F ;K 9 B ; ; :B > ; >
D
>>@:
<:@@E
O F ;K 9 >
> 9 :A
C9 @MGB >
:>
H @
:9:
PQR QSQS T UVWXYX XZ[ \]YX
DE F ^
;
_F
dormir(j)
` @a ;B @
>
B C9 ; D_E? @a
_ L
MC9 ; @
K9 N FN ? :;9 H >> @
B B @ G@ ; :
@:9@ ; ;
@
B bB K9c F
`
S
0
SN
0
SV
0
H
HH
`d
`8
8
d
^
;
j
λx.dormir(x)
→ SN
← (2)
→ NP
← 1
→ V
← 1
SV
1
efg h N FN i_ L
MC9 B B > 9 D
E
j@ 9@ ; ;
@@ >@9 @ :
@:9@ I @ @9 B C9 k >>
l @ @
; @a
_ m9C9 aH @
:B_
C9 _ 9 H
? : C9 ; _ ? >
(λx.dormir(x))j
;9: ?
F
βn
dormir(j)
PQR QSQP
opWqrZstWrYpVX uvwqwVW]ZXwXx
; B 9 >A
H > >@9 :B >@C9 ? B C9 <
? > 9m ? 9 L
B B @ C9
K F
DE F AB B B :A
_F
∃x (homme(x) ∧ marche(x))
yz{| {}~~}{ | } ||{~| }}~}{ {~| }| {| | {~|
~|~ ||{~~}{ || | {}~~}{ { } || | | | }{
~
} |~| | ~ | | {~| }| { |~ |
]]
← ([[ ]]) [[}{~}{{||
}~ |[[ ]]~}{
| | {~| }| { | {~|

}| {

|~~| {}~~}{ | }| {} }{ { | ~|~| {| {}~~}{ | ||~ | |
} | |{ | }}~}{ | |{~ { | | ~ { }}~}{
J !" # #$% &# ' (#)" :_9 > : ; ; @B @ 9
I I @ >;:
I @ >;:
K @ ;B D9 C9
K:
9E I @
homme marche C9
K:
M@@ Yr @
9:9 @ ; @
<B9@ F
a @
>> > 9 @ @MC9 I AB B B :A λx.homme(x)
λx.marche(x)
9
λP λQ.∃x((P )x ∧ (Q)x)
` ;> : @MC9 ? > ; @a; ; C9
K:
9 @ ? @ @ :
; @ G@ ; :9: I ? : a @
@9 B C9 ;9 ;B n
C9 ; @ <:9 DH ;9M >@
:E? a
>>@C9
; a
_ ; 9 0 ? >9 9
F n
N
VP
> 9 ;C9 9 :@
;
@
K9 9
F
S
HH
HH
H
SN
S
0
SN
0
SV
0
SV
H
HH
H
Det
N0
9
AB B λP λQ.∃x((P )x ∧ (Q)x)
λx.homme(x)
V
B :A
λx.marche(x)
hhe, ti, hhe, ti, tii
he, ti
→ SN SV
← (1)
2
→ Det N 0
← (1)
2
→ V
← 1
he, ti
efg h N FO i_ L
MC9 B B > 9 D
E

_@ : @ >:; I @
G@ ; :B > B C9 : H
a >
@
B bB ;
@ ;9M :
F
S → SN SV
@9 C9 9 @@ ;> a
>>9 9 @
A ; C9
K:
9 @
; > ? J J? ; `
? J ? A@? J I @@ : H
k B l @ L> ;9 `8 @C9 a@ ; 9 B >> ? > 9 C9 a@ ;9 B bB L> C9 ;
@
K9 >:; F >> C9 ^
I @
[[
λP.(P )j
;
; a9 B >> @aB_@ ; >> > ;
>
@]] <
F
>> > B ; a9K @ G@ ; :B > ? > 9 :
>9@ @ I
S
0
SN
0
SN
0
N0
0
SV
0
→ SN SV
← (1)
2
→ NP
← 1
→ Det N 0
← (1)
2
→ N
← (1)
2
→ Vi
← 1
Det
0
N
0
Vi
0
NP
0
→
←
→
←
→
←
→
←
un
λP λQ.∃x((P )x ∧ (Q)x)
homme
λx.homme(x)
marche
λx.marche(x)
Jean
λP.(P )j { }~ {| | }{~ ~}{ | !" | ~ {| }{~{~| # |~ | |~
j$
}| |
||{~ {
| }| & }{~| | ~| ' | {~| }|
|

%

|~
}

(
SN → NP
0 ← (λxλP.(P )x)1
J
!" # #$% &# ' (#)" PQR QSQR
YV Y rVWqXZrZ DE F ^
B _F
((aime)j)m
; B @ :
; _ < F @
;: H >
;
:
; _ < > 9
:;9 H >> F >> λxλy.((aime)x)y
:B >
_@ : @ >B :
B >@ :; ? >
MB >@ >: ; a9 B
>> D H :; ; a @ 9B ? @a_m :B_ @ 9m E? :B B @ B @
K9 9
I
`d
λx.((aime)x)m
HH
H
d
`8
B λyλx.((aime)x)y
m
@A99B ? : > a >@9 > _@ : @ `8 C9
K? C9 ; L> ; L> F ` @a 9 C9 @ _ @ <:9 ? > 9 @ `8
he, he, tii
e
_m ? @ <
9 <
@
>> 9
I B I
F M>
λP λx.(P )λy.((aime)x)y
; L> F
hhe, he, tii, he, tii
8 9@@B ? @
9@@ G@ SV
0
→ V SN
← (1) 2
> 9 K 9 @aMB >@ :9
C9 a
9 _ 9 ; O ;9:? _ _ @
βn
9@
:B > I
λP λx.(P )λy.((aime)x)y λP.(P )m
−→β λx. λP.(P )m λy.((aime)x)y
−→β λx.(λy((aime)x)y)m
−→β λx.((aime)x)m
> 9 9 K <
:@B C9 : >> :B >
_@ : @
>:
; >@99 `8 C9
K F ; D EF >
:@
C9 D; @a9 ;
>
E ; : >A
; 9 D _EF 89 B H @
K9 N F C9
@ >:> >:; 9 > B ; a_ @
<B C9
@ ; 9 D :EF
D E F 9 AB B B 9 > 9 D E
HH
HH
HH
HH
H
λQ.∀z((homme)z → (Q)z)
λx.∃t((femme)t ∧ ((aime)x)t)
H
HH
H
9
AB B λP λQ.∀z((P )z → (Q)z)
λx.(homme)x
H
HH
HH
HH
B
λQ.∃t((femme)t ∧ (Q)t)
λP λx.(P )λy.((aime)x)y
H
H
HH
9

_F
: F ¬(dort)j
I
λP λx.¬(P )x
; AL> AG > _@ : H :; C9 9 ;_ ;m H ? :_9 B C9 F i@ > 9 :A
@ B ; a;9 @
;
@
<B9@ K
@ F
`
H
HH
HH
8
P
P
^
H
HH
H
8 λx.dormir(x)
V0
λP λx¬(P )x
d HH
H
qXw pYqtY
;
>
λx.dormir(x)
∅
 B ; K C9 @ >_@GB :9 ;
k B ; @
l D E 9 >_@GB ; :B > @ I @
:9:
; a9 >
> 9 @
>A
DJ
E ; DJ_E 9 @9 ; DJ:EF
DJE F 9 @ <
;B >
_F
: F ∀x(enfant(x) → ¬dormir(x))
¬∀x(enfant(x) → dormir(x))
J

S → SN SV 0 - Université Paris Diderot

Transcription

Documents pareils

Un titre à défendre Les équipes du Mulhouse Squash Club tenteront

λ-calcul Exercice

(tarifs pi\350ces.xls)

Clavier/souris lecteur/graveur cd/dvd boitier ecran