!#"%$'&(#*)+$%,.-/0#1-32 

4#0#5 16$758:9<;=2?>@&BA7CD&?E FHGIA1JK#15$**5$L
&JM7NH"B7O1!BNPQJRF?!58$*SO=,&5#*)+$%,-51#1.-UT&.2/VF+&.XWZY#[
\^]__B`a

Interface Automata

Luca de Alfaro Thomas A. Henzinger

Dept. of Electrical Engineering Dept. of Electrical Engineering
and Computer Sciences and Computer Sciences
University of California, Berkeley University of California, Berkeley
Berkeley, CA 94720 Berkeley, CA 94720
dealfaro@eecs.berkeley.edu tah@eecs.berkeley.edu

ABSTRACT
bDc
dZef
g0h c
(ijgKkl5enmkBmg0e4opmqm%l5e4r4htsukvhw
.g0efx%sir4e4m hw
yg0efx0opm
1. INTRODUCTION
—„JelJzBx0l c m%e c si:o c |e4jwhw
J‚ jƒi
‚zJi‚ephwmHg c r
i7lg0zx0er4efx%…
c U
s dijwzJefm{i7
(|}| c o ihw
Jm4a~€elx0e4m%ef
g{iXjwhƒ‚„.g%…‡†De4hw‚„.g g1ihw
‰i7m%l5e4rfg0m c s²i|Be4m%hw‚
¶aÀ c x6„Ji7x1|†i7x0ežo c |e4jwhw
J‚<jui7
…
s c x0o ijwhwm%oˆg0„(ig r
ilBg0zx0e4mqg0„e€K#NH"B$Li7m%l5e4rfg0m c sm c sg%… ‚zJi‚e4mŸÎ*r
ijwjwe
|„(ix1|B†i7x0eŸ|efm%rfx0hwlg0h c
njui7
J‚z(i‚e4m1Ïlx c dhu|Be
†ix0er c opl c
Je4
.g‰hw
.g0efx%sir4e4m4a‹Šl5e4r4htŒ(r
i7jwjwk. †DezJm%ei7
g0„Je²Ž(i7m%hwms c x²|Be4m%hw‚
¶dijwhƒ|Jig0h c
^i7
(| mk
.g0„e4m%hwm4aÊÀ c xm c sg%…
izBg c o ig1i7…‡Ž(i7m%e
|jƒi
‚zJi‚eg c r4ilg0zBx0eŽ c g0„hw
JlJzBg‘im… †ix0eBo c |e4jwhw
J‚Ÿjƒi
‚zJi‚efmm%zJr1„ni7mšÐщ¢t`]
¯?ix0eHŽ5e4r c oq…
m%zJoplBg0h c
JmiŽ c zBgQg0„Je c x1|efxUhw
’†“„hwr#„”g0„JeIopefg0„ c |m c s hw
J‚<†“hƒ|Be4jtkIzJm%e4|'hw
‰|efm%hƒ‚
yi
J|I| c r4zope4
.g1i7g0h c
¶–ŽzgŸef•…
i3r c opl c
Je4
.gi7x0e:r
i7jƒjwe
|/+i
(| c zg0lJzBg=‚z(ix1i
.g0e4e4m6iŽ c zg r4e4lBg+s c xDdZefx%km%l5e4r4htŒ(rR| c o ihw
Jm4Zg0„efkpix0eRefhwg0„efx g c.c hw
s c x%…
g0„Je c x1|Befx,hw
3†“„Jhwr1„3g0„Je=r c opl c
Je4
.gRr
ijwjwm,ef•g0efx0
Jij–opefg0„B… o ij c xžg c.c „e
i
d.k,g c Ž5e+zJm%e
|ŸefÒ/e4r#g0hƒde4jtkhw
dijwhƒ|Jig0h c
^a–~€e
c |m4a'—„e s c x0o i7jƒhwm%o˜m%zJll c x%g0mizg c o i7g0hwr:r c oplJi7g0hwŽJhwjwhtgk lx0efm%e4
.gDijwhw‚„.g%…S†e4hw‚„g s c x0o ijwhwm%oÓs c xDr
ilBg0zx0hw
J‚,g0e4opl c x1ij
r1„Je4r1™mŽ5efgK†e4ef
‘hw
.g0efx%sir4e:o c |e4jwm4+i
J|€g0„zJm=r c
mg0hwg0zBg0e4m im%l5efrfg0m c s m c sgK†ix0er c opl c
e4
.gRhw
.g0efx%sir4e4m²†“„Jhwr1„3i7x0eŸŽ5ef…
i3gkBl5e mkmg0efo˜s c xpr c opl c
e4
.g6hw
.g0efx1ir#g0h c
^a‰šR
Jjwhw™Zepg%x1i7… k c
(|6g0„Jex0e
i7r#„ c s^g%x1i|htg0h c
(i7j(gkBl5e“mkBmg0e4opm4a ŠBl5efr4htŒ(r
i7jƒjtk.
|htg0h c
JijRzJm%e4m c s=i7zg c o i7g1iB c zx s c x0o ijwhwm%o›hwm ( Ž i7m%e
| c
†e“zm%eRi7
izBg c o i7g1i…‡Ž(im%e4|6jƒi
J‚z(i7‚e“g c r
ilBg0zx0e²im%m%zopl…
i
”#"J*N6O0*S :illx c i1 r „‘g c r c opl c m%htg0h c
^+i7
(| c ‘
i
”$Ltœ g0h c
mDi7Ž c zg g0„Je c 1 x |efx+hw
q†“„Jhwr1„qg0„Jeopefg0„ c |m c s^i,r c opl c …
K#15$*.-3ilJlBx c i7r#„3g c |efm%hƒ‚
3x0efŒ(
e4ope4
.g
a“Rrfr c 1 x |Bhƒ
‚pg c
Jef
gHi7x0e=r
i7jƒjwe
|/¶i
J|3g0„e c x1|e#x,hw
3†“„Jhwr#„3g0„e=r c opl c
e4
.g
g0„Je c lg0hwophwmg0hwrni7lJlBx c ir1„^žgK† c r c opl c
e4
.g0mix0e r c oplJi7g%… r
i7jƒjwm“ef•g0efx0
Jij/opefg0„ c B | m4a ŠBhw
r4e c zBx“jƒi
J‚z(i7‚ehwms c x0o i7j*Jhtg
 e4
dBhtx c J
hwŽJjwephtsg0„Je#x0eqhwmqOf7N p
ope4
.gHg0„Ji7gŸr
i7
Io i™eg0„Jefo r
i7
nŽ5e,zm%e
|
c g c
Jjtk wh
|Be4m%hw‚
<i
(|:| c rfzJope4
.g1i7g0h c
^ŽJzBg
† c x0™<g c ‚efg0„Je#x
aRrfr c x1|Bhƒ
‚:g c g0„e6i7jwg0e#x0
(i7g0hw
‚<i7lJlx c ir1„^ ijwm c hw
‘dijwhƒ|Jig0h c
^+hw
yl(i7x%g0hwr4zjƒi7x
Ds c xpr1„Jefr#™hw
J‚g0„Ji7g6g0„e
c
eqhw
.g0efx%s*i7r4eqx0efŒ(
e4mŸi
c 0
g „efxŸhtshtgŸ„(im†De
i™Ze#xŸhƒ
lJzBgŸim… c sÊg† c r c opl c
e4
.g0m²i7x0e=r c oplJi7g0hwŽJjwea²Šhw
Jr4eŸhw
…
hw
.g0efx%s*i7r4e4m
m%zJoplBg0h c
Jm4ži
(|'mg%x c
J‚efx c zg0lzg=‚zJi7x1i
.g0e4efm4a3~Ie m%„ c † g0efx%sir4e4m²ix0e c sug0e4
o6zr#„ % m hwoplJjwefxDg0„(i
:g0„JeRr c x%x0e4m%l c
(|Bhƒ
‚
g0„(ig–g0„Jefm%e
c g0h c
Jmž„JideD‚Zi7opef…Sg0„Je c x0efg0hwr+s c zJ
J|Jig0h c
Jmžg0„(ig hwoplJjwe4ope4
.g1ig0h c
Jm47†e“Ž5e4jwhwe4dZeg0„Ji7g htg+hwm hw
6g0„Jhwm i7x0e
i,†“„efx0e
jwe
i|‘g c ef pr4hwe4
.gnijw‚ c x0htg0„Jopmps c x:r#„e4r#™hw
J‚€r c oplJi7g0hwŽJhwjwhtgk s c 0x o ij opefg0„ c |Bmr
i
€Ž5eqo c mg=efÒ/e4r#g0hƒde4jtk'zm%e
|'g c i7hƒ|€hw

i
J|:x0efŒJ
Je4opef
g
a m c sug†i7x0e=|e4m%hw‚
^a

—„Je²lx0efdi7jƒef
g g%x0e4
J|qhƒ
pm c sgK†i7x0e,i
(|qmkBmg0e4oÓe4
‚hw
Je4e#x0hƒ
‚

Categories and Subject Descriptors
¡6a ]aw`H¢ £/¤(¥K¦1§=¨J©ª6«R¬?­5®¬^ªBª©7®¬?­(¯S°ž±²e
³.zJhtx0e4opef
g0m1´ŠBl5e4rfhwŒ…
hwmg c †ix1|m3 0NR"B/#Sœ ¹ $Of%8‘8.#O0ƒ-JaIRr4r c x1|hw
J‚Qg c g0„Jhwm

r
ig0h c
Jm4µ/¡6a ].a ]3¢ £¶¤(¥‡¦#§=¨J©ª'«H¬?­(®¬?ªª©®¬?­(¯S°R¡He4m%hw‚
U— c.c jwm illx c ir1„^
Jef†’m c sug†ix0e=|e4m%hw‚
mHix0eŸrfx0e
i7g0e4|<Ž.knr c o6Žhw
…
hw
J‚'lx0ef…‡ef•Bhwmg0hw
J‚€o c |BzJjwe4mq†“htg0„
ef†Ôm c sug†ix0e3g0„(i7g lBx c …
i
J|—?e4r1„J
hƒ³ze4m·¸>'
8!BLƒ#O3$(8yJK#4$Z 1#O0\p&5#*)+$%'L *œ
¹ %$7#‡#O0\ &J‡$7K€8S$
-$N6O7µŸ¡6a ]a º”¢ £¶¤(¥‡¦#§=¨J©ª»«R¬?­5®¬^ªBª©
¼ dhƒ|e4mʎ c g0„‚jwzJe“Ž5efgK†e4ef
6g0„Jer c opl c
e4
.g0m4.i7
(|
ef†ysz
Jrf…
g0h c
Jijwhtgk.aÊ
J|e4e4|¶Br c opl c
Je4
.g%…‡Ž(i7m%e
| |e4m%hw‚
^Ji
(| g0„Je,zm%e
®¬?­(¯S°+Š c sgK†ix0e´½žx c ‚7x1io¿¾ efx0htŒ(r4i7g0h c
·¸F?7#Nq$LNp#
8O7µ
c sRr c opl c
Jef
gjwhwŽx1i7x0hwe4m4i7x0enm%zJr1„‘mg1i7
(|i7x1|‰r c
r4e4lBg0mqhw

ÀDa ÁBaw`U¢ Â+¤(­5®ÃZÄU¨J¬–ÅXÆǪ¨(¬?®¬?­5Ä3¤(¥6È,©7¤J­(©¨5ɀÄf¯S° Šl5e4r4ht…
skBhw
J‚Ui7
(|‰¾+e#x0hwsukBhƒ
‚Ui
(|‰±²e
im c
Jhw
J‚'iŽ c zgq½Êx c ‚x1iopm· r4zBx%x0e4
.g^m c sgK†i7x0e+e4
J‚hw
Je4efx0hw
‚²g0„Ji7g^
Jef†'lx c ‚x1iopophw
‚jui7
…
‚zJi‚e4m4/m%zJr1„3imHÕZi
di5r c opei7jtx0e
i|k3m%zJllJjwhwe
|<†“htg0„g0„Je4htx
>€% 1$S 0$L^Ë#1 Ì+ 1$7*SJ\+&"% f Ì+ 1$7*SUK0 1.JSÍf!J#O
r c opl c J
ef
g jwhwŽx1ix0hƒefm4Ji7
(|qg0„Je²|Be4dZe4j c lope4
.g c s¶mkBmg0e4opm c s
i
.kŸm c lJJ„ hwmg0hwr
ig0h c
q† c zJjƒ|Ž5ez
g0„hw
J™iŽJjweʆ“htg0„ c zBgÊx0e4m c x%%
g …
General Terms hw
J‚Qg c jƒhwŽBx1i7x0hwe4m c sRr c opl c
Je4
.g0m4ay—„e<efÒ/efrfg0hwdZe:x0efzJm%e c s
bDc opl c
Je4
.g%…‡Ž(i7m%e
|<|Be4m%hw‚

r c opl c
Jef
g0mŸx0e
³.zJhtx0e4m6jui7
J‚z(i‚e4mqs c xpg0„Jen| c r4zope4
.g1i7g0h c

i
J|vhw
.g0efx%s*i7r4eUm%l5e4r4htŒ(r
ig0h c
c sŸr c opl c
e4
.g0m4“ij c
J‚‰†“htg0„
opefg0„ c |m6s c x:r#„e4r1™Bhw
‚'g0„Je<r c p o lJi7g0hwŽJhwjwhtgk c sr c opl c
e4
.g
hw
.g0efx%s*i7r4e4mhw
:i|Be4m%hw‚
¶a —„Je“s c x0o i7jwhƒm%o c s–Šg1ig0e4r#„Ji7x%g0m,¢ º7¯‡
ijwm c zJm%e
|3hw
QšÐÑʍ5hwmH†“hƒ|e4jtk3zm%e
|g c | c r4zJopef
gRr c opl c …

Jef
g Ž5e4„Ji
dBh c x
aÊÑ^hw‚„.g%…S†efhƒ‚„.gDr c
Jmg%x1i7hƒ
.g%…‡Ž(i7m%e
|qjƒi
‚z(i7‚e4m
s c xHr c opl c
e4
.g²m%l5e4r4htŒ(r
ig0h c
Q„(i
dZeŽ5e4ef
3lx0e4m%e4
.g0e
|nhƒ
‰¢ Ö
¯‡a
RzBg c o ig1i7…‡Ž(i7m%e
|<m%l5e4r4htŒJr
i7g0h c
mRs c x,r c opl c
e4
.g²Ž5e4„(i
dh c x
„(i
dZeDŽ5e4e4
qr c
Jm%hƒ|e#x0e
|qhw
¢t`×¯‡aÊØHzxÊs c x0o6zJjƒig0h c
c s5hw
.g0efx%…
s*i7r4e=r c oplJi7g0hwŽJhwjwhtgkhwm“x0e4jƒi7g0e
|3hw
3di7x0h c 
z m²x0e4m%l5efrfg0mRg c ¢t`
Á¯S
†“„Jhwr1„€i7jwm c r c
Jm%hƒ|efx0m,g0„emkB
.g0„Jefm%hƒm c s+r c opl c
Je4
.gi|Ji7l… im%m%zoplg0h c
pg0„Ji7gg0„eRe4
dhtx c 
ope4
.gD
e4dZefx‚e4
Je#x1i7g0e4mg0„e4m%e
g c x0mg c ŽBx0hƒ|‚eŽ5e#g†efe4
hw
Jr c opl(ig0hƒŽjwe,hw
g0e#x%s*irfe4m4a hw
Jlzg0m Îg0„Je‰à c lg0hwophwmg0hwr á c 3x #Ë
%7JN #Sœ 0O0*%$-?
dhwef†RÏ#a»K
vg0„Jhwm †i4k.“e4
dhtx c
Jopef
gpim%m%zJoplBg0h c
Jm:r
i7
Ž5e
~IeHr
ilBg0zx0eHg0„eHg0e4opl c x1i7j^´Øǎ5e4„Ji
dBh c x c s ir c opl c
e4
.g zJm%e4|=g c e4
r c |ex0efmg%x0hƒr#g0h c
Jm c
6g0„e c x1|Befx c s/opefg0„ c |=r4ijwjwm4
Ž.kyi
‘i7zg c o ig c
¶aI~„Jhwjwen†Deix0e
c g6g0„Je ŒJx0mg6g c B l x c … i
J| c
Ig0„Je6gKkl5efm c sx0efg0zx0
'di7jwzJe4m=i
J|€ef•Br4e4lBg0h c J
m4a<â+k
l c m%e'i
¸i7zg c o i7g1i7…‡ŽJim%e
|s c x0o ijwhwm%oÙs c x3o c |Be4jwhw
J‚ c zx r
i7lg0zx0hw
‚6e4
dhtx c J

opef
gim%m%zoplg0h c
m4Ji7
(|:Žkpsux0e4e4hw
J‚ B | ef…
illx c ir1„<hwm4Bhƒ
<ir4e#x%g1ihw
<hwopl c %
x g1i7
.gm%e4
m%e(|Bhƒiopefg%x0hwr
i7jƒjtk m%hw‚
efx0mžsx c o»g0„e c Žjwhƒ‚i7g0h c
c s5m%l5e4r4htsukhw
‚,x0e4m%l c
m%e4mžg c wh
…
c ll c m%e
|yg c g0„e<g%x1i|Bhwg0h c
(ijRillx c ir1„^a¸—„e<g%x1i|Bhwg0h c
(ij lJzBg0m–g0„(ig+r4i
J
c g c r4r4zBx+hw
qg0„ehƒ
.g0e4
J|e
|=e4
dhwx c
Jope4
.g
7hw
…
illx c ir1„vg c g0„Jeo c |Be4jwhƒ
‚ c siUr c opl c
Je4
.gqg0„Ji7gphw
.g0efx%… g0efx%sir4eHizg c o i7g1iŸlx c dhƒ|eRi=r c
Jr4hwm%eHi
(|qs c x0o ij5
c g1ig0h c

ir#g0mŸ†“htg0„‰i7
€e4
dhtx c
ope4
.gqÎ*
(i7ope4jtk. c g0„JefxŸr c opl c
e4
.g0m1Ï g0„(igDlJi7x1i7jƒjwe4jwmg0„eR
Ji7g0zx1i7jJ†i4k c s?efd c jwdhw
J‚=ir c opl c
Je4
.g%…
hwm:"#O0O0NO0*S °Ug0„Je3zJ
J|efx0jtkBhw
J‚€im%m%zJoplBg0h c
hwm g0„(i7g g0„e Ž(i7m%e
|<|Be4m%hw‚
¶a
e4
dhtx c
Jopef
gqhƒmpsux0e4e3g c Ž5e4„(i
dZeim:hwg:ljƒe4im%e4m4Ri
J|vg0„(ig
g† c r c opl c
e4
.g0m,ix0e6r c p
o l(i7g0hwŽjƒehtsH5 e4
dhtx c
Jopef
gRr
i7
—„Je c lBg0hwophƒmg0hwr'illx c i7r#„”„(i7m<m%e4defx1ij,x1i7ophwŒJr
i7g0h c
Jm c

jwe
i|‰g0„Jefo@hw
.g c i
‘efx%x c p x mg1ig0ea‰ÚRe4
Jr4e+g0„enl5e4m%m%hwophwmg0hwr g0„Je“g0e4r1„J
hƒr4ij/|efdZe4j c lope4
.g c s–i7
nhw
.g0efx%s*i7r4eHo c |Be4jwhw
J‚=jui7
…
illx c ir1„Ur c
Jm%hƒ|Befx0mRgK† c r c opl c
Je4
.g0m²r c oplJi7g0hwŽJjwe=hts g0„efk ‚zJi‚ea
Qr c opl c
e4
.g%…KŽJim%e
|3|Be4m%hw‚
¶ c
Je٠i7
g0mRg c „Ji
(|
r
i7
:Ž5e“zm%e
|6g c ‚efg0„JefxDhw
ni7jwj(mkBmg0e4opm4a–~Ie“Ž5e4jwhwe4dZe“g0„(ig+s c x c Ò<i
J|6x0efŒ(
e“i
phw
.g0efx%s*i7r4ezjwg0hwo ig0e4jtk6g c †ix1|mi7
phwoplJjwef…
|efm%hƒ‚
3lJzBx0l c m%e4m4(†“„efx0e=Ž c g0„<g0„e=r c opl c
e4
.g0m²i
(|:g0„Je4htx ope4
.g1i7g0h c
^–hw
J|e4l5e4
J|e4
.g c sg0„Je |efm%hƒ‚
c s c g0„Jefxr c opl c …
e4
dhtx c
Jopef
g=ix0enŽ5efhƒ
‚Q|e4m%hw‚
Je
|/ i
¸#"(*N6O0*S pdhwef†Ûhwm
Jef
g0m4a€
Ig0„e:g%x1i|htg0h c
(i7j*l5e4m%m%hwophwmg0hwr<dhwef†D†“„efx0e:g0„e
o c x0eU
(ig0zx1i7jSa bDc opl c
e4
.g0mix0e'zm%z(ijwjtk”|efm%hƒ‚
Je
|z
… hw
.g0efx%s*i7r4e6r
i7lg0zBx0e4m c
jtk3g0„Je=jƒef‚Zij r c opl c
Jef
gRŽ5e4„Jidh c x0m4
|e#x“im%m%zoplg0h c
miŽ c zgg0„eHe4
dhtx c
Jopef
g
µ†“„Je4
g0„Jefk:ix0e x0efŒJ
Je4ope4
.g ope
i7
JmÊg c r1„ c.c m%e,i7
(|qhwoplJjwe4ope4
.g+il(ix%g0hƒrfzJjƒi7x
r c opl c m%e
|/D†e<m%„ c zjƒ|vr c opl c m%ei7jwm c g0„Je4htxpe4
dhtx c
ope4
.g jwe4‚Zi7j“Ž5e4„(i
dh c x
ay
‰g0„e c lg0hwophwmg0hƒr<illx c i7r#„¶+g0„enhw
.g0efx%…
im%m%zoplg0h c
m4až²r4r c x1|Bhw
J‚jtk.7g† c r c opl c
e4
.g0mži7x0e+r c oplJi7g%… s*i7r4er
i7lg0zBx0e4mq
c g c
jtk‰g0„Je<jwe4‚ij²r c opl c J
e4
.g6Ž5e4„(i
dh c x0m
hwŽJjwephtsg0„Je#x0eqhwmqOf7N pe4
dBhtx c
Jope4
.gHg0„Ji7gŸr
i7
Io i™eg0„Jefo ŽJzBgi7jƒm c i
'im%m%zJoplBg0h c
'iŽ c zBgg0„Jee4
dBhtx c J
ope4
.g
/hw
Ug0„e
† c x0™Ig c ‚efg0„Jefx
+m%hwo6zjwg1i7
Je c J z m%jtk‰m0ig0hƒmsukBhƒ
‚'Ž c g0„ c s²g0„Je4htx s c x0o c sJl5e#x0ophƒm%m%hwŽjƒe e4
dhtx c
Jopef
g¶Ž5e4„Ji
dBh c x0m4a–±²efŒ(
e4ope4
.g

e4
dhtx c
Jopef
g²i7m%m%zJoplBg0h c
Jm4aÚRe4
Jrfe5zJ
J|efx“g0„e c lg0hwophwmg0hwr g0„Jef
^/ope
i7
JmRg c r1„ c.c m%eqio c
‚pg0„Je6jwe4‚ijÊr c opl c
Jef
gRŽ5ef…
illx c ir1„qg† c r c opl c
e4
.g0m i7x0e“r c oplJi7g0hwŽJjwehts/g0„Jefkr
i7
qŽ5e „(i
dh c x0mʆ“htg0„ c zBgDx0e4mg%x0hwrfg0hw
‚Ÿg0„e“l5efx0ophwm%m%hƒŽjweRe4
dhtx c
ope4
.g
zJm%e4|€g c ‚e#g0„Jefxphw
yigqjwe
img c
Jen|efm%hƒ‚
^aU~Ie †“hwjƒj“|Be4o c
B… Ž5e4„Jidh c x0m4a}Ði7g0„e4o i7g0hwr
i7jƒjtk¸m%l5e
i7™hƒ
‚Rx0efŒ(
e4ope4
.gnirfg0m
mg%x1i7g0eg0„Ji7g g0„Je c lBg0hwophƒmg0hwr“dhwef†Z†“„Jhwr1„pim%m%zope4m+i,„Je4jwlszJj r c
g%x1i
di7x0hƒi
.g0jtk c
nhw
JlJzBg“im%m%zoplg0h c
m“i
J| c zg0lJzBg‚zJi7x%…
e4
dhtx c
Jopef
g
7jwe
i|mÊg c i,m%hwoplJjweZrfjƒe4i
^Zi
J|6l c †efx%szJjg0„ef… i
.g0e4efm4°g0„Je6s c x0opefx=r
i7
€Ž5eqx0e4jƒi7•Be
| c J
jtk/µ–g0„eqjƒi7g%g0efx=r
i7

c x%k c shw
.g0efx%s*i7r4epizBg c o ig1iB¶†“„Jhwr#„'i7x0egkBlJhwr
i7jƒjtkQm%o i7jƒjwefx
 Ž5eRx0efmg%x0hƒr#g0e
| c
Jjtk.a —„Jhwmjwe
i|Bmg c i=
c 0g h c
c s$L K##($*.-
i
J|Ig0„Bzme4im%hwefx c
‰g0„e:zm%efx
 g0„(i
Ig0„e:g%x1i|htg0h c
Jij“l5e4m… m%hwo6zjuig0h c
€¢ ]
¯žimx0efŒJ
Je4opef
g
a
m%hwophwmg0hƒrQhw
.g0efx%s*i7r4eQo c |e4jwm4†“„hƒr1„o6zmg Ž5e3lx0e4lJi7x0e
|‘g c
r c l5e,†“hwg0„ijwj?e4
dhtx c
ope4
.g0m4a ŠBefr c
J|¶7g0„Je c lBg0hwophƒmg0hwrdhwef†vhƒopljwhƒefm+iR
c g0h c
c s/hw
.g0efx%s*i7r4e
r c opl c m%htg0h c
g0„(ig,jwe
i|mRg c m%o i7jwjƒe#x,r c opl c zJ
J|izBg c o ig1i
ØHzx3s c x0o 7 i jƒhwm%o c s3JK#4$Z 1v$!‡Nq$‡$¸hƒmUmkB
.g1irfg0hwr
i7jƒjtk g0„(i7
g0„el5e4m%m%hwophwmg0hƒrdhwef†aʇsJg† c hw
.g0efx%s*i7r4e²izg c o i7g1iRi7x0e
m%hwophwjuixHg c 0 g „e%´ØÜizBg c o ig1i c s²¢ Ý7¯Sa“
.g0efx%sir4e=izBg c o ig1i r c opl c m%e
|/Dg0„Jenx0e4m%zJjtg o i4k‰r c
g1i7hw
Ü##ŸO0‡$K#OZ†“„efx0e
hw
.g0efx1irfgRg0„x c zJ‚„g0„emkB
r#„Bx c
JhwÞ
ig0h c
c s+hw
JlJzBgRi
(| c zg%… c
e“izBg c o i7g c
p‚e4
efx1i7g0efmDi7
c 
z g0lzgžg0„Ji7g+hƒm+i
phwjwjwe4‚Zi7j(hw
…
lJzBg+irfg0h c
m4†“„Jhwjwe²g0„e²hw
.g0efx0
Jij(i7rfg0h c
m c s¶r c
Jr4zBx%x0e4
.gi7z… lJzBgRs c xg0„e c g0„JefxŸi7zg c o i7g c
¶a,~„hƒjweŸg0„Jemg1i
(|i7x1|3l5e4m…
g c o ig1i€ix0ehw
g0e#x0jƒe4ide
|vi7mkB
Jr1„x c
c zm%jwk.av
lJzBgpir#g0h c
Jm m%hwophwmg0hƒr3dhwef†Ô† c zJjƒ|{r c
Jm%hƒ|e#x:g0„e<g† c hw
.g0efx%s*i7r4e4m g c Ž5e
i7x0e zm%e
|Ug c o c |Be4j lx c r4e
|Bzx0e4m c x6opefg0„ c |m,g0„Ji7gŸr
i7
IŽ5e hw
Jr c opl(ig0hƒŽjwež†eps c jwj c †ãi7‚Zihw
‘i
c lg0hwophwmg0hwrni7lJlBx c ir1„^°
r
i7jƒjwe
|/i7
(|Ig0„Je:x0e4r4e4hwdhw
J‚Ue4
(| c sHr c opozJ
hƒr4i7g0h c
‰r1„(i7
… ßzmgi7m<e
i7r#„hw
J|hwdhu|Bz(i7jHhw
.g0efx%s*i7r4e'e#•l5efrfg0m:g0„eQe4
dBhtx c
…

Jefjƒm4,im†De4jwjŸimg0„JeQx0efg0zBx0
”j c r
ig0h c
Jmsux c o›m%zJr1„’r
i7jwjƒm4a ope4
.gDg c lx c dhu|Be c
Jjtk:jƒef‚Zij^hw
JlJzBg0m4Bm c g0„Je,r c opl c z
(|phw
…
ØHzg0lzgDirfg0h c
Jm“i7x0eHzJm%e
|qg c o c B | e4j(lBx c r4e
|zBx0e c xopefg0„ c | g0efx%sir4eef•Bl5e4rfg0mRg0„eef
Bdhtx c
ope4
.g“g c mg0e4e#xi4†i4k3sx c oäi7jƒj
r
i7jƒjwm4?ope4m%m0i‚eg%x1i
m%ophwm%m%h c
Jm4¶g0„Je6irfg c sDx0efg0zBx0
Jhw
J‚:isg0efx efx%x c x–mg1i7g0efm4až—„Je ef•Bhwmg0e4
Jrfe c sJijwe4‚ij.e4
dhtx c
Jopef
g/s c x?g0„e
i r
ijwj c xŸopefg0„ c |<g0efx0ophw
(ig0e4m4^i
(|Qef•Br4e4lBg0h c
JmRg0„(i7g,i7x0hwm%e r c opl c m%htg0h c
c s“gK† c hw
g0e#x%s*irfe4mqhw
(|Bhƒr4i7g0e4m=g0„(i7g=g0„Jephw
.g0efx%…
|zBx0hw
J‚“opefg0„ c |Ref•Be4r4zg0h c
^a bDc opl c
e4
.g0m–i7x0e+|efm%hƒ‚
Je
|z
… s*i7r4e4mRi7x0e 0NR"B$* ¹ Lƒ#\/h*a eaw(g0„(igg0„Jefx0ehwm²i6†i4k g c zJm%e,g0„e
|e#x6i7m%m%zJoplBg0h c
Jm=iŽ c zgŸg0„Jefhwxe4
dhtx c
Jopef
g
µ^g0„(ighwm4žg0„e r c x%x0e4m%l c
J|hw
J‚‰r c p
o l c
e4
.g0m g c ‚efg0„efxni
J|¶Ri7g g0„Je3m0i7ope
|efm%hƒ‚
”|e4m%rfx0hwŽ5e4mng0„JeUŽ5e4„(i
dh c x c sg0„e'r c opl c
e4
.g c
Jjtk g0hwopee4
m%zx0eHg0„Ji7gg0„JeRe4
dhwx c
Jope4
.gim%m%zJoplBg0h c
Jm c s–Ž c g0„
zJ
J|efxŸef
Bdhtx c
ope4
.g0m,g0„(igm0ig0hwmsk€g0„e im%m%zoplg0h c
m4a<À c x i7x0e opefg
a<—„Jepx0e4m%zjtg0hƒ
‚‘ 17NH"BO0K=JK#4$Z 1$!‡Nq$‡
ef•iopljweg0„eR|Be4m%hw‚
c s¶i
c Žßefrfg%… c x0hwe4
.g0e
|pm c us g†ix0eRr c oq… r c o6ŽJhw
e4m
c g c
Jjtkng0„eŽ5e4„(i
dh c x0m c sžg0„e,g† c r c opl c
e4
.g
l c
e4
.gpo i4kyim%m%zopeng0„Ji7gqg0„e<opefg0„ c |yr4ijwjwm c rfr4zx hwv
i hw
.g0efx%s*i7r4e4m4¶ŽJzBgHi7jwm c r c o6ŽJhw
e4m²g0„eŸe4
dBhtx c
Jope4
.gRim%m%zopl…
m%l5e4r4htŒJr c x1|efx
(i
J|hwg²o i4knŽ5e4„(i
dZeŸi7mH|Be4m%htx0e
| c
jwknhw
x0ef… g0h c
m c sDg0„e6r c opl c
e4
.g0m,hw
g c g0„Jejwe
imgŸx0e4mg%x0hwrfg0hwdZeqr c oq…
m%l c
m%e+g c m%zJr1„lx c l5efx0jtk c x1|Befx0e
|r
i7jƒjwm4aÊK
m%hƒophwjƒi7x?s*im%„h c ^

 l c m%htg0eef
Bdhtx c 

ope4
.g–i7m%m%zJoplBg0h c
z
(|Befx–†“„Jhwr1„g0„eDr c opl c …
hw
.g0efx%s*i7r4e€i7zg c o i7g1iyir4rfe4lg c
jwk{m c opeQhw
JlzgnŽ5e4„(i
dh c 0 x m
Jef
g0m/r
i7
† c x0² ™ g c ‚efg0„Jefx
a–Rjw‚ c x0htg0„Jophwr
ijwjtk.g0„JeÊr c opl c m%htg0e
‚ef
Jefx1ig0e
|{Ž.kyg0„Jee4
dhtx c
ope4
.g
i
J|‘g0„efkv|e4m%rfx0hwŽ5eg0„e izBg c o ig c
<hwm“r c
Jmg%x0zJr#g0e
|<Ž.k:lx0zJ
hw
J‚sux c o}g0„JeHlx c |zrfg
r c opl c
Jef
g Ž5ef„(i
dh c x:zJ
(|Befxpg0„ c m%e3hw
JlJzBg0m c
Jjtk.a”šH
jwhƒ™e c s²g0„Je r c opl c
e4
.gqi7zg c o ig1iQijwjmg1i7g0e4msx c o˜†“„Jhwr1„yg0„e
%´ØÛizBg c o 7 i g1i^†“„hwr#„'i7gŸe4defx%kQmg1i7g0eqozJmgŽ5e=x0e4r4e4lBg0hwdZe e4
dhtx c
Jopef
gHr
i

c glBx0e4dZe4
.g=i7
€efx%x c x6mg1ig0eqsx c oåŽ5e4hw
‚
g c †ix1|m,e4defx%kl c m%m%hƒŽjweqhw
JlJzBg,i7rfg0h c
‘Îg0„JeQàl5efm%m%hƒophwmg0hwr á e4
.g0efx0e
|Uhw
c
e c x=o c x0epmg0e4lm4an—„Jhwm6i7jw‚ c x0htg0„o˜m c jwdZe4mi
c x "(!Sœ#($ ¹ Lƒ%8^–dhwef†RÏ#–s c xhw
g0e#x%s*irfeni7zg c o i7g1iB–i7g=e4d.… -Z$NpHŽ5efg†De4e4
ng0„eHlBx c |zJr#g“izBg c o i7g c
'Ά“„hwr#„ni7g%g0e4oplBg0m
efx%knmg1i7g0eŸm c opehw
lJzg0m“o i4k:Ž5eŸhƒjwjwe4‚ij*a²â+kn
c gHirfr4e4lg0hw
‚ g c ‚efgqg c i
‘efx%x c x mg1i7g0eÏ6i7
(|Ig0„Jene4
dhwx c
Jope4
.gnΆ“„Jhwr1„
r4efx%g1i7hw
hƒ
lJzBg0m4g0„Je3hw
.g0efx%s*i7r4eUizg c o i7g c
ef•Blx0e4m%m%efm:g0„e i7g%g0efoplg0mg c lx0e4de4
.gg0„Jhwm1Ï#aQR
€hƒ
.g0efx0efmg0hƒ
‚Qm%l5e4r4hƒijr4im%e
hwm:g0„Ji7g c spO1-LƒfœS0%$Z8.%8hw
.g0efx%s*i7r4eUizg c o i7g1izJm%e
|‘g c m%zJr1„ni6r c opl c
Je4
.g
°Êisg0efx²r
i7jwjƒhw
‚qg0„Je,opefg0„ c |QNO-5htg²irf…
o c |efj5mkmg0efopmhƒ
†“„Jhwr1„ c
Jjtk c
JeRg0„x0e
i| c ž s ef•Be4r4zBg0h c
<hwm r4e4lBg0m^g0„e x0efg0zBx0
di7jwzJeRè/7ŽJzBg–| c e4m–
c gži7r4r4e4lBg–g0„JeÊx0efg0zx0

ir#g0hƒdeŸi7gHi
.k:‚hwdZe4
<g0hwopeaDÀ c x²g0„e4m%eŸizBg c o ig1i†eŸhw
.g%x c … dijwzJe²4$LSaR—„eef•Bl5e4r#g1i7g0h c
g0„Ji7g²g0„JeŸx0efg0zx0
dijwze=hwm6è
|zr4eŸi6m%l5e4rfhui7jwhƒÞfe
|3
c g0h c
c sÊr c opl c m%htg0h c
¶Js c xR†“„hwr#„g0„e hwmi7
ni7m%m%zJoplBg0h c
pŽ.kg0„eRr c p o l c
e4
.g=2 7NH"<iŽ c zBgDhtg0mef
…
lx c |BzJrfg“lBx0zJ
hƒ
‚6jwe
i|m“g c l(ix%g0hwr4zJjƒi7x0jtk<ŽJhw‚qm0i
dhƒ
‚m4a dhtx c
Jopef
g
µ“g0„Ji7g:hwm4²g0„e3r c p
o l c
Je4
.g‰2 NR"¸hwm<|Be4m%hw‚
Je4|
g c Ž5e“zJm%e4| c
jwk†“htg0„qope4m%m0i‚ef…Sg%x1i
m%ophƒm%m%h c
:m%e#x0dBhwr4efm g0„Ji7g
Rm:iIr c
Jm%e
³.ze4
Jr4e c sŸg0„Je3lx0z
Jhw
J‚Bg0„JeQr c opl c m%htg0h c
c s r
i7
J
c gs*i7hƒj*a
g† c hw
g0e#x%s*irfe€i7zg c o ig1i€„(i7m<i‰
c
Jefoplgkym%e#g c smg1ig0e4m
htÒ{g0„e:gK† c izg c o i7g1iQi7x0enr c oplJi7g0hwŽJjweaI—„Jhwm6z
(|Befx0jwhƒ
e4m 
<À–hw‚zx0ep`Î*rφDeŸlx0e4m%e4
.g“g0„JelBx c |zrfgQé^Of#²ê»2 NH" c s
i:|htÒ/efx0e4
r4e6Ž5efgK†e4ef
Qg0„e c lg0hwophwmg0hƒr6illx c i7r#„¶¶ef•Be4oplJjwht… g0„Jeg† c i7zg c o i7g1iv2 NR"yi
J|é¶O4#a<ë+i7r#„€mg1i7g0e c sg0„e
Œ(e4|{Ž.kvhw
.g0efx%sir4eUizBg c o  i g1iB²i
J|‘g0„e3zJm%z(i7jHl5e4m%m%hwophwmg0hwr lx c |BzJrfg r c
Jm%hwmg0m c s¶i,mg1i7g0e c s=é¶Of#Rg c ‚efg0„efx †“hwg0„ R
i mg1i7g0e
illx c ir1„^aQ
'g0„Je c lBg0hƒophwmg0hwr:illx c i7r#„¶Êr c opl c m%hw
J‚3g† c c s“2 NR"–a ë ir1„:mg0efl c s¶g0„Je²lx c |zrfg+hƒm+e4htg0„Jefxi“ß c hw
.gHNO-
r c opl c
Jef
g0m hwmDr c
Jr4eflg0z(i7jwjwkqr c opljƒe#•Î*ŽJzBg r c p o lzg1i7g0h c
… mg0e4l¶ †“„hwr#„‰x0e4lBx0e4m%e4
.g0m6g0„Je r
i7jwj c sRg0„enope#g0„ c |{N6O-€Ž.k
ijwjtk‰jwhw
Je
ixqg0hwopeÏ#ÊŽ5e4r
i7zJm%e:htg6x0e
³.zJhtx0e4m=g0„Je m c jwzBg0h c
c sHi é¶O4# c xHiHß c hw
.g6è<mg0e4l^†“„Jhwr#„x0eflx0e4m%e4
.g0m“g0„Je,g0efx0ophw
Ji7…
‚Zi7ope€Ž5efgK†e4ef
¸g0„e€r c opl c
e4
.g0mi
J|g0„Je€ef
Bdhtx c
ope4
.g
 g0h c
c sžg0„JeHopefg0„ c |3N6O- †“htg0„<x0e#g0zx0
<dijwzepè5 c xRi6mg0efl
ŽJzBg:r#„e4r#™hw
J‚€r c oplJi7g0hwŽJhwjwhtgk. c
r4e3g0„Je3r c opl c m%htg0h c
„Jim c sp2 7NH"‘r
ijwjwhw
J‚3g0„Je opefg0„ c |vOf#58 c s“g0„JeQÎ*zJ
m%l5e4r4htŒ(e
|JÏ
Ž5e4e4
Qr c oplJzBg0e
|¶Jhƒm²g%x0hwdBhƒi7jSaH
3lJi7x%g0hwr4zJjƒix
¶g0„e c lg0hwophwmg0hwr r1„(i

Je4j* c ximg0e4l c sp2 7NH"‰x0e4r4efhƒdhw
J‚g0„eqx0efg0zx0
€di7jƒze
illx c ir1„ c Ždhƒi7g0e4mžg0„e
Je4e4|Ÿs c x ef•BlJjwhwr4htg0jtkm%l5efr4htskBhw
J‚r c
… $Z 1è c xD5$Z 1èHsx c o”g0„e+r1„(i7
J
JefjSa bDc
m%hu|Befx–g0„eÊs c jwj c †“hƒ
‚,m%ef…
m%hwmg0e4
Jr#klBx c l5efx%g0hwe4mʎ5efgK†e4ef
qr c opl c
Je4
.g0m4a?
=r c
.g%x1img
hw
³.zJe4
r4e c se4dZe4
.g0m4až—„e+r c opl c
e4
.g6é¶Of#“r
ijwjwm–g0„Je opefg0„ c |
g0„Jezm%z(i7j^l5e4m%m%hwophwmg0hwr=ilJlBx c i7r#„¶(r c opl c m%hw
J‚qr c opl c
e4
.g0m N6O-(µ+g0„e4
Ç2 NR"‘r
ijwjwm6g†“hwr4e g0„Je opefg0„ c |vOf#58‰i7
(|€x0ef…
hwmpr c
r4e4lBg0z(ijwjtk‘m%hwoplJjweŽzg6r#„e4r#™hw
J‚Qs c x:r c oplJi7g0hwŽJhwjwhtgk r4e4hwdZefmDg†“hwr4eHg0„eRx0efg0zBx0
di7jƒze($Z 1è/Bhw
(|hwr
ig0hw
J‚g%x1i7
Jm%ophwm…
x0e
³.zJhtx0e4m<„Bzo i
¸m%zJl5e#x0dBhwm%h c
”s c xQlx c dhu|Bhw
J‚‘r c 

m%hƒmg0ef
Jrfk m%h c
qsihwjwzx0ea —„hƒm m%e
³.zJef
Jr4e c s/efdZe4
.g0mʎx0hw
J‚m+zmÊg c mg1ig0e²ì
lx c l5efx%g0hwe4m4Di
(|IlBx c.c s²g0„(ig6g0„Je#kI„ c jƒ|Ihƒ
‰g0„enr c opl c m%e
| c s5g0„e“lx c |zrfg+izBg c o i7g c
^Z†“„hwr#„pr c x%x0e4m%l c
J|m g c mg1i7g0eŸ`
mkBmg0e4oa c sé¶Of#i7
(|6mg1ig0eRì c s“2 NH"^aÊ
6mg1ig0eHìZg0„Jer c opl c
e4
.g
2 NR"€g%x0hwe4mHg c 0 x e4l c x%g,sihwjwzx0epŽ.kx0efg0zBx0
Jhw
J‚4$LS^ŽJzBg,
c g
â+kÇe4
(i7ŽJjwhw
J‚”izBg c o i7g0hwryr c opl(i7g0hwŽhƒjwhtgkÇr#„e4r1™BmQŽ5efgK†e4ef
ef•Bl5e4rfg0hw
‚6s*i7hƒjwzBx0e5g0„JeŸr c opl c
Jef
gQé¶Of#q| c e4mH
c gHir4r4eflg
r c p o l c
Jef
ghƒ
.g0efx%sir4efm€i7
(ij c ‚ c zmUg c 0 g „ c m%eyiÒ c x1|Be
|’Ž.k g0„Jex0efg0zBx0
3di7jwzJeR4$*L–hw
3mg1ig0en`a²~Ie=|Be4r4jƒi7x0e=g0„JeQàz
Jef•…
r c
Bde4
.g0h c
(i7jDgkBl5e mkBmg0e4opm4ž†“„Jhwr1„ys c r4Jz m c
ydi7jwzJe4m6i
(| l5e4rfg0e4|ámg1i7g0e²ì c s5g0„e“lx c |zrfg+izBg c o i7g c
é^Of#?êv2 NR"
| c o ihw
Jm4hƒ
.g0efx%sir4eUi7zg c o ig1i c Ò/e#x<i’àKgkBl5e3mkBmg0e4oæs c x g c Ž5eq*LLƒS-Z$LS(Ž5efr
izm%e=htsÊg0„Jeef
Bdhtx c
ope4
.g²im%m%zoplg0h c
c s
r c opl c
Jef
g“hw
.g0efx1i7rfg0h c
^ á i7m²lBx c lJi‚Zig0e
|<hw
I¢ ç¯Sa g0„Je3r c opl c
e4
.g‰2 NH"¸hwm:m0i7g0hwmŒ(e4|Žkvhtg0m e4
dBhtx c
Jope4
.g

g0„Jef
ng0„Jhwmmg1ig0e| c e4m“
c g c r4r4zx
a

—„Je#x0eqi7x0eg† c †i4kBm c s|e

i7jwhƒ
‚<†“htg0„'hwjwjwe4‚Zi7jDmg1ig0e4m4aq—„e
2. A PREVIEW OF INTERFACE mg1i
J|Jix1|íàl5e4m%m%hwophwmg0hwr4á”illx c i7r#„Çr c
m%hu|Befx0m'gK† c hw
.g0efx%…
AUTOMATA
~IeDhƒjwjwzJmg%x1ig0eg0„Je+Ž(im%hwrse
i7g0zBx0e4m c s5hw
.g0efx%s*i7r4ei7zg
c o ig1iRŽ.k s*i7r4e4m–hw
r c oplJi7g0hwŽJjwe hwsg0„e+lBx c |zJr#g?r
i7
x0e
ir1„Ÿhƒjwjwe4‚ijmg1i7g0e4m4a

illJjtkBhw
J‚Hg0„e4o»g c g0„Jeo c |Be4jwhw
J‚

c s¶i,m c sgK†ix0e²r c opl c
e4
.g 
qg0„eRe#•Ji7oplJjweZg0„eRr c opl c
e4
.g0mné¶Of#Ÿi
J|‰2 7NH":† c zjƒ|

g0„(igphwoplJjwe4ope4
.g0mi'ope4m%m0i7‚ef…Sg%x1i7
Jm%ophwm%m%h c
{m%e#x0dBhwr4ea{—„e Ž5e<hw
r c oplJi7g0hwŽJjweDm%hƒ
r4e3mg1i7g0eì'hwmqx0e

ir1„(i7ŽJjwe3hw
ãé¶Of#=ê

r c opl c
Jef
gH„(i7minopefg0„ c |IN6O-5¶zm%e

|Qg c m%e4
J|Uope4m%m0i7‚e4m4a 2 NR"??i
(|Xé¶O4#:i7
(|2 NH"'† c zJjƒ|'Ž5e6|e4r4jƒix0e
|'hw
Jr c oq…

~„e4
Je4defx+g0„hwmDopefg0„ c |6hwmDr
i7jƒjwe
|/g0„Je“r c po l c
Je4
.g x0efg0zx0
m l(ig0hwŽJjweBŽ5e4r
i7zJm%en2 7NH"3| c e4m
c gŽ.kphtg0m%e4jtsžm0ig0hƒmsuk g0„JeHef
…

e4htg0„Je#x<
è c xH4$*L*an— c l5efx%s c x0oäg0„hƒmŸm%efx0dhwr4ežg0„eqr c opl c … dhtx c
Jopef
g²i7m%m%zJoplBg0h c
c s é¶O4#5
Jiope4jtk.g0„(i7gRe4dZe#x%kr
i7jƒj

Jef
g“x0e4jwhwe4m c
Qi
<hƒ
.g0efx%sir4eŸg c iqr c p o o6zJ
hwr

i7g0h c
nr#„Ji

Je4j g c NO- x0efg0zBx0
Jmg0„Jedijwze4$*LSa

g0„(ig lx c dhƒ|e4mpg0„Je<opefg0„ c |¸O4#(8‘s c : x m%e4
(|Bhw
J‚Iope4m%m0i7‚e4m4a

—„Je²g† c l c m%m%hwŽjƒeRx0efg0zx0
dijwzJe4mi7x0ep$Z 1è5.†“„Jhwr#„nhw
(|hwr
ig0e4m —„Jel5efm%m%hƒophwmg0hwr²illx c 7
i r#„6hƒm+illx c lx0hƒi7g0e†“„Jef
6g0„JelBx c |B…

i<m%zr4r4e4m%mszJjÊg%x1i
Jm%ophwm%m%h c
¶Êi
J|‘($Z 1è/¶†“„Jhwr#„€hƒ
J|hwr

ig0e4m=i zJr#g?mkBmg0e4o”hwm?r4j c m%e4|¶ažÚ c †De4dZefx

g0„e+lBx c |zrfgé¶Of#.ê<2 NR"

s*i7hwjƒzBx0eaŸ~„Jef
Qg0„eope#g0„ c |€N6O-hwm,hw
d c ™Ze4|¶5g0„Je=r c opl c … hwm<i7‚Zi7hƒ
”i7
c 5 l e4
mkBmg0e4o†“htg0„¸i
ef
Bdhtx c
ope4
.gp·{g0„e

Jef
gÊg%x0hwe4mÊg c m%e4
(|=g0„Je“ope4m%m0i‚ei7
(|x0e4m%ef
(|m htgDhts5g0„e“Œx0mg r c opo6zJ
hwr
i7g0h c 6
r#„Ji
J
e4j ·î†“„Jhwr1„ lx c dhu|Be4mR$Z 1è i7
(|<($Z 1è

g%x1i
m%ophwm%m%h c
s*ihwjwm4aÊKsBŽ c g0„Ÿg%x1i7
Jm%ophwm%m%h c
m^s*i7hwjSg0„JeÊr c opl c … dijwzJe4m^g c é¶O4#Jê'2 NR"?aÊâ k=|e4r4jƒix0hƒ
‚€é¶O4#²i7
(|Q2 NH"g c

Jef
gRx0e4l c x%g0mRs*ihwjwzx0eµ c 0g „efx%†“hwm%e^hwgHx0e4l c x%g0m,m%zr4r4e4m%m4a=—„e Ž5e,hw
Jr c opl(ig0hwŽJjweg0„JeRl5e4m%m%hwophƒmg0hwrŸi7lJlx c ir1„ns c x0e4r4j c m%e4m c

hw
.g0efx%s*i7r4e=izg c o i7g c
v2 NR"3o c |e4jwhw
J‚g0„Jhwmr c opl c
Je4
.g“hwm g0„JeDl c m%m%hwŽJhwjwhtgk6g0„Ji7gžg0„er#„Ji
J
e4jhwm+„e4jwlszjJi7
(|=o i™Ze4m–g0„e

hwjwjƒzmg%x1i7g0e
|nhƒ
<À–hw‚zx0e`ZÎ*Ž5Ï#a —„eizBg c o ig c
v2 7NH"hwm
c g g† c r c opl c
e4
.g0m† c x0™ g c ‚efg0„Je#x
a+K
:sirfg
g0„Je,l5efm%m%hƒophwmg0hwr

x0e4r4eflg0hwdZeµ5htg0mRhƒjwjwe4‚ijÊhw
JlJzBg0mHix0ezm%e
|<g c m%l5e4r4htsukQim%m%zopl… illx c ir1„vx0eße4rfg0m:i
c l5e4
vmkmg0efoˆhts,g0„Jefx0e<hƒmO#NpQef
…

g0h c
mqiŽ c zgg0„Je:e4
dBhtx c
Jope4
.g

aUÀ c xqef•iopljweÊg0„Je hw
JlJzBg dhtx c
Jopef
g,zJ
(|Befx,†“„hƒr1„Ihtg=Ž5e4„(i
dZefmhƒ
r c x%x0efrfg0jtk.a 
€lJi7x%…

N6O-yhƒm:i7r4r4e4lBg0e
| c
jtk{hw
mg1ig0eQ_Ba’—„Jhwm x0e4lx0e4m%ef
g0mpg0„e g0hwr4zJjƒix
5g0„JeŸl5e4m%m%hwophwmg0hƒr6illx c i7r#„3sihwjwm,g c lBx c J
l i‚Zig0e=g0„e

im%m%zoplg0h c
‘g0„(ig
 c
r4eg0„Je3opefg0„ c |¸NO-‘hwm r
ijwjwe
|¶“g0„e e4
dhtx c
Jopef
g^i7m%m%zJoplg0h c
c s²é^Of#g c htg0m?r c p o l c %m htg0h c
Ÿ†“htg0„

e4
dhtx c
Jopef
g†“hwjwj–†i7htgHs c xi7
yè c xf$*L^x0efm%l c
Jm%e=Ž5efs c x0e 2 NR"?a

hwm%m%zJhw
J‚ i7
c g0„Jefx“r

i7jwj c sNO-5a

nr c
.g%x1i7mg
/ir4r c x1|hw
‚qg cpc zx c lBg0hwophƒmg0hwrŸi7lJlx c ir1„»é^Of#
Rm%m%zopeng0„Ji7gpg0„Je3r c opl c
e4
.gI2 NR"hwm:zm%e
|vŽ.k‘i€zm%efx i
J|¿2 NH"’ix0e€r c opl(i7g0hwŽjƒeaK
s*i7rfg
H†De'r c
Jm%hƒ|e#xg† c

r c opl c
Jef
g'g0„(igIef•Bl5e4rfg0m€ope4m%m0i‚e4m€g c Ž5e{m%zJrfr4e4m%mszjwjwk r c opl c
Jef
g0mnr c oplJi7g0hwŽJjwe'hws6g0„Jefx0e'hƒm3m c ope€e4
dhtx c 
ope4
.g

m%e4
.g
i
(|=o i™Zefm–
c lx c dhƒm%h c
Jmžs c x+„Ji
J|jwhw
J‚Rsihwjwzx0e4m4a —„e hw
3†“„Jhwr#„3g0„efk<† c x0™r c x%x0e4rfg0jtk/°²hƒ
J|e4e4|¶(g0„ee4
dhtx c 
ope4
.g

hw
.g0efx%s*i7r4e=izg c o i7g c
’é¶O4#m%„ c †“
hw
3À–hw‚zx0eq`ZÎSiÏo c |e4jwm g0„(ig?lBx c dBhƒ|Be4m?hw
JlzgD$Z 1è,i7g?mg1i7g0eDº“e4
m%zx0e4m¶g0„(ig^g0„e+hwjwjwe4‚Zi7j
 ïHðSñ öf÷ ò0ó
ôƒõ


öf÷7ù óþ%÷Bø

óþ0÷ø
ïHðSñù
ú ïRð‡ñø û ðÿ#ý
7ù  ýóþ0÷ø  ðÿ#ý
7ù 
ú û

öf÷Bø ò0ó
ôƒõtù ü ýóþ%÷Bø

ïHðSñ ö4÷ ò%óôƒõ ð%ÿ1ý
óþ0÷ ýó7þ%÷

ÎSiZÏ
.g0efx%sir4eŸi7zg c o ig c
”é^Of# Î*Ž5ÏDK
g0e#x%s*irfeŸizg c o i7g c
v2 NR"


öf÷ óþ0÷ø

ó7þ%÷Bø

ú ïRð‡ñ û ð%ÿ1ý
ù  ýó7þ%÷Bø  ð%ÿ1ý
ù 

ü ýóþ0÷ø

ð%ÿ#ý
óþ%÷ ýóþ0÷

Î*rÏé^Of#²êX2 NH"?aH—„ehwjwjwe4‚Zi7jžmg1i7g0e c sÊg0„JeŸlBx c |zJr#gHhwm,|Be4lJhwrfg0e4|

im²i6m0³.zJi7x0ea


öf÷ óþ0÷ø

ó7þ%÷Bø

ú ïRð‡ñ û ð%ÿ1ý
ù  ýó7þ%÷Bø  ð%ÿ1ý
ù 

ð%ÿ#ý
óþ%÷ ýóþ0÷

ÎS|JÏné^Of#
B2 NR"

“®­ ?©ª#¬¶¦fªB©¥‡¨(ꀨ?¦4¤5É'¨J¦4¨»ªIªB¬–Ãu¤5Ä4ªIª¨(Á¨?¦4¤5É'¨J¦4¤(¬Ç®¬”¨ ¤ "!§#?¤5Ä4ª%$ʤ(©¦

Ä3ä(©©ªBÄ$ ¤(¬–Å’¦4¤v¦&?ª
®¬'$(? ¦n¨J¬–Ő¤ ?  ¦)$*?
 ¦:¨(æ
®u¤5¬–Ä+,»  ªU¨$(Ê $ ªB¬–Ő¦4¤y¦&?  ª€¬?¨5ÉUªU¤J¥,¦&?  ªU¨(æ4®¤5¬–Ä:¦&?ªIÄ-?É. ¤0/ 13254©ªBÄ$67/892(!:/
;<2>=6¦4¤
Å?ªB¬?¤(¦fª€¦&?  ¨¦n¦?  ª'¨Jæ
®¤(¬Ç®Ä ¨(¬¸®¬'$(?  ¦?K4 ©7ªBÄ$6+
 ¤ ? ¦)$*?
 ¦+
! ®¬¶¦fªB©7¬?¨@= ¨Jæ
®¤(¬AC:
B ¬¨J©©¤§å§p®u¦&?¤ ?¦<Ä4¤ ?©7ê€Å?ªB¬?¤(¦4ªBÄ
¦&?  ªU®¬?®¦
®¨² Ä4¦f¨J¦4ª3¤(¥²¦&? ªQ¨?  ¦4¤/É'¨¦4¤5¬A
mg1i7g0e,ì=hwm
c ge4
.g0efx0e4|¶a+ŠBzr#„ e4
dhtx c
ope4
.g0m4Zg0„(iglx0e4de4
.g g0„(ig i7x0e<e4
(i7ŽJjwe
|{igqg0„Je<mg1i7g0eC(v i
(|‰†e<jƒe#g [ T ÎwvBÏ|P
hwjwjƒef‚Zijmg1ig0e4m sx c o Ž5e4hw
‚Ix0e
ir1„Je
|/Ri7x0eQr
ijwjwe
|{g0„e‘LƒS-Z$L [0]T wÎ vBÏ n [m^T wÎ vBÏ n [_`T wÎ vBÏ#aŸšR
Jjwhw™Ze´Ø¿i7zg c o i7g1iQ¢ Ý¯S–i7

e4
dhtx c
Jopef
g0m4a+—„emg1i7g0e4m c sžg0„elx c |zrfgQé^Of#êÜ2 NR" hw
.g0efx%s*i7r4eizBg c o ig c
=hƒm?
c gžx0e4³zhtx0e
|,g c Ž5eDhw
lJzg%…‡e4
JiŽjƒe4|¶µ
sx c o톓„Jhwr1„Ug0„eef
Bdhtx c
ope4
.gHr4i
Ue4
Jm%zBx0eg0„(ig,
c hwjwjwe4‚Zi7j g0„(ig<hwm4R†e'| c
c g<x0e
³.zJhtx0e3g0„(ig [0]T ÎwvBÏ%P [0]T s c xQi7jƒj
mg1i7g0ehwm,e4
.g0efx0e
|Qi7x0er
ijwjwe
|3g0„Jen 0NH"B$* ¹ Lƒ=O0‡$K#OZµ¶hw
Ug0„e mg1i7g0efm}vs R T a²—„Je=m%efg [_]T ÎwvBÏ c s e4
JiŽJjwe
|hw
lJzgHir#g0h c
Jm
ef•iopljweg0„Jefkni7x0eŸ_^`/].(ÁJºB(i7
(|3Ö.aD—„ep 0NH"B7O1*S m%l5e4r4htŒJe4m^†“„hƒr1„Ÿhw
JlJzBg0m?ix0ei7r4r4e4lBg0e
|Ÿi7g?g0„eÊmg1i7g0e6v(µ7†e r
i7jƒj
é¶O4#
2 NH" c sg0„Jeg† c hƒ
.g0efx%sir4e i7zg c o i7g1inhwm c ŽBg1ihw
Je4| g0„Jehw
JlJzBg0m,hw
[0]T~ [0]T ÎwvBϲg0„e<*LLƒS-Z$L–"(!*Oqig:v(aRjwm c
Ž.k6x0e4mg%x0hwrfg0hw
‚g0„Je²lx c |BzJrfgné^Of# ê2 NR"ng c th g0mr c oplJi7g0ht…
c 0g eg0„(i7g,i
Qhw
.g0efx%s*i7r4e6i7zg c o 7 i g c
QhwmH
c gRx0e
³.zJhtx0e
|<g c Ž5e
ŽJjwe+mg1i7g0e4m4Zimž|Be4lJhwrfg0e
|Ÿhw
6À–hw‚zx0eH`ÎS|(Ï#a(D c g0e+„ c †Ix0e4mg%x0hwrfg%…
c
…‡ŽJj c r1™hƒ
‚µZg0„Ji7g+hwm4.†eR| c
c gDx0e
³.zhwx0eg0„Ji7g [mT ÎwvBÏ7Pu i
hw
J‚”é^Of#Hê2 NH"'g c htg0mr c opl(i7g0hwŽjƒe6mg1i7g0e4mŸr c x%x0e4m%l c
J|m s c xpi7jƒjmg1ig0e4mmv€s R T ' a âDj c r#™hw
J‚Umg1i7g0efm6r
i7
‘Ž5e zm%e
|Ig c
g c hwopl c m%hƒ
‚,i7
6i7m%m%zJoplg0h c
c
g0„Je+e4
dhwx c
Jope4
.g

Jiope4jtk. o c |efj g0efx0ophw
Ji7g0hw
J‚lBx c r4e4m%m%e4m4a3—„JeO0< c sRi
Ihw
.g0efx%s*i7r4e
g0„(igžr
i7jƒjwmžg c g0„eDopefg0„ c |qN6O-Ÿ
e4dZefx^x0efg0zx0
Ÿg†“hwr4eDhƒ
6i²x c † izBg c o ig c
CN»hwm²|e#Œ(
Je4|nŽ.k%‚ N#‚YPƒ‚ R T ‚)„…‚ a
T ‚ a
5$Z 1è5aÚHe4
r4e/†“„Jef
Qg0„e=gK† c izBg c o i7g1i‰2 NR"
g0„Je=dijwzJe
i
J|¿é^Of#i7x0e r c opl c m%e
|¶žg0„e:im%m%zJoplBg0h c
c sQé¶Of#<g0„(ig
‡†Z$NR"5Lƒ6YZ—„evhw
.g0efx%s*i7r4ei7zg c o i7g c
ˆé¶Of# c s<À–hw‚…

c s*i7hƒjwzBx0e4m c r4r4zx hwmpg%x1i
m%jƒi7g0e
|‘hƒ
.g c g0„Jei7m%m%zJoplBg0h c
c s
zx0e'`„(i7mpg† c hw
JlJzBg:irfg0h c
Jm4=èyi
(|'4$*LS c
Je c zg0lJzBg
é¶O4#
2 NH"g0„Ji7g“
c g† c r c
Jm%e4rfzg0hwdZe,g%x1i
m%ophwm%m%h c
Jms*i7hwjSa
ir#g0h c
^^N6O-5(i
J|n
c hw
.g0efx0
Jij^irfg0h c 

m4a‡gR„Jimg† c mg1i7g0e4m4
—„Jehw
(|hwr
ig0e4m,„ c †^zJ
J|efx²g0„Je c B l g0hƒophwmg0hwrqi7lJlBx c ir1„^/g0„e
†“htg0„ mg1i7g0eR_ŸŽ5efhƒ
‚Ÿhƒ
htg0hui7j*Ji7
(|6gK† c  m g0e4lJm4/ÎS_ U N6O- U `Ï i
J|
r c opl c m%htg0h c
c sžg0„ehw
g0e#x%s*irfei7zg c o i7g1ivé¶Of#pi
J|v2 NR"
lx c (l i7‚Zi7g0efm6g c g0„Je:e4
dBhtx c
Jope4
.g c sUé^Of#
B2 7NH"‘g0„Je:im…
Î` U è U _Ï#a

m%zJoplBg0h c
JmÊg0„(igix0eR
e4r4e4m%m0ix%kps c x+g0„Je²r c x%x0efrfghw
.g0efx1irfg0h c

c s6é^Of#6i
(|y2 NH"?a
E0F G3HJIKH9L H9M>IÓ].aR;² ef•Be4r4zBg0h c
æsux1i‚opef
gP}$7ˆ(œ
K#4$Z 1{$!‡Nq$‡ƒN O‘$UÌ JK{$L K#15$*.-’Of0Íf!J#( #
—„JhwmÊef•iopljweDhwjwjƒzmg%x1i7g0e4mžg0„e|e4eflq|htÒ/efx0ef
Jr4eŽ5e#g†efe4
g0„e »O0‡$K#O$58P$Z f*SOjv+ˆ U q
ˆ U v ‰ U qK‰ U&ŠŠŠU v X O0!J 1ä$
l5e4m%m%hwophwmg0hwr6i7
(| c lBg0hƒophwmg0hwr=illx c i7r#„e4m4a²~„Jhwjwe=g0„e c lg0ht…
ophwmg0hwr<i7lJlx c 
i r1„yr c
m%hu|Befx0mqo i7
k€r c opl c
Je4
.g0m=r c oplJi7g0ht…
Îwv
W U q W U v W9‹ ‰ όs aT 4p$LL¶_Ž7’‘+€CË#‰*)+O1‡$7K#O
v U\“ s R T \ )DO#$M $ “ Ox0e
ir1„(i7ŽJjwe=sux c o”v' Ÿ#0O
ŽJjwe†“„Jhwr1„† c zJjƒ|3Ž5e=hw
r c oplJi7g0hwŽJjweŸzJ
J|efx“g0„JeŸl5e4m%m%hwophwmg0hwr $'\. † % f!*S6#%$4-N #J+)–Of+ÌÊ#O0O0‡$K=O•v(\ $(8 )–Of
illx c ir1„^?g0„efx0e i7x0e c sr c zx0m%epr c opl c
Jef
g0m,g0„Ji7gŸr
i7
J
c g Lw$O0 O1‡$7K=O² “ =G^ŸO0‡$K “ O+x0e
ir1„(i7ŽJjwehw
NÔ RJ#0
† c x0™Ug c ‚efg0„efx=e4dZe4
'zJ
J|efxg0„e c lBg0hƒophwmg0hwrpdhwef†–
Jiope4jtk † O0*OŸ$Q*S$L5O0‡$K}v#s R T W<X+W<Z O1! 1$ “ OR0%$Z 1$ ¹ Lƒ
\
g0„ c m%e=s c x,†“„hwr#„Q
c jwe4‚ijže4
dhtx c
Jopef
g²ef•Bhwmg0m4a—„er c oq… #N–¶ v 
l(ig0hwŽJhwjwhwgKk3r1„Je4r1™<hwmHl5e#x%s c x0ope4|QŽ.k<r c oplzg0hw
J‚qr c opl(ig0hwŽJjwe
mg1i7g0efm4+†“„hƒr1„‘io c zJ
.g0m=g c m c jƒdhw
J‚'iQ‚Ziope:Ž5efgK†e4e4
‰g0„e
lx c |BzJrfg,izBg c o i7g c
yΆ“„Jhwr#„Qg%x0hwe4mHg c e4
.g0efx,hwjwjwe4‚Zi7j+mg1ig0e4m1Ï 
‘g0„Je3|BefŒ(
htg0h c
c shw
g0e#x%s*irfe'i7zg c o i7g c
¶htg:hƒm
c gpx0ef…
i
J|nhtg0m“e4
dhwx c
Jope4
.gΆ“„hwr#„<g%x0hwe4mg c lBx0e4dZe4
.gg0„hwm1Ï#a ³.zJhtx0e
|‰g0„(ig<i7jwjRmg1ig0e4m<ix0ex0e
ir1„(i7ŽJjwea”Ú c †De4dZefx
 c
Jehwm
‚ef
Jefx1i7jƒjtk
c ghw
.g0efx0e4mg0e4| hw
:zJ
Bx0e
ir1„(i7ŽJjweRmg1ig0e4m4i
J|pg0„efk
r
i7
<Ž5e,x0e4o c dZe
| hw
jwhw
Je
ix²g0hwopea
3. E0F INTERFACE
G3HJIKH9L H9M>IÛ`aR;² AUTOMATA
hw
g0e#x%s*irfe izg c o i7g c
ON P
QSR T6UVR:T W9XYW9Z U\[0]T U\[_^T U\[_`T Uba
T"c 0JO0O0*OǸI4LLw)Ê.-
3.1 Compatibility and composition
fLƒ#N #*O)d ~Ie|efŒJ
Je<g0„er c opl c m%htg0h c
c s,gK† c hw
.g0efx%sir4eUizBg c o ig1i
c
jtk€htsg0„Jefhwxi7rfg0h c
Jmi7x0e:|Bhƒmß c hw
.g
žef•Br4e4lBgŸg0„(i7gi7
Ihw
JlJzBg
ir#g0h c
c s c
eUo i4{ k r c hw
Jrfhu|BeU†“htg0„¸i7
c zg0lzgnirfg0h c
c s
e R T O,$ Of#“mg1ig0e4m4a g0„Je c g0„Jefx
aŸ—„e=gK† c izBg c o i7g1iq†“hwjwjžmkB
Jr1„x c
hwÞ4e c
Qm%zJr1„
m%„(ix0e
|3ir#g0h c
Jm4¶i7
(|QimkB
Jr1„x c
c zJm%jtkhw
.g0efx0jwe
i
dZe=ijwj c g0„efx
e R T W<X+W<Z f R T Op$QOf#Ÿhw
Jhtg0hƒijDmg1i7g0e4m4ahg3p0%Íf!0 ir#g0h c
Jm4a
$ R T W<X+W<Z 0‡$JO$5Np7O1^5DO1‡$7K
A R T W<X+W<Z Pji\
J#kÔN O 1$LLƒ%8=e4oplBgk?
E0F G3HJIKH9L H9M>IÜÁapG–)+=K#4$ #,$7!B‡7Np$‡$ŒN$587—¿$0
e [ ]T \ [ ^T \ $58 [ `T $%N!*!J$LL Mq87O<l
 Of#*O,hw
… r c opl c m0iŽjwe: 
lJzg
\ c zg0lzg
\²$(8qhw
g0e#x0
(ijR$Z f*S7JOfg3q8.#(K ¹ M
[mT P [_]Tkn [_^T.n [_`T JO4#Ÿ$LLirfg0h c
m7 [ `T˜ [m™ Pji [ ]T˜ [ ]™šPui
[ ^T ˜ [ ^™ Pji [ `™ ˜ [_T Pui Š
e aT f R Tpok[mTpoCR T O$pOf#mg0e4lm4a
gŸLƒ#+O%B$0%8^Î@N U —=Ï"P [ T ˜ [_™ 

Ksrqts [ ]T Îx0e4m%l^* a qus [ ^T Aqts [ `T Ï#Êg0„Je4
¸Îwv U q U v3xÏhwm

r
i7jƒjwe
| i7
phƒ
lJzBgRÎx0efm%l^a c  z g0lzg
.hw
.g0efx0
(i7juÏÊmg0e4l¶a–~Ie“|Be4
c g0e D c g0eg0„(i7gRhtsžg† c hw
.g0efx%sir4eizBg c o i7g1i#NÓi
J|.—ix0er c oq…
Ž.k a:T ] Îx0e4m%l^a amT ^  a0T ` Ï,g0„Je m%efg c s²hw
JlJzBg:Îx0e4m%l^a c zg0lzg
 l c m0i7ŽJjweg0„Je4
UO%B$0%8?Î@N U —=Ï"PÜÎ [0]T ˜ [_^™ Ï n Î [_^T ˜ [0]™ Ï#a
hw
.g0efx0
(i7jϓmg0e4lJm4aR—„ehw
.g0efx%s*i7r4eqi7zg c o i7g c
NÜhwmq 4LwOf%83hts ~Iev|e#Œ(
Jeyg0„Je‘r c opl c m%htg0h c
c shw
.g0efx%sir4e{izg c o i7g1i¸hw

htg:„(im c
Jjtk{hw
.g0efx0
Jij,i7rfg0h c
m4²g0„Ji7g hwm4 [ ]T P [ ^T PyiBµ mg1i‚e4m4|efŒJ
Jhw
J‚‘ŒJx0mgg0„eIlx c |BzJrfgUi7zg c o i7g c
hNê–—qa
c g0„efx%†“hwm%e5†eŸm0i4kg0„Ji7grNÓhwm6#"#/“R
3i7rfg0h c
qCs [ T hwm —„JhwmlBx c |zrfgDr c hw
Jr4hƒ|Be4mD†“htg0„:g0„eRr c opl c m%htg0h c
c s?´ؒi7z…
#5$ ¹ ƒL 08Ui7g=i:mg1i7g0ezv{s R T htsDg0„efx0eqhwmŸinmg0e4l‘Îwv U q U v x Ï:s g c o ig1i,¢ Ý7¯S7ef•Br4e4lg¶g0„(ig?m%hw
r4e6N‘i
J|Œ—{ix0e+
c g–
e4r4e4m%m0ix0hwjwk
a T s c xpm c ope|v3x7s R T Q a ~€e:hw
J|hwr
i7g0e:Ž.k [ ]T ÎwvBÏ# [ ^T ÎwvBÏ# hw
Jlzg%…‡e4
(i7ŽJjwe
|/–m c ope mg0e4lmlBx0e4m%e4
.g=hw
pN c zx —Ôo i4k€
c g
[_`T ÎwvB϶g0„eDm%zŽJm%efg0m c s(hw
Jlzg
 c zBg0lJzg
i7
(|hw
.g0efx0
Jijir#g0h c
Jm Ž5e,lBx0e4m%e4
.g“hw
<g0„Je,lBx c |zrfg
a
 E0F G3HJIKH9L H9M>IXºBaRA}N $(8z— $% 0NR"BO#$ ¹ Lƒ6JK#4$Z 1
$!‡Nq$‡$\ÊJ#+lx c |BzJrfg›NUê—¿O“JHJK#4$Z 1$!‡Np$œ ð%ÿ#ý
óþ0÷ ýó7þ%÷
‡'8.ÌÊ/%8 ¹ M

R Tœ ™ P R T oCR ™
« óþ0÷ù ¨
R T<W X+œ W<™ Z P R T W<X+W<Z o.R ™ <W X+W<Z
[ ]T>œ ™ P»Î [ ]T n [ ]™ Ï ~ O$0%8¶Î@N U —Ï ¥
¦Y§ §ö4÷
ÿ#ýBù ñ7ÿ§ *§ öf÷ÿ#ýBù

[ ^T>œ ™šP»Î [ ^T n [ ^™DÏ ~ O%B$0%8?Î@N U —=Ï ª ©

ðÿ#ý
Bø
[ `T>œ ™šP [ `T n [ `™ n O$0%8¶Î@N U —=Ï Š
G^JO4# aTœ ™ O0KK"(OOŸ8.Ì 5%8:nF+ƒ-!%:B

ñ7ÿV§ *§ öf÷ÿ#ý ¥
¦Y§ §ö4÷

ÿ#ý
‡†Z$NR"5Lƒ:B—„eqlx c |BzJrfgIé¶Of#HêÓ2 NH" c sg0„e6hw
.g0efx%…
s*i7r4e'izg c o i7g1iÛé¶O4#Ii
J|¿2 NH" c sÀ–hw‚zBx0e‘`Uhwm<m%„ c †“
ÎSiZÏ62?$/fL
hw
À–hw‚zBx0eI`ZÎ*rÏ#a~€e3„(i
dZe c
Jjtkv|e4lhƒr#g0e
|‘g0„ex0e
ir1„(i7ŽJjwe
mg1i7g0efm c s g0„e‘lBx c |zrfg
a›²sg0e#x€e
i7r#„ c l5efx1i7g0h c
Ühw
d c jwd.…
hw
J‚Qhw
.g0efx%s*i7r4ei7zg c o ig1iBÊm%zr#„‘imlx c B
| zJrfg
ž†De:x c zg0hw
Je4jtk
x0e4o c dZe<sux c oîg0„Jex0efm%zJjtg0hw
J‚yizBg c o ig c 
i7jƒjRzJ
Bx0e
ir1„(i7ŽJjwe ¬ +­ ª ® ¬ +­ ¨ ®
mg1i7g0efm4ajD c g0eng0„(i7g mg1ig0eQì'„Jim
c'c zg0‚ c hw
J‚€e
|‚e4m4“Ž5ef… ¥
¦+§ §*öf÷
ÿ#ýBù óþ%÷)
r
i7zJm%e^4$*Ls€O$%08¶ÎZé^Of# U 2 NR"¶Ï#ŽJzBg^g0„eÊmg0e4l ÎSì U 4$7*L U _ZÏ ¬ +­ «®
c sH2 NH"Q„Jim“
c r c x%x0e4m%l c
(|Bhƒ
‚pmg0e4lhw
’é¶Of#a
öf÷) ñ7ÿ§ *§ öf÷ÿ#ýBù

ŠBhw
r4eÇhw
.g0efx%s*i7r4eXi7zg c o ig1iix0eÇ
c 

g
e4r4e4m%m0ix0hƒjtkPhw
JlJzBg%… ïHð‡ñ) ð%ÿ1ý
)
e4
JiŽJjwe
|/hw
=g0„JelBx c |zJr#g‡N ê|— c s(g† c hw
.g0efx%s*i7r4e“izBg c o ig1i ¬ ú+­ ª ® ¬ û&­ ª ® ¬ +­ ©®
NÜi
J|.—p c
e c sÊg0„JeŸi7zg c o ig1iqo i4knlBx c |zr4e=i
c zg0lJzBg
ir#g0h c
'g0„Ji7g,hwmŸi7
'hw
Jlzg,irfg0h c
c s+g0„Je c g0„Je#xŸizBg c o i7g c
^
ŽJzBg=hƒm=
c gqi7r4r4e4lBg0e
|¶a3—„Je m%efgpA#LLƒS-Z$LKÎ@N U —=Ï c s²mg1ig0e4m c s
ñ7ÿV§ *§ öf÷ÿ1ýBù ¥
¦Y§ §*öf÷ÿ#ýBù
NQê.—”†“„efx0eg0„JhwmD„JilJl5ef
Jm+i7x0e²r
ijwjwe
|qg0„Je*LLƒS-Z$LO1‡$7K#O c s
g0„JeHlx c |zrfg
a
Î*Ž5Ïné¶Of#²êÇ2 NH"6ê»2?$J5fL

E0F G3HJIKH9L H9M>IÓÖ.aqCË#’*)D{ 17NH"BO#$ ¹ Lƒ'K#f$Z 1y$7!œ

‡Nq$‡$%N — \=JO4#ŸA#LLƒS-Z$L Î@N U =
$(8%q — Ï f R T…o€R ™  “®­ ?©ª¢¯'°B±ª­(¨”ªB¬K²?®u©7¤(¬žÉ'ªB¬¶¦´³¶µ· ¸'¸A¹+º”¥K¤(©
hwjwjƒef‚Zij?mg1i7g0e4m6ž{N êp㠗 O,8.Ì 5%8:nF+ƒ-!%0Ÿ λž¼Y¹½ U ³}¾
¿C
À ÏH
! ¨(¬–Åܦ&?
 ªÁ–
$ ©¤¶Å(–
 æ»›¼Y¹½ êó}¾ ¿À'ê
³¶µ· ¸(¸A¹+ºÄ
‡†Z$NR"5Lƒ0Ÿ±²efse#x%x0hƒ
‚ i‚Zi7hw
g c g0„e lBx c |zrfg
é¶O4# ê 2 NH" m%„ c †“
hw
À–hw‚zBx0e `
„Jide †e
O+ 0NH"B7Of$ ¹ Lƒ)Ê}¡=\žTS4[6¤»OÊ57/#NH"J*M\ÊTSŸ4[ [ ]Å P [ ^Æ \

ì sA#LLƒS-Z$L‡ÎZé^Of# U 2 NR"/Ï#yŽ5e4r
i7zJm%eÜg0„Je c zBg0lJzBg’mg0efl
$(8QT9Ç[=A#LLƒ‡-Z$L Î@¡ U ¤=Ï"Pui(
ÎSì U 4$*L U _ZÏ c s=2 NH"€„(imH
c r c x%x0efm%l c
(|Bhw
J‚<hw
lJzgHmg0e4lQhw

é¶O4#a —„Je m%e4r c
(|Ÿr c
J|htg0h c
=e4
Jm%zBx0e4m^g0„Ji7g–g0„e+ef
Bdhtx c
ope4
.g^| c e4m

c gÊr c
mg%x1ihw
6g0„eDx0e
ir1„(i7ŽJjwemg1i7g0efm c sK¡{Ž.k=„(i
dhw
J‚H
c hw
Jht…
g0hƒij–mg1ig0eaR—„Jeg0„Jhtx1|3i7
(|<s c zx%g0„3r c
(|Bhwg0h c
JmHef
Jm%zx0eg0„Ji7g
~„e4
6g0„JeDlx c |zrfgANê,—¸hwm r4j c m%e
|/Z†e“m0i4k=g0„(i7gAN¸i
J|z—
g0„Je:e4
dhtx c J
opef
g6| c efmp
c gqr c
mg%x1ihw
t¡ÔŽ.k‰
c g ir4rfe4lg%…
i7x0en 0NH"B$7* ¹ Lƒhts
c hwjwjƒef‚ZijÊmg1ig0e c s6N{ꀗÓhwmRx0e
i7r#„JiŽJjwea
hw
J‚qm c ope c Ê s htg0m c zg0lzg“mg0e4lm45i7
(|ng0„Ji7g“g0„Jee4
dhtx c
ope4
.g
~„e4
Nê€—Óhwm c l5e4
^(„ c †e4defx
5g0„Jes*i7rfgHg0„Ji7gHiqmg1i7g0e=hw

‚ef
Jefx1ig0e4m c
Jjtknhw
JlJzBg0mg c ¡’g0„Ji7g“r
i7
Ž5eŸir4rfe4lg0e
|nŽk,¡=a
A#LLƒS-Z$L‡Î@N U —=ϟhwmŸx0e
ir1„(i7ŽJjwe<| c e4m6
c g
Je4rfe4m%m0i7x0hwjtkyhw
(|hwr
ig0e
i
yhw
Jr c opl(ig0hwŽJhwjwhwgKk. Ž5e4r
izm%e<Ž.kI‚e4
Je#x1i7g0hw
J‚€ilJlBx c lBx0huig0e
hw
Jlzg0m4–g0„epe4
dBhtx c
Jope4
.g c s›N”êu—Ôo i
kUŽ5e:iŽjwe g c ef
… E0F G3HJIKH9L H9M>IÓç.aqCË#’*)Dv 0NH"BO#$ ¹ Lƒ€K#f$Z 1I$!Bœ
m%zx0eg0„(i7gg0„eqm%efgqA#LLƒS-Z$L‡Î@N U —=ÏRhwm=
c gŸe4
.g0efx0e4|¶a:ŠzJr1„€i7
‡Nq$‡$žNX$58¶—q\^$jwe4‚Zi7j?e4
dhtx c
Jopef
g54D–"B$7Î@N U —=Ï
e4
dhtx c
Jopef
g
B†“„Jhwr1„3mg0e4efx0mHi
†i4ksx c ã
o g0„e=hwjwjwe4‚Zi7jžmg1i7g0e4m4 OI$¿#JË
JNp#J=4{Nêȗ O1! 1»$(¸O0‡$K‘
hwmqr
i7jƒjwe
|vi‘LƒS-Z$L–#JË
JNp#JKD—„e<ef•Bhwmg0e4
r4e c siQjƒef‚Zij U —=Ï oCR Å OH%%$Z 1$ ¹ LƒQÎ@N‘êp—=Ï^êp¤:
A#LLƒS-Z$L Î@N
e4
dhtx c
Jopef
gqhƒ
J|hwr
ig0e4m:g0„Ji7g g0„Je#x0e3hƒmni€†i4k‘g c zJm%e3g0„e
hw
.g0efx%s*i7r4e4m_N}i
(|?—}g c ‚efg0„efxŸ†“htg0„ c zBg=‚hwdhƒ
‚<x0hwm%epg c hw
…
r c opl(i7g0hwŽhƒjwhtg0hwe4m4a¸Ôjwe4‚Zi7jHe4
dhtx c
Jopef
gs c x,¡¢P£NÇêh—
 †Z$NR"5Lƒr
‡  Ç5—„ehƒ
.g0efx%sir4eRizBg c o ig c
€2?$7J/fL5m%„ c †“


Jefe
|mg c m0ig0hwmsk<g0„eHs c jwj c †“hw
J‚:m%hƒ|er c
(|Bhwg0h c
Jm4a
hw
À–hw‚zBx0eºJÎSiÏDhƒm²i6jwe4‚ij^e4
dBhtx c
Jope4
.gDs c x=ÎZé¶O4# U 2 7NH"¶Ï#
Ž5e4r
i7zJm%eŸhw
<g0„JeŸlBx c |zJr#gÎZé¶Of#²ê»2 NH"¶Ï¶êÜ2?B$J5fLÎ*m%e4e
E0F G3HJIKH9L H9M>IÜìaR;²e4
dhtx c
ope4
.g476$7'K#f$Z 1 $7!œ À–hw‚zBx0e<ºJÎ*Ž(Ï%Ï#+g0„e<mg1ig0eIÎSì U\“ Ïhwmp
c g6x0e
ir1„(i7ŽJjwe<s c x:i
.k
‡Nq$‡#¡XO²$:K#4$ #,$7!B‡7Np$‡z¤O0! 1 $TY#[›¤ “ s{É&Ê UÌˇU\Í(U\ÎÏ a
 aTœ ™ PÂÉ.Î%Îwv U\“ Ï U q U wÎ v x U\“ Ï%϶‚Îwv U q U v x Ï6s a
TÐ q{s'
 O$0%8¶Î@N U —=Ï Ð,“ s R ™ Ï
n É.Î%Îwv U\“ Ï U q U wÎ v U\“ x Ï%϶‚Î “>U q U\“ x 6  O$0%8¶Î@N U —Ï Ð v#s R T Ï
Ï s a™.Ð q{s'

n É.Î%Îwv U\“ Ï U q U wÎ v x U\“ x Ï%Ϟ‚Îwv U q U v x ϕs a

TÐ Î “'U q U̓ x Ï6s a ™ Ð q,sUO$0%8?Î@N U —=Ï ÏŠ

²®u­ ?©ª%Ñ:Ònª3Óʬ?®¦
®¤5¬¤J¥R¦&^ªQÄ4¦4ª
$žÄq¤(¥“¦&?ª$–©¤¶Å(–æ ¤(¥“¦1§¤€®¬/¦4ª©7¥‡¨(êU¨?¦4¤/ÉU¨J¦4¨

Ô q|s [_^T wÎ vBÏ Ð  [ ]™ Î “ Ï ÝÁ

q s 0 Ü Þß
A#LLƒ‡-Z$LKÎ@N U —=ÏpP Õ Ö Îwv \U “ Ï6s R T o.R ™u× q,sUO$%08^Î@N U —Ï Š,ÙÚ Û Š
×3Ø
q,s [ ^™ Î “ Ï Ð qs  [ ]T ÎwBv Ï à

“®­ ?©ª%á:Ò:ª
Ӟ¬–®¦
®¤(¬¤(¥“¦&?ªU®â⪭(¨Ä4¦4¨J¦fªÄq¤J¥R¨{$–©¤¶Å(–æ 
¨ ^¦4¤/É'¨¦4¤5¬A

~IeR|e#Œ(
Je²r c opl(i7g0hwŽhƒjwhtgkpimDg0„eRef•Bhwmg0e4
r4e c s–iŸjwe4‚Zi7j¶ef
Bdht… —„Je x0e4m%zjwg c s²x0e4mg%x0hwrfg0hw
J‚é¶Of#ŸêÛ2 NH"‘g c hwg0m6r c oplJi7g%…

x c
ope4
.g
a hwŽJjwemg1ig0e4m hƒmqg0„e3izBg c o ig c
Pé¶Of#
B2 NR"–|Be4lJhwrfg0e
|‘hw

À–hw‚zBx0eU`ÎS|(Ï#aIK
‰‚e4
efx1ij*+g0„Je x0e4mg%x0hwrfg0h c
yg c r c opl(ig0hwŽJjwe
mg1i7g0efm=o i4kQx0e4
J|efxŸm c opepmg1i7g0e4m=zJ
Bx0e
ir1„(i7ŽJjwean—„Jefk'r
i7

E0F G3HJIKH9L H9M>IÜ×apG–)+=K#4$ #,$7!B‡7Np$‡$ŒNÛ$758}—¿$0 g0„Jef
<Ž5eHx0e4o c dZe4| sux c o}g0„Je,r c opl c m%htg0eŸi7zg c o ig c
¶a
r c opl(i7g0hwŽjƒe= J#Mp$%R55#NH"(*M7\Ê 0NR"BO#$ ¹ Lƒ#\ $58=J#0
\†O0*O=$ Lƒ‡-Z$L–#Ë
%N #/4ŸÎ@N U —=Ï

±²e4r
ijwjwhw
J‚Ÿg0„(igDg† c hƒ
.g0efx%sir4eHizBg c o i7g1i=i7x0e²r c opl(i7g0hwŽjƒe²hts
g0„JefhwxÊhw
hwg0hƒi7jJmg1i7g0efmDix0er c oplJi7g0hwŽJjweg0„Je|BefŒ(
hwg0h c
c s/r c oq…
 †Z$NR"5Lƒ_
‡  ã.—„eng† c hw
.g0efx%sir4e3i7zg c o i7g1iXé^Of#yÎSÀ–hw‚…
l c m%htg0h c
ŸkBhwe4jƒ|m?g0„e+s c jwj c †“wh
J‚,ijtg0efx0
(ig0hwdZeDr1„(ix1irfg0efx0hwÞ
ig0h c

zx0en`ZÎSiZÏ%Ï,i7
(|¸2 NH"{ÎSÀ–hƒ‚zx0e`Î*Ž5Ï%ÏHix0epr c oplJi7g0hwŽJjwe^Ž5ef…
c s–r c oplJi7g0hwŽJhwjwhtgk/°
r
i7zJm%e g0„Jenizg c o i7g c
»2?$J5fLŸÎSÀ–hƒ‚zx0enºJÎSiZÏ%ϟhwmpi3jƒef‚Zij
e4
dhtx c
Jopef
gDs c x=ÎZé¶Of# U ¤Ï#a

G–)+3JK#4$Z 1<$!‡Nq$‡$kN˜$(8k—˜$0Ÿr c oq…

l(ig0hƒŽjwe˜ æ T$#[íJ#M@$0ã 0NH"BO#$ ¹ LƒP$58
—„JeŸr c opl c m%htg0h c
c sžg† c hw
.g0efx%sir4eizBg c o i7g1ihƒm c ŽBg1ihw
Je4|
T ¹ [qJ#= 0NH"B7O1*SUOH(/#NR"(*M.
Ž.kQx0e4mg%x0hwrfg0hw
J‚<g0„eplx c | z rfg c sDg0„Je6gK† c i7zg c o ig1ing c g0„e
m%efg c s 0NR"B$* ¹ LƒO1‡$7K#O1\†“„Jhwr1„pi7x0eg0„emg1i7g0e4mÊsx c o»†“„Jhwr1„
g0„JeHe4
dBhtx c
Jope4
.gr
i7
lx0efdZe4
.ge4
.g0efx0hw
J‚6hƒjwjwe4‚ij–mg1ig0e4m4a
—„JhwmŸrfx0htg0efx0h c
'†“hƒjwj+Ž5eqzJm%e
|Uhw
c zBx=ijw‚ c 0 x htg0„Jophwr r#„e4r#™ c s
r c opl(i7g0hwŽhƒjwhtgk.(Ž(im%e4| c
3g0„Je=r c oplzg1i7g0h c
c sDizg c o i7g c

r c opl c m%htg0h c
^a—„JeŸr c opl c m%htg0h c
c sÊhw
.g0efx%s*i7r4eizg c o i7g1i6hwm
E0F G3HJIKH9L H9M>IÜÝaq2 JO0S8Z#*)+ä 0NR"BO#$ ¹ LƒJK#4$Z 1
U̓ όs R TÁo{R ™ =O1‡$7K#O im%m c rfhuig0hwdZea
$!‡Nq$‡$|N˜$758#—:q;»"B$qÎwv
OHr c oplJi7g0hwŽJjwe3 6J#%:Op$7#Ë
%7JN #¶ ¤ 4:” N êt—
O0! 1€B$R(<O0‡$KpUA#LLƒS-Z$LtÎ@N U = — Ï o{R Å OŸ0%$Z 1B$ ¹ Lƒ 
Î@v
N êÁ= — Ï^ê€X ¤ #%7NãO1‡$7K: É Îwv U\“ Ï ÏmoCR Å W<X+W<Z C3g =)Ê1K çrèF Mé F
êˆ`a“F?<$LL+JK#4$Z 1$!‡Np$7‡$CN6\¶—q\$758
2žNH"(Î@N U 
— Ï^4²JHO4#+R 0NH"B$* ¹ Lƒ,O0‡$K#O,•U N ê.: —  ¡\## ¹ vÎ@N# )—=Ï ¡ˆ$58N# Î@¡z —Ï$70<!58.ÌÊ/%8\
¹ % 1$7!BOf3Of7N Q<JQ$!‡Np$‡$‘$%3(q 0NR"BO#$ ¹ Lƒ#\p7
Î@N# )—=Ï ¡uPuN# Î@¡z —Ï

ÚHef
Jr4e^†eqr4i
€x0e4l„x1i7m%e6g0„Jep|BefŒ(
htg0h c
c sr c oplJi7g0hwŽJhwjwhtgk
s c xhw
.g0efx%s*i7r4eqi7zg c o ig1i imRs c jwj c †“m4°Hg† c
c
e4oplgKk.Jr c oq…
l c m0i7ŽJjwe=hƒ
.g0efx%sir4eizBg c o ig1i#NÓi7
(|.—Ói7x0eŸr c opl(i7g0hwŽjƒeŸhtÒ 3.2 Discussion
g0„Jefhwx hw
Jhtg0hƒijmg1i7g0e4m+i7x0er c opl(ig0hwŽJjweZh*a eaw.hts R T W9XYW9Z o7R ™ W<X+W<Z f R
”hw
.g0efx%s*i7r4e‰izBg c o ig c
’x0eflx0e4m%e4
.g0m3Ž c g0„Çi7m%m%zJoplg0h c
Jm
2žNH"–Î@N U —Ï#a iŽ c zg+g0„Je“e4
dhwx c
Jope4
.g
i7
(|q‚z(i7x1i7
.g0e4e4mi7Ž c zg+g0„Je²m%l5e4rf…
htŒ(e
|Xr c opl c
e4
.g
a —„eve4
dhtx c
ope4
.g€i7m%m%zJoplBg0h c
Jm€i7x0e
g† c s c jƒ|¶°“e
i7r#„ c zg0lzgRmg0e4l3hw
Jr c x0l c x1i7g0efmHg0„JeŸi7m%m%zJoplg0h c

E0F G3HJIKH9L H9M>IÛ`4_Bap2 O1*8.#I*)+¸ 17NH"BO#$ ¹ LƒIJK#4$Z 1 g0„(igng0„eQr c x%x0e4m%l c
(|Bhƒ
‚‘irfg0h c
¸hwmi7r4r4e4lBg0e
|Ž.k{g0„eUef
…
$!‡Nq$‡$%N $(8.: — ¿G^Jqr c opl c m%hwg0h c
jN# )—îO$7(œ dhtx c
Jopef
gim=hƒ
lJzBg
µÊi
J|€e
ir1„Ihw
Jlzg=i7rfg0h c
Ig0„(igŸhwm
c g
K#4$Z 1q$!‡Np$7‡€)Ê<JO#$N $Z f*SUOf#*O6$7Ož N êp: —  irfr4e4lg0e4|qi7gDimg1i7g0e“e4
Jr c |e4mÊg0„Je“i7m%m%zJoplg0h c q

g0„(i7gÊg0„e²ef
…
G^JUO0‡$K#OI$0 R T*ä ™”P 2žNR"5Î@N U =
— Ï#\pJ'*S$L²O1‡$7K#O dhtx c
Jopef
g | c e4m
c g lBx c dhƒ|eg0„Ji7g hw
JlJzBg
až—„e²r c opl c
e4
.g
$% R T* W<X+ä W<™ Z P R TW9XYœ W9™ Z ˜ 2žNR"5Î@N U =
— Ï#\I$758ÇJ{O0KK"(O{$0 ‚zJi7x1i7
g0efe4m6r c x%x0e4m%l c
J|Ig c m%e4³ze4
Jrfe4mqi7
(|Ir1„ c hwr4efm c s²hw
…
a T"ä ™?P aTœ ™ ˜ Î42žNH"5Î@N U = — Ï o,[ T"ä ™ o 2žNR"5Î@N U = — Ï%Ï
 lJzBg
 c zBg0lJzBg
¶i
(|3hw
.g0efx0
(i7jÊirfg0h c
Jm4?im,zm%z(ij*a~„e4
3g† c
hw
.g0efx%s*i7r4epizBg c o ig1inix0eqr c opl c m%e
|¶/g0„e6r c opl c m%htg0h c
c l…
efx1ig c x| Ÿr c oŽJhw
JefmH
c g c
jtkg0„Je=r c opl c
Je4
.gH‚z(ix1i
.g0e4e4m4
 †Z$NR"5Lƒm
‡  åZK
»g0„Je‘izBg c o i7g c
ˆé^Of#nê 2 NH"ãÎSÀ–hw‚… imRhwmRg0„JeŸr
i7m%e6hw
c g0„efx,r c opl c
e4
.g²o c |e4jwm4/ŽJzBgRijwm c g0„e
zx0eq`Î*rÏ%Ï#Bg0„Je,mg1ig0e4mH_^`/].(Á(ºJi
J|3Ö6ix0er c oplJi7g0hwŽJjwea e4
dhtx c
Jopef
gim%m%zoplg0h c
m4a
 û 3.3
ô hwdZe4
<Computing the composition
gK† c hw
.g0efx%s*i7r4eizg c o i7g1izNÓi
J|C—q5iqlJihtx6Îwv U̓ ž
Ï s
ë ë+î
ìí R T{o#R ™ hwmr c opl(ig0hƒŽjweHhts^g0„efx0eHhwmm c opeHe4
dhtx c
ope4
.gDz
…
ú 
|e#xH†“„Jhwr1„€A#LLƒS-Z$LKÎ@N U —=Ïhwm,
c gHx0e
i7r#„JiŽJjwehƒ
{N{êÁ—sux c o
 Îwv U\“
Ï#a ²mx0e4o i7x0™e
| iŽ c dZeBg0„JeRŽ5e4mg²e4
dBhtx c
Jope4
.gr c x%x0ef…
ï ìí ïî m%l c
J|m?g c irfr4e4lg0hw
‚,ijwj c zBg0lJzBg0m c sNpêm—qi
(|Ÿ‚ef
Jefx1ig0hƒ
‚
ìí
c hw
Jlzg0m²s c xŒNê—qa,ØH
Qg0„eŽJim%hwm c s+g0„hƒm c Žm%efx0dig0h c
^
g0„Je:m%efg‰2žNR"–Î@N U —=Ï=r
i7
vŽ5enr c oplzg0e
|‰Ž.k‰l5efx%s c x0ophw
J‚€i
Ž(i7r#™.†i7x1|qx0e
ir1„(i7ŽJhwjwhtgk:i
JijtkBm%hwmsx c o}A#LLƒS-Z$L‡Î@N U —Ϟ†“„Jhwr1„
g%x1i
dZefx0m%e4m c
jtkIhw
.g0efx0
(i7ji
J| c zBg0lJzgmg0e4lm4 i
(|€x0efo c de4m
“®­ ?©ª%ð0#¬¶¦4ª©¥‡¨(êQ¨^¦4¤/É'¨¦4¤5¬u¡_£/¦4¨J¦4ª%ီÄ:¬^¤(¦ ijwj–mg1ig0e4mRg0„zm“x0e4ir1„(iŽjweaR— c lx0e4m%e4
.g“g0„Je=i7jƒ‚ c x0htg0„Jo5†De
©ª¨(Ã?¨*uª»¨J¥‡¦4ª©¸Ã¤/É%$ʤ5Ä
®u¦
®¤5¬í§q®¦&P¨J¬-}ªB¬K²?®u©7¤(¬^¼ hw
.g%x c |zJrfe+g0„Je c l5efx1ig c xŸEAõD"(0a?
.g0zJhtg0hwdZe4jtk.s c x iRm%efgAö c s
É'ªB¬/¦6¥‡¤(©,¡_ mg1i7g0efm c s–i
:hƒ
.g0efx%sir4eHizBg c o i7g c
¡=.g0„Je²m%efgqEAõD"(0 Æ Î÷ö,Ï
r c
g1i7hw
Jm“g0„JeŸmg1i7g0e4m c sA¡Çg0„(igHr4i
3e4
.g0efxHiqmg1i7g0e=hw
%öXŽ.k
g1i™hw
J‚qi
hw
.g0efx0
(i7j c x c zg0lzg“mg0e4l¶a+À c 0
x o i7jƒjtk.Bg0„Je c l5efx1i7…
ØH
Jephw
.g0efx0e4mg0hw
‚U
c 0
g e:iŽ c zghw
g0e#x%s*irfe<i7zg c o ig1ihwmg0„(ig g c x:EAõD"(0 Æ °]+øúùšûüî]+øúùvhwmR|efŒJ
Je
|:s c H x ijwj–m%e#g0mŒö f R Æ
†“„Jhwjwe=m c opeŸmg1i7g0e4mRo 4 i k<Ž5ex0e
i7r#„JiŽJjwe=hw
Qi
3hw
.g0efx%s*i7r4eqi7z… Ž.k
g c o ig c
k¡g0„Jefkqr
i

c g“Ž5e²x0e
ir1„Je4|nhw
<i7
.k r c opl c m%hwg0h c

c s¡‘†“htg0„i
=e4
dBhtx c
Jope4
.g'¤pa–—„Jhwmžo i4k„(i7lJl5e4
¶7Ž5e4r
izm%e EAõD"(0 Æ ÷Î ö,Ï"P…Éúv|s R Æ ‚ Îwv U q U\“ Ï6s a Æ ^ n a Æ ` Š)“ sö ÏŠ
Ø
g0„JeRe4
dhwx c
Jope4
.g+r
i

c g c Žm%efx0dZeHg0„eHmg1i7g0e c s(¡ c
Jjtk htg0m
—„Je m%efg'2žNH"žÎ@N U = — Ïr
i
yŽ5e r c oplJzg0e4|€Ž.kIhtg0efx1i7g0hw
‚Qg0„e
hw
Jlzg:i
J| c zBg0lJzBg:irfg0h c
m4aÇÚRe4
Jrfe“hw
c x1|Befx g c m0i7g0hwmsk
c l5e#x1i7g c xvEAD õ "(0 Tœ ™ ²mg1ix%g0hƒ
‚‰sx c o A#LLƒS-Z$LSÎ@N U —Ïqz
g0hwj
r c
(|htg0h c
‘Î*º.Ï c s g0„Jeq|BefŒ(
htg0h c
c s+e4
dBhtx c
Jope4
.g
5
Jiope4jtk.

c
Jef†”mg1ig0e4mHix0e,s c zJ
(|/a
g0„(ig:¡vê¤Ûr c
.g1i7hƒ
m,
c hwjwjƒef‚Zij mg1i7g0efm4^g0„ee4
dhtx c
ope4
.g
o6zmg6Ž5e:r c
Jm%efx0di7g0hwdZeni
J|ylBx c dBhƒ|Beni7
yhƒ
lJzBg6g c ¡ c
Jjtk
htsr¡ãi7r4r4e4lBg0mg0„Ji7gqhw
lJzg=hw
‘ijwjmg1ig0e4mqhw
I†“„Jhwr1„‘htgr c zjƒ|
;RL -Z7#.NäY
l c m%m%hwŽjwk‘Ž5eavâDefr
izm%e c sRg0„Jhwm4Dg0„efx0e<o i4k‰Ž5e:x0e
ir1„(i7ŽJjwe
f¬>$*?¦+K
.g0efx%s*i7r4eŸizBg c o i7g1imNXi
(|—pa
mg1i7g0efm›v c s"¡”m%zJr1„:g0„Ji7gs c x$LL/e4
dhwx c
Jope4
.g0m6¤ c s*¡B
c
ý ? ¦$*^  2žNH"?Î@N U =
 ¦+p — Ï#a
mg1i7g0e c s(g0„eDs c x0oÛÎwv Uñ Ï?hwmÊx0e4ir1„(iŽjwehw
g0„JeDlx c |zrfg"¡pêz¤qa
—„Jefm%e²mg1ig0e4mDr4i
^ c s¶r c zBx0m%e.Ž5ex0e4o c dZe
|Ÿsx c oáhw
c x1|Befx
f¬?®¦
®¨®JþZ¨¦
®¤5¬A,Ñ^efg7ö*ˆ›P’A#LLƒ‡-Z$LKÎ@N U —=Ï#a
g c o i™Ze›¡¸m%o ijwjwefx
aÊÚ c †De4dZefx
.g0„e²Ž5efmg™
c †“
:ijw‚ c x0htg0„Jo
ÿpª
$ ª¨¦+“  À c x
v_Bjƒe#gŒ ö  ‹ ‰ Ph ö  n EAõD"(% Tœ ™ ÷Î öÏ#a
s c xŸŒ(
(|Bhw
J‚ng0„e4m%eqmg1ig0e4mx0e
³.zJhtx0e4mŸef•Bl c
e4
.g0hui7jžg0hƒope<ÎSi
(|
<¬/¦
®âSrö  ‹ ‰ P…ö  a
 ©7¬A R Tœ ™ ~  ö a
l c jtkB
c ophƒijDm%lJir4e
Ï#Di7
(|€x0e4jwhwe4m c
yi
‘i|ilBg1i7g0h c
c s“g0„e
ÿpª¦&?
m%zJŽm%efg²r c
mg%x0zJrfg0h c
c s¢t``f¯Sa

šHm%hw
‚ng0„JhwmŸi7jƒ‚ c x0htg0„Jo?g0„Je6r c opl c m%htg0h c
c sgK† c hw
.g0efx%s*i7r4e

‡†Z$NR"5Lƒzò bDc
Jm%hƒ|efxng0„JeQhw
.g0efx%s*i7r4e€i7zg c o i7g c
j¡ c s
izBg c o ig1ir
i7
<Ž5e,r c oplJzBg0e
|:Ž.kpŒx0mg“lx0zJ
hw
J‚Ÿg0„Je,hw
Jr c oq…
À–hw‚zBx0e€Ö.aXŠ.g1i7g0eQÁ c sg0„Je3i7zg c o i7g c
{hƒm:
c g x0e
ir1„(i7ŽJjwe
l(ig0hwŽJjwe“mg1i7g0e4m sx c oÜg0„Je“lBx c |zJr#g
i
J|6g0„Je4
¶s c x c lg0hwophwÞ
i7…
i7sug0efx,r c opl c m%htg0h c
3†“htg0„Ui
.kef
Bdhtx c
ope4
.g“s c x7¡a²R
3ef
…
g0h c
¶ x0efo c dhw
J‚Ui7
kIzJ
x0e4ir1„(iŽjwenmg1ig0e4m4a‘—„Je s c jƒj c †“hw
J‚

opef
gDs c xr¡Çr4i
lBx c dhƒ|eH
Je4htg0„Je#x“hƒ
lJzBgžq/
c x“hw
JlJzBg
dhtx c J
g0„Je c x0e4oîm%zopo i7x0hwÞ4e4mqg0„er c opljwef•BhwgKk c s=|efr4hƒ|hw
J‚Ir c oq…
ó “g c ¡a»—„Je3x0e
i7m c
hwm:g0„Ji7g
²Ž5e4r
i7zJm%e c sŸg0„e3hƒ
.g0efx0
Jij
l(ig0hwŽJhwjwhwgKk.¶i
J|Qr c oplJzBg0hw
J‚qg0„Je=r c opl c m%htg0h c
^ c sDhw
.g0efx%s*i7r4e
mg0e4lm=sux c o˜mg1i7g0e:_g c mg1i7g0e4m:`:i
(|I]Êg0„Jepe4
dhtx c
ope4
.g
izBg c o ig1iBa
r
i7
6
JefdZefxžŽ5em%zBx0eDg0„(ig‡¡{hwm–x0e
i|kŸg c irfr4e4lgžg0„e4m%ehw
Jlzg0m4a

çrèF Mé F
˜
ê ]a6CË#»*)+vK#f$Z 1y$7!B‡7Np$‡$N $758
~„e4
Je4defxžg† c hƒ
.g0efx%sir4e²i7zg c o ig1iŒN¸i
(|m—”ix0e“r c oplJi7g%…
—q\)D: 0$‘8.% fS8Z )–J#J#pJ#MU$70n 0NR"B$* ¹ Lƒ#\H$58)D
0$' 0NH"(!K}N# ã
— 3*N L /%${‚ N#‚–$758,‚ —|‚ƒ
hwŽJjwe.g0„efx0eRhwmDiŸlJi7x%g0hwr4zjuix0jtk m%hƒopljwe²jwe4‚ij/e4
dhtx c
Jopef
gžs c x
Î@N U —=Ï#
(i7ope4jtk.4g0„Je c
e g0„Ji7g?ir4rfe4lg0m?ijwj c zBg0lJzBg0m c sNŸêŒ—q
i
J|6g0„(ig+‚e4
Je#x1i7g0e4m
c hw
JlJzBg0mžs c x•N3êC—q°–r4jwe
ix0jtk..g0„Jhwm+ef
…
ŠBhw
r4e,g0„JeŸr c opl c m%htg0h c
c sÊhw
.g0efx%sir4eizBg c o i7g1iqhwmRim%m c 4 r hƒi…
dhtx c
Jopef
gDi
d c hƒ|BmDe4
.g0efx0hw
J‚qA#LLƒS-Z$L‡Î@N U —=Ïʆ“„Jef
Je4dZe#xl c m%m%ht…
ŽJjwea6—„Jhwml c hƒ
.g0m,g c i:jwhwophtg1i7g0h c
c shw
.g0efx%s*i7r4epi7zg c o ig1iB°

g0hwdZeÊ†e:r
i7
vr1„Je4r1™'†“„efg0„Je#xz‘ }_Qhw
g0e#x%s*irfeizBg c o  i g1i

†“„Jhwjwe“g0„Jee4
dhtx c
Jopef
g i7m%m%zJoplBg0h c
c s¶i7
 i zBg c o i7g c
qr

i7

NA‰4=a4a4af7N X ix0e'r c opl(ig0hwŽJjweQŽk{r c oplzg0hw
J‚'g0„Je4htxr c q o …
l c m%htg0h c
pN ‰ ñ)ññ )N hw
yi<‚x1i|z(i7j+sim%„Jh c
^ r c
mg%x0zJrfg0hw
‚
ef•Blx0efm%m^†“„Jhwr1„hw
lJzg0m¶o i4k c r4r4zBx
7hwg–r
i

c g?f e •Blx0e4m%m¶†“„Jhwr1„ X
hw
Jlzg0mRN!O1 c r4rfzx
a —„zJm4.g0„eRi7zg c o i7g c
pg0„Ji7glBx c |zr4e4m
Î@NA‰ú ñ ñ&ñ )N W
‰#Ï N W s c x_ŽŒPí` U ] U&ŠŠŠU ‘ʍ i7
(|€r1„Jefr#™hw
J‚<s c x
e
i7r#„,Žžg0„(i7gDg0„JeRx0efm%zJjtg0hw
J‚6r c opl c m%htg0h c
:hwm
c
Je4oplBgk.až—„e

c hw
Jlzg0m,hwmHg0„e6Ž5e4mg,s c xŸm%„ c †“hw
‚r c oplJi7g0hwŽJhwjwhtgk.a=—„efx0e
ef prfhƒef
Jrfk c ? s g0„Jhwm“r#„e4r#™ jwhwe4m“hw
<g0„JeHsirfg“g0„Ji7g
Bhw
<g0„Je,r c oq…
i7x0e“m%e4defx1ijJ†i4km c s¶e4
JiŽjƒhw
‚hƒ
.g0efx%sir4eRizBg c o ig1iRg c m%l5e4rf…
lJzBg1i7g0h c
c sH@Î NA‰ ñññ N ‰#Ï )N ¶g0„Jehƒ
r c oplJi7g0hwŽJjwemg1i7g0e4m
htsk hw
Jlzg0m g0„(i7gDo6zmg c r4rfzx
° io c
J‚g0„Jefo.mkB
Jr1„x c
hwr4htgk. W
W
i7x0eUlx0z
Je
|{im<e4i7x0jtk¸imnl c m%m%hwŽJjwea¿—„Jhwmnhu|Be
i‰hwm<r4j c % m efjwk
i||hw
J‚sihtx0
Jefm%m4 c q
x i|J|Bhƒ
‚x0e
ijt…Sg0hwopepr c
mg%x1ihw
.g0m4aUŠBzr#„
x0e4jƒi7g0e4|yg c g0„JenzJm%e c sH‚iope4ms c xpg0„e<e
ix0jtk‘|efg0e4r#g0h c
c s
ef•g0e4
m%h c
Jm²i7x0eŽ5e#k c
J|:g0„JeHm%r c l5e c sžg0„Jhwm† c x0™5a
efx%x c x0mqhw
‘defx0htŒ(r
ig0h c
’¢ Á¯‡a‰~€enr4i
yszx%g0„efxqhwoplBx c de g0„e
ijw‚ c x0htg0„JoãŽ.k<r c opl c m%hw
J‚qg0„e=izg c o i7g1i#NA‰
^a4a4a
N hw
Qi
X
g%x0e4ef…‡jwhw™ZeHsim%„Jh c
^J
 x1ig0„Jefx“g0„Ji
<hw
3ijƒhw
e
i7x c x1|Befx
a
 ö
ýþÿ ïRð‡ñ öf÷ ò0ó
ôƒõ

   
öf÷7ù öf÷7ù óþ0÷Bø

óþ0÷ø óþ0÷ø

  ðÿ#ý
7ù  ö
ýþÿî ïHðSñø 
û ð%ÿ#ý
7ù   ýóþ0÷ø   ð%ÿ#ý
7ù 

ú

ýóþ0÷ø

ò%ó
ôuõ ù ò%ó
ôuõ ù 
ü ýóþ0÷Bø
û1ú 

ð%ÿ#ý
ó7þ%÷ ýóþ0÷

“®­ ?©ªKŒf¬/¦4ª©¥K¨Jê<¨?¦4¤/ÉU¨J¦4¤5¬³}¾ ¿À6!?¤+ªB©7®¬^­U©ª¦4©ú-/¼%¤5¬–ê3¨J¬–ʼn©ªB¦f©-/¼%¦1§p®ÃªUÉUªÄ

Ä4¨­(ª:¦4©¨(¬–Äɀ®Ä
Ä
®¤5¬A

o6zmg“g1i™Ze=hw
g c i7r4r c z
.gHg0„JeŸs*i7rfgHg0„Ji7gRg0„Je=hƒ
.g0efx0
Jij–mg0eflJm

4. REFINEMENT
—„JeR0Ì 5#N #0fLw$*S7 ihwopm i7gžs c ijwhwÞ4hw
J‚Rg0„JeDx0e4jƒig0h c

x0o c srNãi
J|š—íix0enhw
(|Be4l5e4
J|e4
.g
aQÀ c xg0„hwm4 †De
Je4e
|Im c ope
Ž5efgK†e4e4
=i7ŽJmg%x1ir#gži
J|,r c
rfx0efg0e+dZefx0m%h c
m c sg0„e+m0i7ope r c oq… #"
lx0efjƒhwophw
(ix%k:
c g0h c
Jm4a+—„Je
…‡r4j c m%zBx0e c s i6mg1ig0eŒv:r c
Jm%hwmg0m
l c
e4
.g
Js c xRef•ioplJjweŽ5efgK†e4e4
Qi7
3hw
g0e#x%s*irfe=m%l5efr4htŒ(r
ig0h c
c s5g0„em%efg c s¶mg1i7g0efm g0„Ji7g r
i
6Ž5e“x0e4ir1„Je
|sux c o–vŸŽ.kg1i7™Bhw
‚
i
J|Ihtg0m6hwoplJjwe4ope4
.g1ig0h c
^a3K
€g0„Je hw
Jlzg%…‡e4
JiŽJjwe
|'m%efg%g0hw
J‚ c
jtknhw
.g0efx0
Jij¶mg0e4lJm4a
x0efŒJ
Je4ope4
.gphwm:zJm%zJijwjtk|BefŒ(
e
|{i7m:g%x1i7r4eQr c
.g1ihw
ope4
.g c x
m%hwo6zjuig0h c
‘¢w`4_7¯Sµ¶g0„Jhwm,e4
m%zx0e4mHg0„Ji7gRg0„Je c zg0lzgHŽ5e4„(i
dh c x0m
c sHg0„JehwoplJjwe4opef
g1ig0h c
vi7x0e3Ž5e4„Jidh c x0mpg0„Ji7g:i7x0eQi7jwj c †De
| E0F G3HJIKH9L H9M>IÛ``aqCË#ˆ$˜K#4$ #$!‡Np$‡7£N
Ž.kg0„Je=m%l5e4r4htŒJr
i7g0h c
¶a=Ú c †e4defx
¶m%zJr1„'|BefŒ(
htg0h c
Jmix0e6
c g $(8q$=O0‡$K•v|s R T \?,Of#"œK 4LwO0!B% T ÎwB
v ϲOJRO0Np$LLƒ#O0
illx c lx0hƒi7g0e=hw
'i
c
…‡hw
Jlzg%…‡e4
(i7ŽJjwe
|<m%e#g%g0hƒ
‚/m%zr#„Qi7m,hw
… Of#•ö f R T O1! 1U$7TY#[_vspä ö $58€T@
 [   “ s€í ö $758
g0efx%sir4eQi7zg c o ig1iB°<hws c
Jenx0e
³.zJhtx0e4mqg0„(ig ijwm c g0„em%efg c s Î “'U q U\“ x Ï6s a0T ` \ # “ x s{q ö 
jwe4‚Zi7j,hw
Jlzg0m c sg0„e3hƒopljwe4ope4
.g1i7g0h c
vhwm<iIm%zŽJm%efg c sŸg0„e
hw
Jlzg0mi7jwj c †De
|nŽ.kqg0„eRm%l5e4rfhwŒJr
i7g0h c
^Bg0„Je4
pg0„Je²hwoplJjwe4ope4
B…
—„Je e4
dhtx c
ope4
.g c sRi
‰hw
.g0efx%s*i7r4enizg c o i7g c
pNãr
i7
J
c g
g1i7g0h c
:r c zJjƒ| Ž5e“zJm%e
|phw
psef†Defxe4
dhtx c
Jopef
g0mÊg0„(i7
qg0„Je²hw
…
m%e4e6g0„eqhw
.g0efx0
(i7j mg0eflJm c s¶N6a bDc
m%e
³.zJe4
.g0jtk.¶hws¶NÛhƒmŸigi
g0efx%sir4epm%l5e4rfhwŒJr
i7g0h c
^a:— c hƒjwjwzJmg%x1ig0eqg0„Jeqm%„ c x%g0r c ophw
J‚m c s
g0„Je=mg1i
J|Jix1|3|efŒJ
Jhtg0h c
^/r c
Jm%hƒ|Befx,g0„JeŸhw
.g0efx%s*i7r4eqi7zg c o i7… mg1i7g0ev(“g0„Jef
{g0„Je3e4
dhtx c
ope4
.g r
i

c g<|hwmg0hw
J‚zJhwm%„Ž5ef…

g c

!S 1èB2 7NH" c s6À–hw‚zx0e'ìBaۗ„Jhwmi7zg c o i7g c
x0e4lBx0ef… $"
g†De4e4
jvi7
(|¸i
.kmg1ig0e€hw
BœK 4LwO0!0 T ÎwvBÏ#a¿
¸l(ix%g0hwr4z…

m%e4
.g0mRi r c opl c
e4
.gg0„(igHlBx c dhƒ|efm²gK† c m%efx0dhwr4e4m4°g0„eŸŒx0mg jƒi7x

²g0„JeQe4
dhtx c
Jopef
g ozJmg:Ž5eUiŽjƒe3g c irfr4e4lg<ijwj c zg%…

hwmpg0„Je<g%x%k…Sg†“hwr4e3m%efx0dhwr4eINO-‰lx c dhƒ|e
|vijwm c Ž.kyg0„Je3i7z… lJzBg ir#g0h c
Jm:hw
‡  †u ^T ÎwvBÏ#Ž5e4r
i7zJm%eNär
i7
hwm%m%zJeg0„e4m%e
c Bz g0lJzBg0m6†“htg0„ c zBg:i
.k‰s c x0ef†ix0
Jhw
J‚Ig c g0„Jene4
dBhtx c
Jope4
.g
a
g c o ig c
‰2 NR" c s–À–hw‚zx0e`Î*Ž5Ï#µ.g0„e²m%efr c
J| wh mi,g%x%k… c
r4ef…
c
jtkpm%efx0dhwr4e675 1,|e4m%hw‚
Je
|qs c xope4m%m0i7‚e4mDg0„Ji7gi7x0e²zJm%e4jwe4m%m bDc
dZe#x0m%e4jtk.5g0„Je6ef
Bdhtx c
ope4
.g²r
i
Um0i7se4jtk'hwm%m%zepi
Uir#g0h c

†“„Jef
3mg1ijwea b jwe
i7x0jtk.(†De=† c zju|jwhw™Zeg c  | e#Œ(
Je,x0e#Œ(
Jefope4
.g qyim hw
Jlzgpg c N c
Jjtk‘htsŒyq hwmni7r4r4e4lBg0e
|{ignijwjRmg1ig0e4m hw

!
m c g0„(ig !S 1èB2 7NH"vhƒm6ix0efŒ(
e4ope4
.g c : s 2 NH"^ Ž5e4r
izm%e "œ 4Lw7O1!% T wÎ vBÏ#Ž5e4r
izm%e¶Nr c zJjƒ|„JideDg%x1i
m%hwg0h c
Je
|Ÿg c i
.k

!S 1èB2 NR"hwoplJjwe4opef
g0m+ijwj/m%efx0dhwr4e4mlBx c dhƒ|e4| Ž.kI2 7NH"–
c sÊg0„e4m%eŸmg1i7g0e4m45z
Ž5e4™
c †“
Jmg“g c 0 g „Jee4
dhtx c
ope4
.g
a—„Jhwm

i
J|Ihwm6r c
Jm%hwmg0e4
.g6†“htg0„X2 NH"‘hw
‰g0„Je4htxhwoplJjwe4ope4
.g1i7g0h c
^a o c g0hwdi7g0e4mg0„eHs c jwj c †“hw
J‚:|BefŒ(
hwg0h c
^a


—„JeHjui7
J‚z(i‚e c s !S 1èB2 NR"–B„ c †e4defx
Bhƒm
c gr c
.g1ihw
Je4|
hw
€g0„Jepjƒi7
J‚zJi‚e c sp2 NH"?µÊhƒ
J|e4e4|¶75 1:hwm=
c g=e4de4
Ii7

ir#g0h c
c sŸ2 NH"?a“
Jmg0e4i|¶J†e=o6zJmg²|BefŒ(
ex0efŒ(
e4ope4
.g“hw

E0F G3HJIKH9L H9M>IÛ`
]aq2 O0S8.#²$pK#f$Z 1R$!‡Nq$‡mN6\
$(8n$qO0‡$K}v#s R T ,g Lƒ#
i,r c
g%x1i
di7x0hƒi
.g+s*im%„h c
^°?g0„Je“hwoplJjwe4ope4
.g1i7g0h c
qo6zmgDi7jwj c †
o c x0e=jwe4‚Zi7jÊhƒ
lJzBg0m4¶i
(|sef†efx c zg0lzg0m45g0„(i7
3g0„Je=m%l5e4r4htŒJ… ^T ÎwvBÏÁPÃÉ&qC‚
‡†u ² “ s%"œK 4LwO0!0 T wÎ vBÏ Š q,s [ ^T“Î “ Ï Ï
r
ig0h c
^a
Ø
‡†u ]T“ÎwvBÏÁPÃÉ&qC‚ '& “ s%"œK 4LwO0!0 T wÎ vBÏ Š q,s [ ]TÎ “ Ï Ï
~IeQr1„ c.c m%eIi‰r c
.g%x1i
di7x0hƒi
.g<x0e#Œ(
Jefope4
.g:x0efjuig0h c
”hƒ
g0„e
¹ nJnOf#*Oef•g0efx0
Jijwjtk<e4
JiŽjƒe4|’!t"(!$(8'"J!B=$ 4œ
m%lJhtx0htg c s‘m%hƒozJjƒi7g0h c
^‰x1i7g0„efx”g0„(i
jƒi7
J‚zJi‚er c
.g1ihw
…
*SO0\ %#OS"0 f*ËfL M\“$7(v¶
ope4
.g
a@—„JhwmUjƒe4i|mQg c g0„Jey|BefŒ(
htg0h c
c spx0e#Œ(
Jefope4
.gUim
$L K #15$*-:O0N!Lw$7*SÛ¢ ]
¯‡aP± c zJ‚„Jjtk.i7
’hw
.g0efx%sir4eyi7z…
g c o ig c
|Nx0efŒ(
e4m+i
phw
.g0efx%s*i7r4eHi7zg c o i7g c
|—”hts?i7jwj(hw
JlJzBg —„Jes c jwj c “
† hw
‚|e#Œ(
Jhtg0h c
3hw
.g%x c |zr4e4mHi
QiŽŽx0e4dhƒi7g0h c
Qs c x
mg0e4lm c s›—ãr4i
‰Ž5epm%hwo6zjuig0e
|'Ž.k?N6ži7
(|Ii7jƒj g0„Je c zg0lJzBg g0„Je²m%efg c s? m g1ig0e4mg0„(igix0eRx0e
i7r#„JiŽJjwe,Ž.kg1i™hw
J‚=ef•g0efx0
(i7jƒjtk
mg0e4lm c s Nvr
i
Ž5eDm%hwo6zjuig0e
|ŸŽk0—qa–—„JeDlBx0e4r4hwm%e“|e#Œ(
Jhtg0h c
e4
JiŽJjwe
|nirfg0h c
Jm4a
 E0F G3HJIKH9L H9M>IÛ`4ÁBap2 O1*8.#=$QJK#4$Z 16$7!B‡7Np$‡CN —„Jes c jwj c †“hw
‚:g0„e c x0e4oÔmg1ig0e4mRgK† c hwopl c x%g1i7
g²lBx c l5efx%g0hwe4m
$(86$O1‡$7K6v|s R T DF?7²$LL5\† K#15$LL M6#5$ ¹ Lƒ%8="(!Ê$(8 c / s x0efŒJ
Je4opef
gʎ5e#g†efe4
hƒ
.g0efx%sir4eRizBg c o ig1iBa À–htx0mg
.x0efŒ(
ef…
!t"(!“$Z f**JOžq|3 s ‡† u ]T ÎwB
v Ï n ‡† u ^T ÎwB v Ï#\Ê)DLƒ# ope4
.gŸi7
(|€r c opl(ig0hƒŽhwjƒhtgKkIix0eqx0e4jƒi7g0e
|‰i7m=s c jwj c †“m4°†e r
i7

ijt†i
kBmx0e4ljƒir4eŸi=r c opl c
Je4
.g¶Ndž“htg0„<io c x0e²x0efŒ(
e
| dZefx%…
)(
‡† #O0 T wÎ v U qÏ m%h c
€—Ôm%zJr1„Ig0„(i7gmN 3*
×qÊlx c dhƒ|e
|'g0„Ji7gz—Pi7
(|Nãi7x0e
P Ï s aT•Š“ s"BœK 4LwO0!0 T wÎ vBÏ Ï3Š
É “ x ‚ Ø Î “'U q U̓ x 6 r c
J
Jefrfg0e
|pg c g0„JeRe4
dBhtx c
Jope4
.gŽ.k g0„JeRm0iope,hw
lJzg0m4a —„e
m%hƒ|e²r c
J|htg0h c :

hwm|ze²g c g0„e²sirfg+g0„(i7gDhts^g0„eRe4
dhtx c
ope4
.g
†e#x0eg c lx c dhƒ|e6hw
lJzg0m“s c x0—g0„(igix0e6
c g,lBx c dhƒ|e4|3s c x
šHm%hw
‚ g0„hwm,
c g1i7g0h c
¶5†eqix0ex0e
i|Bkng c |BefŒ(
ei7jtg0efx0
(ig0hƒ
‚ N6g0„e4
{htg:† c zjƒ|{Ž5e3l c m%m%hwŽJjwe3g0„(ig:
Jef†ãhw
Jr c opl(ig0hƒŽhwjƒht…
m%hwo6zjuig0h c
c
<hw
.g0efx%s*i7r4e=izg c o i7g1ia g0hwe4mix0hwm%eHhw
qg0„Je“lx c rfe4m%m%hw
J‚ c s¶g0„Je4m%e²hw
JlJzBg0m4ažÀ c xm c sg†i7x0e
r c opl c
Jef
g0m4Êg0„hƒmplBx c l5efx%gKk‰hwm iUmg1ig0e4ope4
.g c , s m%zŽ…‡r4jƒim%m
l c jtkBo c x0l„Jhwm%o°¶†e²r
i
:ijt†i
kBmm%zŽJmg0htg0zg0e²im%zJŽB…‡r4jƒim%m+s c x
E0F G3HJIKH9L H9M>IÛ`fºap2 O1*8.#6*)+<K#4$ #p$!‡Nq$‡$|N i,m%zJl5e#x%…Krfjui7m%m4lx c dhƒ|e
|6
c

Jef†{opefg0„ c |Bm c s/g0„Jem%zŽ…‡r4jƒim%m
$(8—: ; ¹ 5$1MÛ0fLw$7*S+* f R T oÂR ™ O»$7 i7x0eHzJm%e
|/až
:‚e4
efx1ij*Bg0„Jhwmlx c l5efx%gk r4ilg0zBx0e4mDg0„eHe4m%m%e4
r4e
ijtg0efx0
Ji7g0hw
J‚pm%hwozJjƒi7g0h c
:sx c o — gc }
» N  Ê4$LL/O1‡$7K#Orv#s c s 0NH"B5#JSœ ¹ $Of08<8.#O0ƒ-J°Êg0„JeH|e4m%hw‚
Jefx c s–g0„JeRe4
dBhtx c
…
R T $758 “ s R ™ O1! 16$, v * “ \/J¶4LLw)Ê.-, 058*SJO ope4
.gqÎ*h*a eaw?g0„e c g0„efxŸmkBmg0e4oär c opl c
e4
.g0m1ÏR
Je4e4|mHg c ef
…
Lw8d m%zx0e c
jtk‰r c oplJi7g0hwŽJhwjwhtgk'†“hwg0„yg0„Je:r c opl c
Jef
g=m%l5e4rfhwŒJr
i7…
g0h c
?N6ži
J|'hw
€g0„hƒm,†i4k€‚z(i7x1i7
.g0e4e4mŸr c oplJi7g0hwŽJhwjwhtgkU†“htg0„
g0„Jer c opl c
Je4
.gHhƒopljwe4ope4
.g1i7g0h c {
—qa6ŠBe4r c
(|/^x0e#Œ(
Jefope4
.g
YZ“A†u ]T ÎwvBÏ f ‡†u ]™ Î “ Ï}$(8ãA†u ^™ Î “ Ï f „ e4r1™3htsžN# )N x ’—, — x htg
hwm 0NH"BO0**5$L‡°Ÿhw
c x1|Befxg c r1J *
A†u ^T ÎwvBÏ
 m%z qr4e4mg c r1„Je4r1™QŽ c g0„?N 6*
–—Ôi
J|?N x –— x anŠhw
Jr4e6g0„e*
jƒi7g%g0efxr1„Je4r1™mhw
d c jwdZepm%o i7jwjƒe#xpizBg c o ig1iBžg0„Je#kIix0e:o c x0e
B“F?n$LLD$Z f*SO:qÁs¸‡†u ]T ÎwvBÏ n A†u ™^ Î “ Ïn$(8 ef prfhƒef
g
a
$LLO0‡$K#O “ x>Qs ‡† )(#O0 ™ Î “'U qÏ#\^J#0RO$=O0‡$K6v3x's
A † )(=#O1 T Îwv U q ÏO0! 1<$*v x * “ x 
çrèF Mé F
ê ºa62 JO0S8.#Q%0UJK#4$Z 1€$7!B‡7Np$‡$%N6\
— \ž$(8Œ¡ÓO0! 1:$'—}$58Œ¡$0 0NR"BO#$ ¹ Lƒ#\+$58 [0]™ ˜
q
[_^Æ f [0]T ˜ [_^Æ +A6N¿$58r¡¿$%, 17NH"B$* ¹ Lƒ,$7587N5*Á—q\
¡ $706 0NR"B$* ¹ Lƒ$7580N# )7 ¡ *Á—| )¡p
bDc
J|htg0h c
`“ef•BlBx0e4m%m%e4mÊg0„Je“hw
JlJzBg%… c zg0lzgÊ|Bz(i7jƒhtgKk6Ž5efgK†e4ef

J#kí— $7580ã
mg1i7g0efmŒv -*
“ hw
Qg0„Jeqi7jtg0efx0
(ig0hƒ
‚<m%hwo6zjƒi7g0h c
Qx0e4jƒi7g0h c
¶°i7jƒj
ef•g0efx0
Jijwjtkvef
(iŽjwe
|{hw
Jlzg0m c s7vvix0eQijwm c ef•g0efx0
Jijwjtk{ef
…
iŽjwe
|Ihw
“ Êi7
(|Ir c
Bdefx0m%e4jtk.ži7jƒjDef•g0efx0
(i7jƒjtk'e4
(i7ŽJjwe
| c zg%… —„Je<m%efg c Ÿ s i7jtg0efx0
(ig0hƒ
‚Im%hwo6zjuig0h c
JmpŽ5e#g†efe4
vgK† c hw
.g0efx%…
lJzBg0m c s “
i7x0epef•g0efx0
Jijwjtk€e4
JiŽjƒe4|'hw
?v(a bDc (
|htg0h c
‰]:x0ef… s*i7r4eizg c o 7 i g1iphwmHr4j c m%e
|Uz
(|BefxHz
Jh c
¶a²ÚHe4
r4e(g0„efx0eŸhƒm,i
r4zBx0m%hƒde4jtk‰lx c l(i‚i7g0e4mg0„Je:m%hƒozJjƒi7g0h c
yx0efjuig0h c ^
°ni7jƒjmg0eflJm zJ
hƒ³ze²ijtg0efx0
(ig0hw
J‚Ÿm%hwo6zJjƒig0h c
psx c oגg c N¸g0„Ji7gDhƒm+o i7•…
sx c o “ g0„(i7g:r c x%x0e4m%l c
J|vg c ef•g0efx0
Jijwjtk{ef
(iŽjwe
|ir#g0h c
Jm hwo ij hw
€g0„JeqlJi7x%g0hƒij c x1|Befx6hw
J|zJrfe
|'Ž.kUm%efg=hw
Jr4jwzJm%h c
^a3— c
r
i7
UŽ5e=o i7g0r1„Je4|Žk<mg0e4lJmRsx c o v(a,—„hwm|efŒJ
Jhtg0h c
c D
s ijt… r1„Je4r1™<†“„Je#g0„Jefx0N *
’—q¶htgg0„zJmHm%zB pr4e4m,g c r c oplzg0eŸg0„Jhwm
g0efx0
Ji7g0hw
J‚,m%hwozJjƒi7g0h c
hwm o c x0ehw
d c jwZ
d e
|Ÿg0„(i7
g0„Je c
Je c žs ¢ ]¯ o i7•Bhwo ij–ijtg0efx0
(ig0hw
J‚<m%hwozJjƒi7g0h c
¶–i7
(|Qr#„e4r1™3hwsDhtgx0e4jƒi7g0e4m
Ž5e4r
i7zJm%e=htg|e4ijwmH†“htg0„Qhƒ
.g0efx0
Jij–mg0eflJm4a,K
g0„JeŸef•iopljwe c s g0„Je hw
Jhtg0hƒijmg1ig0e4m c s7Nãi
J|p—pa'—„eno i•hwo i7jijtg0efx0
Ji7g%…
À–hw‚zBx0e4mn`Î*Ž5ϟi
(|y썞g0„Jefx0e hwmqi7
vi7jtg0efx0
(ig0hƒ
‚Qm%hƒozJjƒi7g0h c
hw
J‚Um%hwo6zJjƒig0h c
vr4i
{Ž5enr c oplzg0e
|IŽ.k‰mg1ix%g0hw
J‚'sux c oæg0„e
g0„(igx0e4jƒi7g0e4m›ŽÊ†“hwg0„Ž x s c x›ŽAs.É7_ U ` U ] U Á U º U Ö U ì Ï a x0e4jƒi7g0h c
R T o?R ™ i7
(|€htg0efx1ig0hwdZe4jtk€x0e4o c dhw
J‚nl(ihtx0m4Êz
g0hwj
e4htg0„Je#xHg0„Je=r c oplJzg0e4|<x0e4jƒi7g0h c
'm0i7g0hwmŒ(e4m,g0„er c
(|Bhtg0h c
Jm c s
i
<ijtg0efx0
Ji7g0hw
J‚pm%hwo6zjƒi7g0h c
¶ c xR
c lJihtx0mHix0ejwefsg
hw
<†“„Jhwr1„
E0F G3HJIKH9L H9M>IÛ`
Öa G^JJK#4$Z 1U$!‡Np$‡7t— x0efŒ(
e4m r
i7m%eŸg0„efx0ehwm“
c ijtg0efx0
Ji7g0hw
J‚pm%hwozJjƒi7g0h c
¶a—„hwmRlBx c r4e
|zBx0e
JHK#4$ #,$7!B‡7Np$‡,N6\^)Ê#*K##N *Á—q\– TY#[
[ ]Tf hwmi
Jij c ‚ c zm,g c g0„e c
Je6lBx0e4m%e4
.g0e
|3hw
v¢ ]
¯žs c x=i7jtg0efx0
(ig0hƒ
‚
[ ]™ [ ^T/. [ ™^ \ $58<T@
[ŸJ#%ŸOR$Q$L K##($*-qO0Nqœ
$(8 m%hwo6zjuig0h c
nx0efjuig0h c
Jm²Ž5efgK†e4e4
<‚Ziopemg%x0zrfg0zx0efm4a
!BLw$*S0*Ç1%N — ‡#N6\²$<O0‡$K:v%s R T W<X+W<Z \²$583$O0‡$K
å
“ s R ™ W<X+W<Z O0! 1<$*,
v * “  ;RL -Z7#.N  

f¬>$*?¦+K
.g0efx%s*i7r4eŸizBg c o i7g1imNXi
(|—pa
ý ? ¦$*^  ¦+' —„Je:zJ
Jhƒ³.zJe:o i7•Bhwo ijDijtg0efx0
Ji7g0hw
J‚'m%hƒozJjƒi7g0h c

D c g0epg0„(i7g=z
Jjwhw™Ze ƒh
€mg1i
(|i7x1|Im%hwo6zjƒi7g0h c
¶žg0„Je‰àKgKkBlJhw
J‚á sx c o — gc 6
» N a
r c
(|htg0h c
Î`
ϟhwm=r c .
g%x1i
di7x0hƒi
.g c
Ig0„Je i7rfg0h c
ym%efg0m4aQ—„e
|e#Œ(
Jhtg0h c
c sDx0efŒ(
e4ope4
.gHr4ilg0zBx0e4mŸinm%hwopljƒe™hƒ
J| c sm%zŽ…
r4jƒim%m%hw
‚°hts¶N *h—q¶g0„e4
3g0„Jehƒopljwe4ope4
.g1i7g0h c
{—¿hwmŸi7ŽJjwe
f¬–®u¦
®¨®JþZ¨J¦4®¤5¬AŸÑ¶efg#* ˆ P R To.R ™ a
g c x eqm%efx0dhwr4e4mg0„Ji
'g0„eqm%l5e4r4htŒJr
i7g0h c
pN6^ŽJzBg
lBx c dhƒ|e6o c 0
ÿpª Ê $ ª¨J¦Y:  À c x89Ó_Ê|e#Œ(
Je%*  ‹ ‰ f *  Žk
htg<ozJmg:Ž5eQr c
% m hwmg0e4
.gn†“htg0„…N c
g0„JeQm%„Ji7x0e
|m%efx0dhwr4e4m4a
v * ‹ ‰ “ hts:
, v * “ i
J|Ÿr c
(|Bhtg0h c
Jm `Di7
(|=]
c sÊ¡,efŒJ
Jhtg0h c
U`4º i7x0eŸm0ig0hƒmŒJe
|Ž.k,vni7
(| “ 
±²efŒ(
e4ope4
.g Ž5efg†De4e4
hw
.g0efx%s*i7r4e'izg c o i7g1iIhwmiIlBx0e c x1|Befx
†“hwg0„!
* x0e4lJjƒirfe
|<Ž.k*a
21
Î*h*a eawJx0e Jef•Bhƒdei
J|:g%x1i
m%htg0hƒdeÏ#a
<¬/¦
®â÷#* ‹ ‰ P7*a
ÿpªB¦?©7¬A#*a
çrèF Mé F
ê˜ÁBa²F^n$LL+JK#4$Z 1$!‡Np$7‡$CN6\ž—q\$(8
¡\,)D $7ËzN3* N6\$58' mN3* —î$58—4* ¡\HJ# Àx c oÜg0„e„(ix1|
Jefm%m+x0e4m%zjwg0m c
c x1|hw
(ix%kqm%hwo6zjƒi7g0h c
3¢ ì7¯5†De
N5*Áp ¡  „(i
dZeg0„eRs c jwj c †“hw
J‚g0„Je c x0e4oi
Jij c ‚ c zmg c ix0e4m%zJjtg c s¢ ]
¯‡a
 çrèF Mé F
ê@Öaq2?0 1è7-U%Ì /#Np#J ¹ #*)D1#vJK#4$Z 1 c
e c sÊg0„Jer c p o l c
e4
.g0m“hƒm²hw
Qi6x0zJ

Jhw
J‚qmg1ig0ea“—„e=r c q
o …
$!‡Nq$‡$:OŸG^A%>n“œK 0NH"5Lƒ#K
 l c m%htg0h c
CN# )— c s–gK† c r c opl(ig0hƒŽjwe=Š—²mžNXi
J|C—Xhƒm“
c g

Jefr4e4m%m0i7x0hwjtk<i
QŠB—=a—„hƒm“hwm“Ž5e4r
i7zJm%e:N# )—Xo i4k r c
g1i7hw

x0e
i7r#„JiŽJjweRmg1i7g0e4m•v†“„Jefx0e²Ž c g0„:hw
JlJzBgi7
(| c Bz g0lJzBgir#g0h c
Jm
5. SINGLE-THREADED INTERFACE i7x0eUe4
JiŽJjwe
|/aÓÚ c †e4defx
Rg0„e4m%eQhw
JlJzBgi7rfg0h c 
mi7x0e'
Je4defx
g1i™e4
phts*N# )—’hƒmDr c opl c m%e
| c
Jjtkq†“htg0„ c 0
g „efx“ŠB—Rm4°–m%hƒ
r4e
AUTOMATA
~„e4
vg0„efx0e3hwm c
Jjtk c
JeQi7rfg0hwdZe3g0„x0e
i| c sŸr c
.g%x c jRhƒ
i c
e c s›N c x_—ÔhƒmŸx0zJ

Jhw
J‚i7g_v(ž
cc g0J „ efxqŠ—r
i7
‰Ž5e
mkBmg0e4oZ†DeHr
i7
:g1i7™ZeHi|di
.g1i‚e c s^g0„hwmDs*i7rfgŽ.kqlBx c dhƒ|hw
‚ x0zJ

Jhw
J‚ni
J|Ur4izJm%eg0„Je6hw
lJzgirfg0h c
m,g c Ž5e=g1i™Ze4
¶aq—„e
m%l5e4r4hƒi7jƒhwÞ4e4|v|BefŒ(
hwg0h c
Jm c sRhƒ
.g0efx%sir4enizBg c o ig1i3i
(|Ir c oq… g0„Je c x0e4o}Ž5e4j c †”o i™Zefmg0„Jhwm“mg1i7g0e4ope4
.glBx0e4r4hwm%ea
l c m%htg0h c
¶a+—„Je4m%eŸO0-LƒfœS0%$Z8Z08:dZefx0m%h c
m c s^hw
.g0efx%s*i7r4e,i7z…
g c o ig1i‚hwdZe“x0hƒm%e“g c m%o ijwjwefxi7zg c o i7g1i,s c xr c opl c m%htg0eRmkBm…
g0e4opm4a çrèF Mé F
å ê ìBa62 JO0S8.#*)+: 0NH"B$* ¹ Lƒ&?G^A%;,O•Nã$758
—q\,$3O0‡$K_vs R T"ä ™ \H$(8Q*)+€$ f*SJO7q U ó s [ T*ä ™ ÎwvBÏ
)Ê_q|s [ ]T*ä ™ $58 ó s [ `T*ä ™ n [ ^T*ä ™ A6¡OH$&–G^A%;
E0F G3HJIKH9L H9M>IÛ`4ìBaH;vm%hw
J‚jƒe#…‡g0„Bx0e
i|Be
|qhw
.g0efx%s*i7r4eHi7zg c o i7… 0NH"B$7* ¹ LƒR)Ê_N# )¿
— O0! 1 $7+Î@N# =
— Ï )Ó ¡ O² 4LwOf087\žJ#
g c
XTS&–G^A%;[#N Op$7‘JK#4$Z 1<$!‡Nq$‡{B$,O#$*OuÌ#O 4$LL/O1‡$7K#O “ s R Æ )DH$Ë›qs  : [ < T*ä >™ = ä Æ Îwv U\“ Ï

J 4LLw)Ê.-: 0(8*S7JO)d

ÚHef
Jr4e“†eRhƒ
.g%x c |BzJr4eHi=m%l5e4rfhui7j/dZefx0m%h c
c s?r c opl c m%htg0h c
:s c x

YZqG^JDO4# R T DO0‡$K#OO/"B$1**S7/%8ŸJ‡H*)+8O<l
J Š—Rm4r
i7jwjƒe4| O0.-Lƒfœ‡%%$Z8.%8 0NH"B7O1*SJ\†“„Jhwr1„=lBx0zJ
e4m
O4#*O R T P R È T ^ n R T ] 3G^JO0‡$K#O R T ^ $70p 0$LLƒ%8 g0„JeRhw
JlJzBg“ir#g0h c
Jmg0„(ig c r4r4zBxRi7g“mg1i7g0efm†“„Jefx0e,hw
.g0efx0
Jij c x
x0zJ
J
hw
J‚\ ¹ % 0$!O4q7(L MpK##($L–$(8<!t"(!“$ f*SJO c zBg0lJzBg“irfg0h c
JmRi7x0eŸijwm c e4
JiŽjƒe4|¶a
8 d4$LLvCs R0T ^ \D),$Ë [0]T ÎwvBϕP’iJ
$0p#($ ¹ Lƒ%3
G^J6O1‡$7K#Oq R T ] $0p 0$LLƒ%86†ihtg0hw
J‚J\ ¹ % 0$!O4:(L M
"(!+$Z f*S7JOŸ$%#($ ¹ Lƒ%83d?47$LL3v|s R0T ] \ž)D²$Ë E0F G3HJIKH9L H9M>IÛ`4×Baq2 O0S8.#<*)+' 17NH"BO#$ ¹ Lƒ<&–G^A%;HO0N
[ ^T wÎ vBÏ"P [ `T wÎ vBχPuiJ $(8C—:’G^J6m%hw
J‚jƒe#…‡g0„Bx0e
i|Be
|yr c opl c m%hwg0h c
tN#‚ ‚ ‚ —æO: ¹ œ
‡$5%8=1%N ¹ MÌ 1O1R0#NqË
-Q$LLžO0KK"(OpÎwv U q Uē Ï0s
N# —
B²;RLL!t"(!ŸO0KK"(O:N6!O0ŸLƒ0$8'‡U)+$*-'O0‡$K#O)d64 a:T"] ä ™ [_^T*ä ™ wÎ vBÏ n [_`T"ä ™ wÎ vBÏzPÈ
476)–S 1  i\²$58J#‰%fœ
$LL Î “'U q U B
v Ï_s amT ^ \R)D6$Ë_vs R0T ] ‘2 7JË#1O4fL M7\ Np7Ë
-€$LLDO0‡$K#O:$ ¹ 0 0Npn!J0%$Z 1B$ ¹ Lƒ=1%N RŒT"W9XYä W9™ Z 
(L M€!t"(!ŸO1KK"JO3 0$Lƒ%$Z8'‡U)D$7*-'O0‡$K#O)p
d 4
$LLv|s R T ] $(8p$LL(Î “'U q U B
v ϕs a T \–)D²$Ë•q|s [ ^T 
ŠBhw
‚jwef…Sg0„x0e
i|e
|’r c opl c m%hwg0h c
XhƒmUi7‚Zihw
Óim%m c rfhuig0hwdZea 

À–hw‚zBx0e=ç†ehwjwjƒzmg%x1i7g0eg0„(ig²m%hƒ
‚jwef…Sg0„x0e4i|e4|<r c opl c m%htg0h c

bDc
J|htg0h c
€`Hx0zJjwe4m c zBg²mg1i7g0e4m†“„Je#x0eHg0„Jefx0eHhƒm²i6r1„ c hwr4eŽ5ef… o i4k€jwe
i|Ig c i3m%zŽJmg1i
.g0hƒij+x0e
|zrfg0h c
yhw
Ig0„Je % m hwÞ4e c s²g0„e
g†De4e4
c zBg0lJzBg#´7hw
.g0efx0
(i7j/irfg0h c
m,Ά“„Jhwr1„<ix0eHr
i7zJm%e
|pŽ.kqg0„e mg1i7g0e=m%l(i7r4eaHâ+k3l5efx%s c x0ophw
J‚pg0„em%hw
J‚jwef…Sg0„Je
i|e
|3lx0z
Jhw
J‚
izBg c o ig c
pi|di
Jrfhƒ
‚iHg0„x0e4i| c s^r c
.g%x c juÏÊi
(|hƒ
lJzBg irf… ?1
c
B…Sg0„Jef… Jk3|zx0hw
‚ng0„Je6lx c |zrfgr c J
mg%x0zrfg0h c
^?htghwml c m%m%hw…
g hc 
0
m:Ά“„hwr#„‰ix0e r
izm%e
|€Ž.kUm c p o e c g0„JefxizBg c o ig c
‰i|B… ŽJjweqg c r c
Jmg%x0zrfg_N#‚ ‚<‚ —}†“htg0„ c zBg=r c
mg%x0zJrfg0hw
J‚ng0„Jepe4
.g0htx0e
di
Jrfhƒ
‚i g0„x0e
i| c sr c
.g%x c jÏ#ap—„Je6x0z
J
Jhw
‚nmg1ig0e4mŸhƒ
J|ht… x0e
i7r#„JiŽJjwe+mg1i7g0e m%l(irfe c sN# )—qa–—„JeÊs c wj j c “
† hw
J‚Hg0„e c 0 x e4o”hw
…
r
ig0e c †“
Jefx0m%„hwl c s?g0„Je²m%hw
J‚jƒeRg0„x0e
i| c s?r c
.g%x c j*µBg0„Je“†ihtg%… |hwr
ig0e4mg0„(ig=g0„eqm%hw
J‚jƒe#…‡g0„Bx0e
i|Be
|€r c opl c m%htg0h c
c s² Š —Rm
hw
J‚pmg1ig0e4mRhw
J|hwr
i7g0eŸ
c
… c †“
Je#x0m%„Jhwl^a bDc
(|Bhtg0h c
U]6e4
Jm%zBx0e4m kBhwe4jƒ|mUŠ—Rm4=i7
(|”g0„Ji7g c x1|hw
(ix%kÇi7
(|”m%hƒ
‚jwef…Sg0„x0e4i|e4|
g0„(igni
¸ŠB—P†ihtg0m:s c x<i
hw
lJzg lBx0e4r4hwm%e4jtkisg0efxnhwm%m%z… r c opl c m%htg0h c
‚hƒdex0hƒm%e3g c g0„e3m0iope3
c g0h c
c sŸr c oplJi7g0ht…
hw
J‚pi7
c zBg0lJzBgHi7rfg0h c
¶µJg0„Jhwm“hwmRŽ5efr
izm%ehwsžg0„efx0ehwmHim%hƒ
‚jwe ŽJhwjwhtgk.a
g0„x0e4i| c sr c
g%x c j*Rg0„e4
e
ir1„ c zBg0lJzg:mg0e4lx0e4jwhw
(³.zhƒm%„e4m
g0„(igg0„x0e
i|¶a
çrèF Mé F
ê˜ça“F?' 0NH"BO#$ ¹ LƒQ&–G^A%;HO#NÙ$58{—q\6J
O0-LƒfœS%0$8.%8< 0NH"B7O1*SkN#‚ ‚<‚ —}O$3&?G^A%;=5F/!B1J##œ
Np70#\Ê žN# )—ÔOH(/#NR"(*M\+J#kN#‚ ‚<‚ —ãOH57/#NH"J*M.
E0F G3HJIKH9L H9M>IÛ`
ça G–)+ &?G^A%;,O
O N $ (8
 — $0
r c opl c m0iŽjweå íTY1[PJ#M˜$%P 0NR"BO#$ ¹ ƒL Ô)–J#Ù 0Jœ
O0S8.#%08€$OqK#4$ #$7!B‡7Np$‡$\$58yTS4[Q$,Np7O1/< 6. ACKNOWLEDGMENTS
;
J€*S$LHO0‡$K#O'O31!BJ.- Q$ O0\ R T W<X+W<Z f R T ]  ~Ieg0„Ji
J™ë+|†i7x1|QŸa/Ñ^e4eA@Rhƒi c ßzJ
'Ñ^hwz¶¶Àx0e
|J|kQÐi7
J‚
R:™ W9XYW9Z f R:™ ] åG–)+‰&–G^A%;HOQ$%nr c oplJi7g0hwŽJjwe‘ J#Mv$0 CB D@
i
J| Dz„ c
J‚ Hh c
J‚s c x–sx0zhwg%szJj.|Bhwm%r4zJm%m%h c
m4a —„Jhwm^x0efm%e
i7x0r1„
0NH"B7Of$ ¹ Lƒn$Oq&?G^A%;,O0\R$(8' 0NR"B$* ¹ Lƒ )–J#‘ 0O0S8.#0%8 †i7mIm%zJll c x%g0e
|Xhw
Ül(ix%gIŽ.k»g0„JevHÀ?ØŠB±ˆÐ<šH±²U‚7x1i
.g
$O,JK#4$Z 16$!‡Nq$‡$. À–ºZÝìZ]7_7…K__…1`#…K_ÁZ]ç/g0„JeH¡H²±H½/’Ð c âDëDŠ<‚7x1i
.gRÀžÁÁì`Ö
…
__… b …1`
ç_ÁBg0„JeНR± b Ø ô Š± b ‚x1i7
g:Ý×7…‡¡—D…Kìì_Bg0„e
DŠBÀ¿—„e ± …KÝÝ××`ç]6i
(|g0„Je%DŠBÀ—±
c x%k”‚x1i7
.g bb ²

qg0„eH|BefŒ(
htg0h c
c s^m%hw
J‚jwef…Sg0„Bx0e
i|Be
|pr c oplJi7g0hwŽJhwjwhtgk.Z†DeH| c ‚x1i7
.g bb ±²…K__×ZÖ7ݺZÝa

c gH
e4e
|i6x0efmg%x0hƒr#g0h c
3g c m%hƒ
‚jwef…Sg0„x0e4i|e4|Qef
Bdhtx c
ope4
.g0m4
Ž5e4r
i7zJm%e‰g0„JeXà c lBg0hƒo i7jwáe4
dhwx c
Jope4
.g
†“„hƒr1„»hwm%m%zJefm'
c
c zBg0lJzBg0m4Z„(i7m c
Jjtk=†ihtg0hw
J‚Ÿmg1ig0e4m4i
J|6hwm g0„efx0efs c x0e²m%hƒ
‚jwef…
7.¢t`#¯±=REFERENCES
aJRjwjwe4
3i7
(|:¡6a ô i7x0jƒi
J|¶a5À c x0o ijwhwÞ4hw
J‚
g0„x0e4i|e4|¶a — c ‚efg0„efx
g0„Je4m%e|BefŒ(
htg0h c J

mef
Jm%zx0eRg0„(i7ghƒ
:e4d.… i7x0r1„Jhtg0e4rfg0zBx1ij^r c

Je4rfg0h c
^a
3%
 Yå7nA+ 
efx%k:x0e
ir1„(i7ŽJjweŸmg1i7g0e c s+i6r c opl c m%htg0h c
c sDŠ—²m4(igHo c mg FE
2 
4–&(#*)+$%,.-/0#1-Jl(i7‚e4mRç` ×_B–`4ÝݺBa
 PO
¢ ]
¯±=aJRjwzBx
J—HaJÚHe4
Þ4hw
J‚efx
5Øa zJlBsefx0o i7
^Bi7
(|
Ð'a(¾+i7x1|BhSa²jwg0e#x0
(i7g0hw
‚6x0efŒ(
e4ope4
.gx0e4jƒig0h c
Jm4aJ

2 5 f!10#( fM€G^J%1M75Ñ^efrfg0zx0eŒD c g0e4m“hw
D b c oplzg0efx
ë QE
ŠBr4hwe4
r4eq`4ºìì5l(i7‚e4m`
ìÁ J`ç×a^ŠBlBx0hƒ
‚efx%…‡¾ efx0jƒi‚B
ë+î `
ÝÝ×Ba

ì'G ¢ Á¯ŸÑ aJ|eŸ²jwsi7x c 5—HaÚHe4
Þ4hw
J‚e#x

(i7
(|ÀDa(Ði
‚a
ï í ¡,efg0e4r#g0hƒ
‚qefx%x c x0mRŽ5efs c x0e,x0e
i7r#„hw
J‚qg0„Jefoa

ì
SR
2 NH"J!BK##œ;²S8.%8 J## ÌD 0$*S5Ѷe4rfg0zx0eŒD c g0e4m“hw

bDc oplzg0efxRŠr4hwe4
Jr4eq`4×ZÖ֍5lJi‚efmŸ`4×ì B]_`a E
ŠBlBx0hƒ
‚efx%…‡¾ efx0jƒi‚B5]7___a
ÎSi϶N
¢ º7¯¡6aÚ,i7x0efjSa(Šg1ig0e4r1„(i7x%g0m4°+”dBhwm%zJij/s c x0o i7jwhƒm%o}s c x
r c opljwef•:mkmg0efopm4a^&( f‡#5 1p2 7NH"(!K#
FE
0-%$NN6.-5×° ]7ÁB` B]çºÊ`
Ý×Zç.a

I I î Jí ¢ Ö
¯¡6aJÕZir1™m c
^a(ë
Bs c x0r4hw
J‚ |efm%hƒ‚
r c
Jmg%x1ihw
.g0m†“htg0„
c Žße4r#gHj c ‚hwra5
Q&J‡$7*S Ÿ;²5$L MO0O,&!NH"BO0!N6
H HG Ñ^e4r#g0zx0eŒD c g0e4m“hw
bDc oplzg0efx²Šr4hwe4
Jrfeq`
×Z]º5lJi‚e4m
TE
` ]`a/ŠBlx0hw
‚efx%…‡¾ efx0jƒi‚(]___a

O
¢ ì¯=Øa zlsefx0o i
ni
J|3Ð'aJ¾+i7x1|Bh*aJ¾ efx0htŒ(r
ig0h c
c sžs*i7hwx
Î*Ž5ϕ— g%x1i
m%hwg0h c
3mkmg0efopm4a 2?.S 0$
-Z:BG^J%%#*S 0$L
2 NH"J!BK#Ÿ&( f‡#5 1#/].^`4ÝÝ×Ba

¢ ç
¯Ÿë“a(Ñ^e4eŸi7
(| ,B6aU@Hh c
‚a^&JM7O1K#N6œKLƒ#ËfLDGJM#"#Ož4
V(
2 NH"B7/#JSœ ¹ $Of%8 #O0ƒ-/(—^e4r#„
Jhwr
i7j–Ð<e4o c x1i
J|zJo
I î Júí HG š b â´7ë ±RÑyÐ__´×/ë jwe4r#g%x c
Jhwr4m²±²e4m%e
i7x0r1„3Ñ^iŽ^
ë
šH
hƒdefx0m%htgk c s b i7jƒhts c x0
Jhƒi/âDefx0™Zefjƒe#k.5]7___a
ë+î ë+î ëYî
I I î Júí HG ¢ ×¯ŒDaJÑ^e4de4m c
¶a^&MO0K#Nã&5$
#*M:$75832 NH"(!K#1O0a
H||hwm c
B…‡~€e4m%jwefk./`
ÝÝZÖa
ï í ï í ï í ¢ Ý¯ŒDaJѶkB
Jr1„ni
(|Ð'a(—?zBg%g0jweaJÚRhwefx1i7x0r4hwr
i7j?r c x%x0e4rfg0
e4m%m
ì
I î Júí HG lx c.c sm“s c xH|hwmg%x0hwŽJzBg0e
|<i7jw‚ c x0htg0„opm4a(

Aå

H ;=2?>ˆ&MNR"¶/1( f "5Lƒ#OŸ (,O0*# ¹ !K%8U2 7NH"(!*.-

ìG ì'G ì'G E
l(i7‚e4mŸ`
Áç (`
Ö`ž`
Ý×ça

¢t`
_¯±=a(Ð<hwjw
Jefx
a(R
i7jw‚e4ŽBx1ihwr=|efŒJ
Jhtg0h c
c sÊm%hwo6zJjƒig0h c

Ž5efg†De4e4
lBx c ‚7x1iopm4a
3%
(Z(8qA1K##($*S($L
Î*r϶N# )— H2 4
#0#( #;²#* Ì+ fS$L5A1JKfLL ƒ-.#( 1#JlJi‚efm
TE
ºZ×` .º×Ýa¶—„JeŸâ+x0htg0hwm%„ bDc oplzg0efx²Š c r4hwefgk.¶`
Ýç`a

¢t``#¯ŸÕa(±²e4htsaJ—„Jer c p o lJjwef•Bhtgk c s–g† c …‡lJjƒi4k.efx²‚Zi7ope4m c s

hw
Jr c oplJjwefg0ehw
s c 0x o i7g0h c
^a^B2 7NH"(!K#$58p&JM7O0K#N
ë I HG WE
&5 f‡#( 1#O1/]ÝB° ]ç7º .Á_`Ê`
Ý׺a
î Jí
¢t`]
¯ŸÕa(±²zJoŽ(i7zJ‚„¶ ô a(â c.c r#„¶5i
J|n1a(ÕZi7r c Žm c
¶aG^J
I ëYî XSY“
#%#5 1:C!S8.#aJH||hwm c
B…S~Ie4m%jwefk./`
ÝÝÝa
é/>

¢t`
Á¯¡6aUD
B e4jwjwhw
3i
J|n±ŸaJŠg%x c oa½žx c g c r c j–m%l5e4r4htŒJr
i7g0h c
m
ì ì'G i
J|<r c opl c
Je4
.g“i|Ji7lg0efx0m4a/;=2?> G%$O4
ï í
0-%$NN6.- 8X?$7-!$
-.#O=$(8 E
&MO0K#N6O0^`
ÝB° ]7ÝZ] .ÁÁÁB

H `
ÝÝZça

ÎS|JϕN#‚<‚ ‚—

“®­ ?©ªLKKn£^®¬^­ ª.¼%¦&?©ª¨(Å^ªŔ®¬/¦4ª©¥K¨Jꀨ?¦4¤/É'¨¦4¨€N

¨(¬?Åu—#! ¦&^ª®u©Ã¤/É{$ ¤(Ä
®¦
®¤5¬…N# )—z! ¨(¬?Ő¦&?ªB®©Ä
®¬?­ ª.¼
¦&?©ª¨(Å^ªÅãä/É{$ ¤(Ä
®¦
®¤5¬£N#‚ ‚ ‚ —#NM_^ª»Ä4¦4ª
$žÄ‘¤(¥3¦&?ª
ä/É{$ ¤(Ä
®¦
®¤5¬yN# )— ¨©ª}ä5¬–¬^ªÃ¦4ªBؤ5¬ ¨Ô¦4¤(©¤5®Å?¨
¦4¤$ʤ u¤(­-