combinators and permutation
DESCRIPTION
This is a great set of notes with detailed explanation of combinators and permuatations.TRANSCRIPT
-
!
"#$%&'()*+,-./0)*+$%,%1-.2,345678)93&5:;01
?@ABCDEFGHI=JKLMNO-MPKLQ@RSTURVJM UJOWXYZCDEFA[\[]^=KLA+_`XaWbTC=GcRdeFJfghiMPRSTUj^=RA/URVJGRVI+GRkXXKLA=_iSTURgfVJOlZCDEFA[
[]^=RcAEWfmWRGC=QnhiC X`XKomWMPR
-
"
#
$%&'()*+,-.,-/-,01.23456789:;,4?8@ABACDEF*+D3DG-H,0@IJE>@KD%$L8FMA
#
>N-OA:;P+8@AC&Q->AC,-RC6S,0@+JTUV>@+PTAC*+8@K>@KD%$L8FMA
->MAC,-RO6%,0@+JQW.XYZ[-,0@IJAC*+8\1]:;4 AO,0234?,?F>MAO,MA3AC*+8^8\>^8 cdef3ghi+j+g
k l
`>6;-mACDQPIDQ-HDnX
opq+r3stunv?wxyz{|3{
}D%`~1.>@%6]3HP+,0J3, A@:;1$;8^-*+>=S8\>@.D3P+PAO8@3-P+,J3, An`]*+,?4?8AC*+8:S@+, AmP+,J3, Am,[email protected]+^)89:;>4%ACD/I
Iv?G?+n{
T8aF>@QRD+^H1>\3HP+,J3, A,0@AO8J38^$+6-H238F,0RO6S,0@+J/, A-AO8@3-P+,J3, A>@+P:S@+, AP+,J3, AX,^-OAmD+R)>404?_SAC*+8^8a>^8x`>M6;-
ACDEF*+D+DG-8t, A-][email protected]+,0J3, A
#
,X 8IX\_p+_Bz_pD+^.z&XmD+^AC*+8:S@+, A]P+,J3, AO_`8*+>=S8
F*+D+,0F8I-$+6AC*+8
>P+P+, AO,4?456_`8-88AC*+>MAAC*+8^8>^8 +
`>6;-7ACDF*+D+DG-8~AC*+8PI,J3, A-7$+6 AC*+8
1:;4 AO,02340,?Fz>MAC,@+P.*+8@+F8AC*+8\>@G-O`8^,-+GX
FMA:;>40456_AC*+8N>P+P+, AO,@+PAC*+8N1:;4 AO,234?,?F>MAO,@ $S8J38@+8^>4?,z8PAOD-H, A:;>MAC,0D+@3-`, A*
1.D+^8\FD+@+P+, AO,0D+@G->z-RD34040D%`[-
pnw3wsyz{3{3QwnwrIv?Yw]nn0^8
_
_E_
`>6;-ACDF*+D3DG-8N>@D%$L8FMA[->MAC,?-RO6S,0@+JFD+@+P+, AO,0D+@3-
_
_K_
^8z-H238FMAC,@D+@+8tD3R
_
_E_
_mAC*+8@AC*+8t@:;1$;8^xD3R
`>6;-mACDQF*+D+DG-8\>@.D%$L8FMA->MAC,?-RO6S,0@+J
_
_D+^
,?-
! ! !
"
X
pnw3wsyz{#+{3QwnwrIv?Yw/Gv0?uGv??rI^8
_
_E_
`>6;-ACDF*+D3DG-8N>@D%$L8FMA[->MAC,?-RO6S,0@+JFD+@+P+, AO,0D+@3-
_
_K_
^8z-H238FMAC,MAGAC*+8BCAC*xD%$L8zFMA->MAC,?-RH,?8z- $
#
%&'
(&(
&
,-) * +
, , ,- - -
.
X
opq+r3stunv?wxyz{3{
()*+8B@:;1$;8^-D3R)-OA:;P+8@A-),[email protected]+,0RRH8^8@AmF40>z--8z-D+R>a-F*+D3D+43>^8a-H*+D%`]@.,0@,0J%:S^8Q$S840D%`]X
/
40>I-- 0 1 2 3
4bD%6;- 3 56
7
,^4- + G 89
H@x*+D%`1.>@%6a`[>6;-F>@]`8\F*+D3DG-8
:;
-
!
"
#$ %&'&()*(+&*(,-('./#0.12345(67*%89:.1;&(?@
"
AB$C%&'&(69D#>?(6#'&ED%&'&()7F(9G#>?()*(+&*(,-('./#0.1234H(67*%&9I(#=;G=>J#K--@
"
=$ %&'&()*(+&*(,-('./#0.12345(67*%89I(#=;D=>?#,--@
L
MKN?OPQR?M&STU
"
#$)VW.1;&(XY8('&(*#>J2K(EZ#E&E&2 ./2345(X*/[H>J(\].1;&(*(^#*(
_#VH-`.1%
=;&%8%P-(a.1;&()*(+&*(,-('./#0.12345(Kb
"
AB$)V?#K--89h\:;]\J%B_2J'KYe-2 .[H#0.12J%&'Pb&~;&(*(?(n7}%&*p=%&%&&2J'&YTbKlF'G;&%B_ 9D#'BVoE&2J7}7F(*('._#0VH-p=#'`_(n#,--2JY8'`.1;&(
E[&.12J(,-z2J'D#]_((P@
u(*(h_(n#*(n('&=%B[5'./(*2J'KYe-%89D(0.1;&2J'&YfE&2?77F(*('.7*%K9 .1;&(n=#K-(,-p2J'8(=0./2J%&'X,bB{|(n;4H(h.1%f=;&%8%P-(
9D%&*(h.1;'g%&'&(hA5%BVo#'&E1%&*z9D%&*(.1;'g%&'&(J\T#'&E`_(n=#'g=;&%8%P-(.1;&(D-#9D(n%BAs(=0.
"
=;&2J>?EK$9D%&*(.1;'
%&'&=(
"
%&*)(045('e-(45('o.12J9G(K-F$b5{|(G-#Vg.1;&(D=;&2?>?EK*('f#*(D=;&%P-('o_2 .1;g*(+8>?#=(9G('. bf(,-2JE&(K-\_(n;45(c.1%
=%&'8-2?E&(*d_c;&(0.1;&(*d.1;&(6%&*E&(*%&7=;&%82J=,(62?-z2?9D+8%&*1./#'. b
{;.d2?-z9G(#'.TA&Vyi_;&(0.1;&(*d.1;&(6%&*E&(*%&7=;&%82J=(62-z2?9D+8%&*1./#'.?@]{;&('c_`(6=;&%8%P-(
-
!
"#$%&'()*+%&*,(%-,.$%(/(012345)67"#$%&81&9:&5;.$%34-2&*&5"
?
1&&@AB36CD:*&EF%GH)I,$%&*&->(%*&JC"#$%&E(%*+%&*,(%-,.$%(/34.&'31
3=KLM/(%*#"NO5"B$%&*&)H
OP
$%3=
-
"#$%&'()*+$&(,+-./&01/&023$456789:;?:@.ABC$D%&E:@13.FGHIJK7LC7:@.MICN'23$O56789:;?56:@.CPM*Q&0237%&: &:*Q(R.35-7:+Q&01F4S7>k*'D7.[&023$a56789:;l*D2C$P(kv7b*FP(RhC
-
!"
!""#$%$&'()*)#$+,-&'./()#$0()12"-&!#-4&'5*6789:&'()%$#$;';5%&$< =>?@A'(B$C;'#=D9EF89:
G0&%$HI- !"!J%$+HK6L&' !MM1N!"$%$5H#50&"51&'%$; O25&')/$&J"5A
! !MO2+H&')/"K#",PH !"!J&',#
"#$%$$1QGR+H#$QS/5&6L6"$TUCN! !"&V89;W82:?!J#"K#:D9#$&';#=89;$X
Y
Z([N\"]Z^
_`aC"Q89;'$+b&!!"&+HC;VSc%$N!"&'()dIe !"!,6"+ Pf !"!/G/& QOE"C;'#$%$$+,$T/#5gh"5-6
%&'%$&!&+HCM#TiAT./%$j"#" )*
+ ,-.,/,1213,45-
6 7 8 8 7
5(&'6L6"$TBCN! !"&V89;E82:?!"1&A (AT#$!MG
&!`k P`$lA
Jm9#$+-C;-kAPAP1N&'6 gA
#$5$%$&'5(!QnFDQ&!"& o+H"E#EQO9!CT7$#$%5#:S=1QG +H#$QS
CN! !"&V89;!"%$$5TO2;(!J%$#$-K#"#()NX
Y
Z([N\"]Z^
p&!-%$#! $1 gA
#$e!"QO2;'5q%$N!"ar9:9< ;=2t5#=S2!-#$+H()uePvq5#=S2!
w
& E+H$#$!E5#=S2!H#"
%N!"$/G/& QOx"C;#$%$$+,$Ty"1#50("5`6`%&%$K&!z&'+HCM#T
w
#!!MG/#CC&'(),k*%N!",5#=S2!z;'$#$5N!
-k,5(&'66"$T7!"%$5TO2;(!y{A_`"$6L"$1T"K#"=>
-
!"
#$%&'()*+,-./0123/+,456789:;49451?@A;B;1CDEF;6$8/-$B$/G
!"#$%&()*+,-& !"#$./,*,0/1 1/2*%3456()
78#9:;7)4:?@ 3)73456()&7A8#B!"#B%)=&C
% ! 7,D?27JK:2% ! 7,D%D,(=$27KL>])> 7A#K7MN$%8#K3%==+
-8#B47X[! 6:78#9:;7
-
!"
# $&'()*+,./(0*12 3
4
5 .26782&9:;)712 ? A
B CDE F
G HIJKL
M@NIO
&'; P Q
RST
UVW
XSY Z
# [\(07./>'8=7>]\^_`'./>7
C
. ,.=207Ia&()()&>bc';7a+,./a*d,&e9:;. ,* 3
4
5 712
4
3
5
Z6f
`'.2K2`'&ghi8/]\>'&g,a7+hj2*I7>gk
a&'>'lmhj2./&>n7+,0,o`'.=2p2,7q*r712d9*r78 9s7ki2t`7uv* wxy
Z{|
&g9*+uv*;
C
. ,}.2t>'&~8/&'>q*;d,o;hi*b./>n()&';*
7]uv7>a*])a712*2
C
9:`'*;*9*()7k,7807+v&gh', 3
4
5 l&';
Z
#
f
`'*8/*+,,*;=1./>:,o`'*>'&g,7,o./&'>K 3
4
5 2,7>']26l&';_=a&'(v./>7,o./&'>
Z
# [q*>*;78
C
,o`'**+gc';*122./&> '
p
.=26*712.=*;,o&0a&'(cgh',*D,o`'7>
t
Z
_'=1
f
`'*;*7;*K()*(i*;2_./>K7>K&';q7>'./17+,./&'>
Zf
`'*k}>&g9a`'&'&2*0c*&'c'8/*72,o`'*.;;*c';*12*>,7+,o.uv*12
Zg|
&g9
(07>gks]'./ll,a`'&'.=a*1267;*,o`'*;*
=
'
f
`'*k}7;*>'&g9Sa`'&'&2./>qtK&g*a+,27()&'>qK&g*a,29:. ,o`'&gh',;*c'8/7a1*(0*>,D7>']s,o`'*&';]'*;&'la`'&./a*).2
hv>'.=()c&';o,7>,
Z|
*>'a*,o`'*>hi(i*;6&'l]'./ll,a`'&'./a1*.2
=
Z
_'=
f
`'*;*.27>'&g,o`'*;6./>']0&'lv*+,,o./>qKa78=8=*]=K./>,o`*`'&';2*;7a./>q0q7(0*./>
|
&'>q:&'>q
Z
*&'c8/*`'7uv*{,&
v*+,9:`'.=a`00`'&';2*12a&()*lqs,o`*.;&';]'*;
Z
22hi(0./>'qs,o`'*;*7;*K0`'&';2*12./>K7;7a*
C
`'&g9(07>gk]'.=ll,c&22.v8=*v*+,267;*7+uv7.=8=7v8=*1
=
'
f
`'*tc';&gv8/*(.22.=()c8ka`'&&2./>qrb`'&';2*120l;&'(\`'&';2*129. ,o`'&gh',;*c'8/7a*(0*>,7>']e,o`'*I&';]'*;&'l
a`'&./a* .2hv>'.=()c&';,7>,
Z|
*>'a*,o`'*;*7;*
]./ll, c'&22.v8=*v*+,2
C
.
Z
*
Z
,o`'*
7>29*;6.=26
Z
^_&'(c7;*,o`'.29. ,o`6v7()c8=*
Z
Z
Z
!"#$%&%
[0(07>gka712*2
C
,o`'*a&ghv>,o./>q0c';&gv8=*(K29**>'a&ghv>,*;./>0]'7./8 k8=.=l'&g,&'l&'>'*&'l,o`'*{,kc*129s*
`'7uv*(0*>,./&'>'*]
C
h',;7,o`'*;&'l 7a&'(v./>7+,./&'>0&'l,o`*(
Z'(
*{9./8=88/&&'K7,2s,o`'.2
2*a+,./&'>
Z
Prepared by Fredrick Cheng 4A (5)
-
!"
#$
!"#$%&'()"**+) !,%./'(01)"23"#$%.%&4 !"#$%5'(.67(++!./%89):%;")"29/'(.672.#$RC"#"#2"
S
HE0#)"D4T%89,'(.67(+>)+)*
S+US
V
S,-
)#./
A(
W X+%Y.&)"**
S
HE02)"#42"9..=+!Z?/'()"**+>#$%..*
A
0
J
[
9". !D
A
\
A
]
S
%89 ! )^ ! 123
4
5 HE)IJC+_%8. `.`+.
A)6
:7%ZHE^2.#+!
+TS
)#a%89 !^) ! 78
9
: HE)IJ(+_%8.
29..=+!4? .^;%894 !D4)"##K 'C)"**+T%.^16B%b#
A
cD4*) * J
S
%89 !) ! 7;
9
: )# /
A
0
Ji%89hK#" !)"*j"eD_BC* %1*2"):%kR(h BC*
S
%89l%8.$%)*f#$BCDE'C g.
2".DE'(#):%.#+F+ ?2@ AB A? C
D D D D
E E E E
F F F
A
#$W
m.#+! @%89n)"D4* J #ec"2:%.#h
A
]g)K)"#
A[
9IJ #.6HoHE)#$%p%8.i29..=+!g?q'(.6J(+)"# \hKW !*+@%.q'(
!+1.#+!k'C*Z. r%89Z2"..3#K4#f)UHE"3
A
s#p9.6HtDf)"#6JpHE)IJC+F2")"#_%89Z29* !"#f.#f$B%J0'CZ29.=+!"#f
G
)
H
%89Z)IJ(+F.5$B%+F) !#.6%u+1"2"v
G
'
H
%89Z)IJ(+F.5$B%+F) !0+1"2""v
L=M
N=O!P
MQ
G
)
HIJ
w) !g+!DEBC* %)"#".6BG+!*kJl2"9..=+#K`? '(.6JC+4.6B%,.KLg)#`\gKW !*+4.6B%,.MNxH_ %89.6B%, !1*)"2""D4"#$%
S
H_9 !U%89Z. ! 5.529.2"Z+YB(#Df1. 8%)#$%
A"[
9 !".
S
%89 !Z) ! O P
Q R STUTUVW
X X
Y Z
HE)IJ(+Y%.f.+.
A
G
'
H[J
f y+%;k7
-
!" #
$
% !"#$
%
&'(
& )
Prepared by Fredrick Cheng 4A (5)
-
!
"
!"# $%& '(&''()* ,!-!,'(&!
& '&./0 1!
2
34 '(!56$7)8'( 9:;'
2
&8& 1 ?5=@ ;
A'&8
;= #:'BC9 D )*E $F%&@ 160:'$G
2HI
8$6!&'!==@ 1 )*J :K)* L
& 1
'
'
2
2
!,'(&!E& '&.4 $MN@ 1O4>( 1!
(P2
34'B
> .!5@*'(&9N@ 1O4
& ;-'('()* ,
)$ & 1 LQ'!,'&
2*"
1
!&'!':- 1 -!.''[email protected])$
& 1 *'*+,O'BCO(,S T!&'!':T 1 )*1 & 1 *&U@ L'((4:
'QJVO&US
,O)@O0 $4& 1 K @*:'BC L $W,&X@ 10)Y?@8* -.7:'BCO8',:
!X/
O)Z $H([O&*',:P/)A\[@/$
2I
'/!;MYM N0$7 1'.:8!$'' '
2
0>]1^
_
^`^
a_
bcdc
34 '(!0#+,O' 23 4 3 5 3 6 7
8 8 8 8 9
: : : : ;
?"* ;' 'BC*',:P
2[I
*,O)@O0 $
-.:'BC0',:? ' M N0+,O' *'/! 1!A@ @
A
B
2
C e D
E
F
! D
E
f
G H
I
'(/!!
2gh
1C
' M'(/ ,\+,'i!*' @
A
B
2
I
$7
E= E@ 1C8 1@() '6! 1!@ J
K
L
2MN
'BC'(!': E& 1 6)* .:
/&N@ 1O/'(/+,O'BCO(,; E BC':0+,O' OP Q R S
T T T
'* -.:'BC0',:P
2
h
1 T& )>1 J
K
L
j
V
(
;W$ @(
'
P,'.:RW$D& 1
(
#'!UT'T
'i:,F'
2;I
#!.'('[email protected] $9@0)* .: &%
*' XXC'&/(' k
2;I
*$7 '.:#'7
0l)*(-Y
Z Z
Z
Z
Z
e9>J@ 1C>Jl)*(
[X9CO'&/(' kS;=*&>', &* .'
,'.:X &
!6,O)@O? $M@(?'E&*,k50,O)@O? $m& 1 56& 7 !'.:% *:k
2
h
&
''0Jl)*(
8$7'i"= %:kSn#& 1 .
A'((8 $W8$7 1
$7'$G#!L'Bl.L ;
:k0oS& 1
2I
'/ 8& !M AS -.7:'BC0',:? '
'
n
p
p
o
o
o
p
p
(
A
+,O' OP Q R S
T T T
2
Y
V
J9 $[&':E(' k 34 !'.:E '
Z)Z Z
Z)Z
'
p
p
p
p
t
p
n
p
(
Z)Z Z)Z Z '
p
p
p
p
p
p
p
$
(
Z
Z
Z
Z
Z
'
p
o
o
o
o
o
p
p
(
Prepared by Fredrick Cheng 4A (5)
-
!
"#"!"#!$&"'()##*+,$-#"#./ $0-. 1
%2'(#-.-)#&3#"!/45(6.7/8- 9.:2;&79*.'( ) * +
, , ,
;+!?8"# '*
"#&;@*A+-.../B9($CDEF;G'HI"I
.
$8.G."##-J- IA#&/%8."##-K'(#--)
0E