Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis

HAL Id: inria-00073681

https://hal.inria.fr/inria-00073681

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,

Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis

Eric Badouel

To cite this version:

Eric Badouel. Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis. [Research Report] RR-3013, INRIA. 1996. �inria-00073681�

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis

Eric Badouel

N ˚ 3013

Octobre 1996

TH `EME 2

+*$' )(,)-.)/0 1 23456 (,7

89:<;>=@?BACEDFHG

IKJML

NOPNRQ@S TUNVXWYN"Z\[^]_Wa`bW\NZ

Nc2`dZe`bfXZMgihHOj&[^Z\WeklfXN

m$n

[opNc2q5Wa`d_g

r

dsXs&[

n

c"tuN

n

N`

J N n ` J

NvVwyx_zu{x|S [y`bcp[j

n

N}{~_~^/S €u{s&d7]^Ng

‚Pƒ „b…†‡Xˆ_…l‰ IKJ

NŠj‹N

J

dŒuWY[_f

n

[7RsXf n N m

Nc

n

WVXNcŽg6W’‘“Nl‘”•W\c

J

[_fXc@giWatuN`b[^V&tuW\c–W\[^VB—

Weg]_W\ŒlNVjHh[

n

tuW\V&d

n

h˜dfXcp[^Od7c™d-j&N`df&giNšd7Z\ZWYVu›[

n

Od7c–W\[_V.d7j&[^fXc6`b[_Vœ`bf npn

NV&`bhWag

NV&`b[HtHNt>WYVc

J

NŠgic

n

f&`bc–f

n

N[2c

J

NOd np

W\VX]Š]

n

ds

J

g‘PžKhŸ`b[^Vuc

n

d_g c¡¢c

J

Nj&N

J

dŒHW\[^f

n

[7£s&[lg–giW\j¤Z\h&—¢W\OPs¤f

n

NVXNc™g

n

N¥k¦fXW

n

Ng

J

WY]

J N n §

tHW\OPNVœgiW\[^V&d7ZHdfXcp[^Od7c™du¨ W\V&tuNs‹NV&tuNV&`N

g J

[^fXZetW\Vc

J

d7cR`d_g N}j&NOd_tuNN©HsXZYWe`bWYc‘

IKJ

Ng N

J

W\]

J N ni§

tuW\OŠNV&giWY[_V&dZ¢dfXcp[^Od7c™dd n N

gic–Nsªc

n

d7V&g W\cpWY[_V«gih¤gic–NOg}W\Vªc

J

NŸ`d^giN[7¬]^NVXN

n

d7Z

m

Nc

n

W2VXNc™gPd7Vœt­d^gihHV&`

J¤n

[_V¤[_f&g

c n

d7V&g W\cpWY[_Vg hXg cpNOšg£W®¢”N

n

Ng c

n

We`bccp[@gpd›N

m

Nc

n

W&VXNc™gb‘

IKJ

NRd7WYO¯[ c

J

Wag

n

Ns‹[

n

cWegc–[

g J [”vc

J

d7c2c

J

N}g huVHc

J

NgiWagKs

n

[^jXZ\NO°›[

n

VXNc™g±`d7V

n

NtHf&`bNcp[6c

J

N¬g huVHc

J

N¥giWegKs

n

[_j¤Z\NO

[7MsXf

n

N•V¤NcŽg‘$²X[

n c J

d7csXf

n

s‹[ygiNl¡l”N2tuWeg–`

n

Nc–W\³NdV

J

WY]

J N ni§

tuW\OPNV&giWY[_V&dZXdfXcp[^Od7c–[_V

juhŠgis¤Z\W\c–cpWYVX]W\cŽgd_`bc–W\[^V&gKdV&tP”KN2s

n

[ŒlN"c

J

d7cW\cWegc

J

N"j&N

J

d¥ŒHW\[^f

n

[,gi[^OPN

m

Nc

n

W‹V¤Nc

W´Md7Vœt}[_VXZYh(W®&W\c™g$tuWagp`

n

NcpWY³Ntd7fXc–[_Odcp[^VWeg¢c

J

N•Od np

W\VX]•]

n

ds

J

[Mgi[_OŠNs¤f n N m

Nc n W

VXNc‘

µ5¶l·¢¸p¹¬º&†»¼„_‰ ½

hHVuc

J

Ng Weg m£n

[_jXZYNO›[

nP¾

NcŽgb¡¿±WY]

J N n § À

W\OPNVœgiW\[^V&d7ZÁ±fXc–[_OdcŽdu¡

½

sXZYW\cpc–W\VX][ÁR`bcpWY[_V&g

ÂYÃÄ

ÅiÆ ÇÈ

Ä

ÅKÉ$ʮƠËÍÌÎ

Ï¢ÐÑÓÒ¢ÔEÕb֛וԢ؎ҢÙ^ØÚ֛ېÜÞݱқßÙ7Ù^Õb֛ۛàiáâݕۛÐàãEäæå&äçä‹è àiÛeÔEÕb֛×Ré‹ê

Ìlë›ÅiƒƠì

íîXï

ØÚÑÓÜað

î

֛ÑÓñ

ìò

؎áÕbßà Ü®ó¼ÑÞ֐ÑÓҒØ

ìôÖ

$* "!K (*! ( ± 456 ( 0 ! ( ")*

¶H„ ¶ ‰

NŸ`b[^OPs&[

n

c–NOPNVHct“fXV

n UNgiNdfvtHN

m

Nc

n

W±s¤f

n

W’‘“Nl‘ g–d7V&g`b[^V&tuW

§

cpWY[_V tuNj&[

n

t‹—Ng cs&d

n

’dW\cpNOPNVHctUN`

n

W\c6s&d

n

g [_Vª]

n

d7s

J

NŸtuN5Od

n

klf&d7]^Nl‘$V N

§

›Nc¡EZedPg c

n

fœ`bcpf

n

N6t“WYV&tUNs&NVœtXd7V&`NNVuc

n

N¬Z\Ng2d_`bc–W\[^V&gtuf

n UNg Nd7f.giN

n

Nc

n

[_fXŒlNŠ<g [_f&g

›[

n

OPN6t

J

hHs‹N

n

`bfXj&NgŽ—RtXd7V&g"Zad-g c

n

f&`bcpf

n

NŠtuNP`Nc¬d7fXc–[_OdcpNl‘

d-OŠ[HtKUNZ\WagpdcpW\[^VŸtuf

`b[_OŠs‹[

n

c–NOPNVHc`b[^V&`bf n–n

NVHcŠt“fXV

n UNg Nd7f tuN

m

Nc

n

W±],UNV•UN n

d7Z2V•UN`bNg–giWYcpNs&d

n

`b[_VHc n N

ZW\VHc

n

[HtHf&`bcpWY[_V6tfXV6d7f¤cp[_Ošd7cpNtuN2tuWYOPNV&g W\[_V@gifXsUN n WYNf

n

Ny¨ [^V6tu[_WYc

n

NV&t

n

NKN©usXZYWe`bWYcpN

gpdgic

n

f&`cpf

n

NtW\V&tUNs‹NV&tXd7Vœ`bNl‘<Z¼s&[_f npn

dgÓd7]^W

n

tHNgih¤gic

L

NOPNg•t

J

hus&N n §

c n

d7VœgiW\c–W\[^V&g

tXd7VœgZ\N`d^g/ZYNPsXZ\fœg/],UNV•UN n

d7Z•[_f tuNg hXg c

L

NOŠNg}tuNc

n

d7VœgiW\c–W\[^V&gd^gihHV&`

JXn

[^VXNg6giW•[_V

giN6Z\WYOPW\c–N}dfX©

n UN¥giNdfX©fXV&dW

n

N¥gb‘

JXn

NVu›Nfœ`

J

c±Nc

r

[_³NVuj&N

n

][_VHc}`d

n

d^`bc¤UN n

WegHUNg±ZYNg

d7fXc–[_OdcpNgklfXW&g [_VHc]

n

ds

J

NgtuN•Od

n

klf&d7]^N2tuN

n UN¥giNdfX©˜UNZUNOPNVHcŽd7W

n

Ng$<klfXW&g [_VHcKtHNg

n UNg Nd7f¤©5fXV&dW

n

Ng±sXf

n

gڗ•ZadPgi[^Z\fXc–W\[^VŸd Nc¤UU N¬NV&g fXW\c–N Nc–NV&tufXN@d7f.`d_gRtuNgU

n UNgiNdfX©tuN

m

Nc

n

W¢sXf

n

gb‘

½

fXWYŒ^d7VHc•ZedONOPN2OªUNc

J

[HtuNl¡

¾

W\NZagiNVŠNcªWYV&g



NZB[_VHcR`d

n

d_`bc¤UN n

WaguUNgKZYNg

gih¤gic

L

NOPNgtuNPc

n

dV&giWYcpW\[^V&gd_g huVœ`

JXn

[_VXN¥g}klfXW•g [_VHctuNg`[_OPs&[

n

cpNOŠNVuc™g±tHN

n UNg Nd7f¤©

tuN

m

Nc

n

W&fXV&dW

n

N¥gKNc•q5f



fXV&t6Z\Nggih¤gic

L

NOPNgt

J

hHs‹N ni§

c n

dV&giWYcpWY[_V&gk¦fXWMgi[^Vuc2`b[^OPs&[

n §

cpNOŠNVuc™g"tuN

n UNg Nd7f¤©ŸtuN

m

Nc

n

W],UNVUN n d7fX©E‘

NŠjXfXctHNP`bN

n

d7sXs&[

n

cNg c}tHNPOP[_VHc n N n

k¦f¤N(ZadgihHVuc J¢L

Ng NtuN

n UNg Nd7f¤©PVX[_VsXf

n

gKs&NfXcRgiN

n

d7OPNVXN nL

d}ZadgihHVuc J¢L

Ng NtuN

n UNg Nd7f¤©

sXf

n

gb¡tXd7V&g}ZYN`d^g}fXV&d7W

n

N`[_OPOPN@tXd7Vœg/ZYNP`d^g}],UNVUN n dZ<‘

m

[_f

n

`bN`bW[_V d^gpgi[H`W\N

L

d

cp[^fXc¬d7fXc–[_OdcpNtHN6tuW\OPNV&giWY[_VgifXsUN n WYNf

n

N¬fXV.d7fXc–[_OdcpNtHW\ctuWagp`

n UNcpWagHUN[_j¤cpNVHfNV

gp`bWYV&tXdVucŠ`

J

d_klfXNd_`bc–W\[_V NVªtHNfX©˜Nc[_VªOŠ[_VHc

n

Nšk¦fXNZÓd7f¤cp[_Ošd7cpNtuN|tuW\OŠNV&giWY[_V

gifXsUN n WYNf

n

N2Ng cKZ\N2`[_OPs&[

n

cpNOŠNVuc,tfXV

n UN¥giNdfPtuN

m

Nc

n

W&giWENcgiNf¤Z\NOPNVuc,giWEgi[^VtuWeg

§

` n UNcpWegHUNKNg c]

n

ds

J

N2tuN•Ošd

n

klf&d]_N2tfXV

n UNg Nd7f6tHN

m

Nc

n

WXsXf

n

‘! [^OPOPN`b[

n

[_ZYZed7W

n

Nl¡[_V

tKUNtuf¤W\c•fXVd7ZY]_[

n

W\c

J

OPN"s&[^Z\hHVX[_OPWad7ZMk¦fXWMtKUN`bWatuNg W¢fXVgih¤gic

L

NOPN"t

J

hus&N n §

c n

d7VœgiW\c–W\[^V&g

Ngicš`b[_OPs&[

n

cpNOPNVHctfXV

n UNgiNdfªtuN

m

Nc

n

W<¡NcPklfXWR`b[_Vœgic

n

fXW\cš`bN

n UNgiNdf ZY[

n

g–k¦f"“W\Z

N©HWegic–Nl‘

# ºœ…¥„b¸Žˆ%$& ¶P‰ ½

huVHc JML

NgiNtuN

n UNgiNdfX©E¡ld7fXc–[_OdcpNtuN•tuWYOPNV&g W\[^V}g fXsUN n

W\Nf

n

Nl¡^gp`bWYV&tXd]_N

tÓd^`bcpWY[_V&g

x

= >

6,!-0*K

IKJ

Ns

n

[^jXZ\NO [7,VXNc2g huVHc

J

N¥giWegKWag[›cpNVs

n

NgiNVHcpN¥t-d^g•d/]

n

ds Ju§

c J N[

n

Nc–We`"s

n

[_jXZYNO¨

]_WYŒlNVd}Zedj&NZ\ZYNt]

n

d7s Jn

Ns

n

N¥giNVHcpWYVX]}c

J

N¬giNklfXNVHcpWad7Z&j&N

J

dŒuWY[_f

n

[,gi[^OPNtuWagic

n

W\jXf

§

cpNt6gih¤gic–NO¡c

J

N2g huVHc

J

NgiWag¼s

n

[^jXZ\NO `b[^V&giWagicŽg W\V6tuN`WetuWYVX]"”

J

Nc J N n

WYc$Weg Wegi[^OP[

n s J

Wa`

cp[c

J

N"Od np

W\VX]]

n

d7s

J

[g [_OPN

m

Nc

n

WBV¤Nc‘

IKJ

NgihHVHc

J

Ng Wegs

n

[^jXZ\NO°”•d^gK[

n

W\]_WYV&d7ZYZ\h

gi[^Z\ŒlNtP›[

n c J

N¬`bZad_gpg•[7£NZ\NOŠNVuc™d

n

hVXNc2gih¤gic–NOgKjHh JXn

NVu›Nf&`

J

c2dV&t

r

[_³NVuj&N n ]

? r

~_z-@<‘

IKJ

NW

n

d7s¤s

n

[yd_`

J

”•d_g2j&d_g Nt5[_Vc

J

N}VX[^cpWY[_V[7

#A" BC#;+D,

tuNDEœVXNt

d_g¬giNc™g([7VX[HtuNgZ\Wad7jXZYNcp[

n

Ns

n

NgiNVHc"N©HcpNV&giWY[_V&g"[72s¤Zed_`Ng"”•W\c

J

j&[l[_ZYNd7V Œ^dZ\fXNg¨

c J N¥giNŠd

n

NŠgiNc([•VX[HtHNg(fXV¤W´›[

n

OPZ\hŠNVuc–N

n

N¥tB¡BN©HW\c–Nt5[

n

Z\N›c"W\VHŒ^d

n

Wad7VHc"jHhŸd7Z\Z,c

n

dV

§

giWYcpW\[^V&g•j‹N¥d

n

WYVX]Pc

J

N¬gpd7OŠN(Zad7j&NZ’‘

IKJ

Wag±g [_ZYfXcpWY[_V5”d_g±N©uc–NV&tuNt6cp[PsXf n N m

Nc

n

W¢VXNc™g

?ž

À"mGF

~^!@•f&g W\VX]c

J

NPŒ^d

n

WedVucVX[^cpWY[_V˜[7

:"H"A#;+-<IJ"K4L#" MN#K+D,

¡giNNV˜d_g

Of¤Z\cpWagiNc™gB[7MVX[HtuNg

n

Ns

n

NgiNVuc–W\VX]2N©HcpNV&g W\[^V&g¼[7MsXZed^`bNg¼”•WYc

J

Œ^d7Z\f¤Ng¼]_WYŒlNVjHh}”

J

[^Z\N

Vuf¤Oj&N

n

gb‘

JXn

NVu›Nf&`

J

cd7V&t

r

[^³NVHj‹N

n

]P]yd¥ŒlNŠd`

J d n

d^`bcpN

n

W\³¥d7cpWY[_V[•c

J

[lgiNšd7fXc–[

§

Od7c™d}”

J

We`

J d n

N}Weg [_OP[

n s J

We`±c–[c

J

NOd n–

WYVX]]

n

d7s

J

g•[7£NZ\NOŠNVuc™d

n

hVXNcŽgKWYV5c–N n O

[7c ”[

J"5+#;+-1O+!P!(Q

c J NE

n

g c•[7”

J

Wa`

J

gicŽdcpNg•c

J

d7c•c J N n

NN©HWeg cŽgKg f:Rš`bW\NVHcpZYh

Od7VHh

n

N]_WY[_V&gcp[˜tHWegic–W\VX]^fXWeg

J

NŒlN

n

hŸs&d7W

n

[tHWegic–W\V&`c6gicŽdcpNg6W\V˜c

J

N|d7fXc–[_Odcp[^V¢‘

IKJ

Ng N`b[_Vœt d7©HW\[^O [72g Ns&d

n

d7c–W\[^V g cŽdcpNgc

J

dc(›[

n

NŒlN

n

hd^`bcpWY[_V˜dV&tNŒlN

n

hg cŽdcpN

d7c"”

J

We`

J c J

Weg2d_`cpW\[^V5WagKVX[_c"NV&d7jXZYNtPc J N n

NN©HWegic™g±d

n

N]_W\[^V5”

J

Wa`

JTS

W\V

J

WYjXW\c™g;Uc

J

Wag

d_`bc–W\[^VW\Vc

J

Weg gicŽdcpNl‘Á2Z\ZlŒ^d

n

Wed7VHcŽg [7EVXNcg huVHc

J

NgiWag

J

dŒlNd

n

Ns

n

Ng NVuc™d7c–W\[_Vc

J

N[

n

NO

j&d_g Nt[_Vc

J

N6gpd7OŠN}g Ns&d

n

d7c–W\[^V d©uWY[_Og•jXfXc"”•WYc

J

Œ^d

n

WedVuc2VX[_c–W\[^V&g"[7

n

N]^W\[^V¢‘Á±V

W\VHcpN n s n

NcŽd7c–W\[^V5[7c

J

NgiN@giNsœd

n

dcpWY[_VŸd7©HW\[^OgKWeg•c

J

N}›[_Z\ZY[”•W\VX]¤¨•d

n

N]_W\[^V5ŒHW\N”Ntd_g

d7V˜dj&gic

n

d^`bcsXZed^`bNŠ`d7V j&NŠd_g–gi[H`bWad7cpN¥t ”•WYc

J

d5klfX[_c–W\NVHc¬d7fXc–[_Odcp[^V

n

Ns

n

Ng NVuc–W\VX]

c J NŠs

n

[opN¥`bcpWY[_VŸ[7Rc

J

NŠd7fXc–[_Odcp[^V

n

NZedcpWYŒlNcp[5c J N S

`b[_VHcpNVHcU[72c

J

d7c¬sXZed^`bNl¡¼c J N

d7fXc–[_Odcp[^V Weg±c

J

NVŸWeg [_OP[

n s J

Wa`}cp[c

J

NOd np

W\VX]6]

n

d7s

J

[7Rgi[^OPNVXNcRW´2dV&t[_VXZYh

W´W\c"Wag Wagi[^OP[

n s J

We`cp[c

J

NPg huV&`

J

[^VXW\³N¥t5s

n

[Htufœ`bc[72c

J

[lgiNŠd7f¤cp[_Ošd7cŽd’d_gpg [H`bWedcpNt

”•W\c J5n

N]_W\[^V&gڗ™‘

IKJ

NE

n

gicRgiNs&d

n

d7cpWY[_V|d7©HW\[_O N©us

n

Ng–giNgKc

J

d7cRgic™d7cpN¥g [c

J

N[

n

W\]^W\V&dZ

d7fXc–[_Odcp[^V `d7VªWYVopN`bc–W\ŒlNZYhj‹NNV&`b[HtHNtªd_gŒlN¥`bcp[

n

g}[7¬ZY[H`d7ZRgic™d7cpN¥g5Nd^`

J

Z\[H`dZ

gic™d7cpN6]_WYŒuWYVX]W\c™g Œ^dZ\fXN

n

NZedcpW\ŒlN¬cp[gi[^OPN

n

N]_W\[^VB—Ž‘

IKJ

NŠgiN¥`b[_V&tŸgiNs&d

n

d7cpWY[_V.d7©HW\[^O

gic™d7cpN¥g/c

J

d7cŠd7V d_`bc–W\[_V Weg}VX[^cNV&d7jXZYNt W\V gi[^OPNg cŽd7c–N5[c

J

NdfXcp[^Od7c–[_V˜W´ d7V&t

[_VXZYhW®2c J N n

NPN©HWeg cŽggi[^OPN`b[^OPs&[_VXNVuc¬d7f¤cp[_Ošd7cp[^V˜gifœ`

J c J

d7cc

J

Weg¬d_`bc–W\[^V WegVX[_c

NV&djXZ\NtPWYV-c

J

N`[

npn

Ngis&[^V&tuW\V¤]ZY[H`d7Z g cŽd7c–Nl‘

IKJ

Ng huVHc

J

N¥giWegs

n

[^jXZ\NO c J NV

n

Ntuf&`Ng

cp[¬tuN`WetuWYVX]"”

J

Nc J N n

dVPdfXcp[^Od7c–[_V6`dVj&N2s

n

N¥giNVHcpNt¬d_gdgihHV&`

JXn

[^VXW\³N¥t(s

n

[Htuf&`bc

[7£d7fXc–[_OdcŽd[7£d}]_W\ŒlNVc hHs‹Ny‘

IKJ

WagK[_j&g N

n

Œ^d7c–W\[^V-ZYNd_t¤gcp[6dfXVXW®›[

n

O°s

n

NgiNVHcŽdcpWY[_V

[7c

J

N¬VXNcg huVHc

J

N¥giWeg2s

n

[^jXZ\NO

?ž À

~_€J@$s&d

n

d7OPNc

n

Wa`"[_Vc

J

NcihHs&N[_VVXNcŽgb¨

n

N]^W\[^V&g

d7sXs&Nd

n

d^gOP[

n s J

WegiOšg  n [^O c J

NRfXV&tuN

n

Z\hHW\VX]c

n

d7VœgiW\c–W\[^Vgih¤gic–NO¯[$c

J

NdfXcp[^Od7c–[_V

cp[dŠ`bZed^gpgiW®›huWYVX]6c

n

dV&giWYcpWY[_Vg hXg cpNO|¡&`d7ZYZ\NtPc J N

18A"' H"

¡B”

J

We`

J ` J d n

d_`cpN

n

W\³Ng

c J Nj&N

J

dŒHW\[^f

n

[$c

J

N¬`b[_VœgiWetHN

n

Nt`bZad_g–gK[7VXNcŽgb‘

Á ` J d n d^`bcpN

n

Weg cpWe`¼›Ndcpf

n

N•[7Ec

J

NK]

n

d7s J c J

N[

n

NcpWa`Kd7s¤s

n

[yd_`

J

[

JXn

NVu›Nfœ`

J

c d7V&t

r

[^³NVHj&N

n

]Weg W\cŽg

";P "*,+-18

¨ n

N]^W\[_Vœgd

n

N•›fXZ\ZYh¬`

J d n

d^`bcpN

n

W\³N¥t(jHhc

J

N•”d¥h¬c

J

Nh

d n Nd7ZYcpN

n

Nt [

n

V¤[_cb—Rjuh|d_`bc–W\[^V&g(WYVc

J

NŠgih¤gic–NO‘

IKJ

Weg"N©HsXZad7W\Vœg±c

J

dc}”Nf&gif&dZ\ZYh

n

Ng c

n

We`bc[_f

n

giNZ´ cp[¬NŒlNVHc

§

giWYOPsXZ\NVXNcŽgKdV&td7Zagi[}c

J

d7c”KN

n

fXZ\N2[_f¤cKW\OŠsXf

n

N•V¤NcŽg2W<‘Nl‘

VXNc™g

J

dŒuWYVX]sXZed^`bNg”

J

We`

J d n

N¬d7c2c

J

Ng–d7OPNRcpW\OŠN±WYVXsXfXcd7V&t[_fXc–sXfXc2`b[^V&tuW\c–W\[^Vš›[

n

gi[^OPN¬d_`bc–W\[_Vyc

J

N¬gi[

§

`d7Z\ZYNt

*4:"',41

X—™‘

Á±s¤sXZ\Wa`d7c–W\[_Vœg¼[7Mc

J

Wag$d7sXs

n

[ld^`

J

cp[c

J

N2VXNc£gihHVuc

J

NgiWag$s

n

[^jXZ\NO Odhj‹N2c

J

[_fX]

J c

W\Vc

J

N(NVX]_WYVXNN

n

W\VX]¬[7tuWagic

n

W\j¤fXcpNtŠgi[7›c ”d

n

N”

J N n

NW\c2`dVj‹Nf&g Ntd_g2d/c–N`

J

VXWeklfXN

[7s&d

n

d7ZYZ\NZYW\³dcpWY[_V[7giN¥k¦fXNVuc–Wed7Z¢s

n

[_]

n

dOgb‘RÁ"`bcpfœd7Z\ZYhl¡XVXNcRgihHVHc

J

Ng Weg•]_WYŒlNg OŠNd7V&g

cp[¬jXfXW\Zat/sœd

n

dZ\ZYNZEgih¤gicpNOg

n

N¥d7Z\WY³W\V¤]"j&N

J

dŒuWY[_f

n

gKg s‹N¥`bW<E&N¥t/jHh E&VXWYcpN2c

n

dV&giWYcpWY[_VŠgih¤g

§

cpNOšgKNl‘]X‘,`b[_OPO6fXVXWa`d7c–W\[^V(s

n

[_c–[H`b[_Zagڗ™‘Kq5[

n

N2s

n

N`WegiNZ\hc

J

N2VXNcg huVHc

J

N¥giW\³Nt(

n

[^O

d7Vd7f¤cp[_Ošd7cp[^VPN©

J

W\j¤W\cŽg$c

J

N"Od©uWYOd7ZHs&d

n

d7ZYZ\NZYWegiO°`[_OPs&dcpWYjXZ\N•”•WYc J c J

Ng c

n

f&`bcpf n N

[7Rc

J

NŠd7f¤cp[_Ošd7cp[^V˜W\VŸc

J

Ng NV&g NPc

J

dc(›[

n

d7VHhŸV

§

f¤sXZ\NP[Rd_`bc–W\[^V&g(Zad7j&NZ\ZYW\VX]dV V §

tuW\OŠNV&giWY[_V&dZ

J

hHs‹N

n

`bfXj&N¬W\Vc

J

Nd7f¤cp[_Ošd7cp[^Vc

J

N6d_g–gi[H`bWad7c–Nt5V

§

fXsXZ\N[c

n

dV&giWYcpWY[_V&g

W\Vc

J

N2gihHVuc

J

Ng W\³NtVXNcd

n

NR`b[_Vœ`bf npn

NVHcpZ\hRNV&d7j¤Z\Ntdcc

J

N•Od np

W\VX]Rd_g–gi[H`bWad7cpN¥t/”•WYc

J

c J N[

n

WY]_W\V[7c J N J

hHs&N

n

`bf¤j‹Ny‘

½

WYV&`bN}c

J

Ng huVHc

J

NgiWY³Nt-V¤Nc±Wag OŠ[

n

N@`b[_OŠs&d_`bc•c

J

d7V

c J NR[

n

WY]_WYV&d7ZEc

n

dV&giWYcpWY[_Vg hXg cpNO¡^c

J

Wag£c–N`

J

VXWeklfXN•OPWY]

J

cj‹N2f&g Ntcp[¬NŒ^d_tuNRc

J

Ng cŽdcpN

N©HsXZ\[ygiW\[^Vs

n

[^jXZ\NO ” J NVŒlN

n

W®›huWYVX]s

n

[^s&N

n

c–W\Ng•[7£tuWeg–`

n

NcpN"NŒlNVucgih¤gicpNOgb‘,¿±[”KN

§

ŒlN

n

¡›[

n c J

NcpW\OŠN$j&NW\VX]2c

J

Weg¢cpN`

J

VXWak¦fXNg fEN n g  n

[_O gi[^OPNZ\WYOPW\c™d7cpWY[_V&g&c

J

dc

n

N¥gic

n

We`bc

W\c™g fœgiN6W\Vs

n

d_`bc–We`dZd7sXs¤Z\We`d7cpWY[_V&g‘

IKJ

N E n

gicZYW\OPWYcŽd7c–W\[^V-Wag"c

J

N6`b[^OPsXZYN©uWYc hPWeg–gifXNl¡

c J

NšgihHVuc

J

NgiWag"s

n

[^jXZ\NO ›[

n

NZYNOPNVHcŽd

n

hVXNc@gih¤gic–NOg±Wag

§

`b[^OPsXZ\NcpN

?

ž•ž

À

~_€j,@<¡

d7V&tŠd7Z\c

J

[_f¤]

J c J

NRgihHVHc

J

Ng Weg¼s

n

[_j¤Z\NO ›[

n

sXf n N m

Nc

n

WXVXNc™g£WagKg [_Z\ŒlN¥t}W\V6s‹[^Z\hHVX[_OŠWed7Z

cpWYOPN

?

ž•ž

À

~_€^d!@<¡2W\c™gPgi[^Z\fXc–W\[_V WegPj&d^giNtª[_V

J

d_`

J

WYhHd7V ÞgNZ\ZYW\s&g [_Wat OPNc

J

[Htv<g NN

?½ `

J

!@—”

J

Wa`

J

W\Vs

n

d_`bc–We`bN¬Weg•f&gif&dZ\ZYh

n

NsXZad_`bNtjuhc

J

Ny¡‹c

J

N[

n

NcpWa`d7ZYZ\hPWYVXNDRš`bW\NVuc¡

giWYOPsXZ\N©OPNc

J

[HtB¨d_`bc–f&d7ZYZ\hl¡$NŒlNV c J [_fX]

J c J

Wag}Zed7c–cpN

n

Wag}VX[_c6ds&[_ZYhuVX[^OPWedZ

§

cpWYOPN

OPNc

J

[HtW\c

J

d_g•d}j&Nc–cpN

n

dŒlN

n

d]_N`b[^OPsXZYN©uWYc h(c

J

d7Vc

J

N"NZYZ\W\sœgi[_Wat/OŠNc

J

[HtE‘

IKJ

N¬giN

§

`b[_Vœt5t

n

d¥”•jœd_`



WegKc J N n

Ng c

n

Wa`bcpWY[_Vcp[s¤f

n

NVXNc™gb¨giWatuN`b[^V&tuW\c–W\[^V&g±d

n

N[7›c–NVf&giN›fXZ

›[

n

OP[HtuNZ\Z\WYVX]6gih¤gic–NOg•”•W\c JŸm

Nc

n

W¼V¤NcŽgd7Vœt5”KN6tuNDEœVXW\c–NZ\hZ\[l[ygiNN©Hs

n

Ngpg W\ŒHW\c hPjHh

n

fXZYW\VX]c

J

NO [^fXc‘

¾

WYNZeg NV˜dV&t ªWYV&g



NZ

?¾ ~ @2d7V&tªq5f



fXVœt

?

q5f



~_Q!@Rgi[^Z\ŒlNt c J

NgihHVuc

J

NgiWag

s n

[^jXZ\NO ›[

nKn

Ngis&N`cpW\ŒlNZ\h¬gpd›N

m

Nc

n

W&VXNc™gdV&t5›]_NVXN

n

d7Z›—

m

Nc

n

W¤VXNcŽg¡uc

J

f&gdZ\Z\[”•WYVX]

giWatuNŸ`b[_VœtuW\c–W\[_Vœgb‘ ªWYc J c J

[ygiNW\OŠsXf

n

NVXNcŽgc

J

N`b[^V&`bf n–n

NVœ`bh˜N©

J

W\jXWYcpNt jHh c J N

€

²¼W\]^f

n

N6{^¨c ”K[Šgpd›N

m

Nc

n

W¢VXNc™gK”•W\c

J

WetuNVuc–We`dZ‹Ošd np

W\V¤]]

n

ds

J

j¤fXc"tHWEN

n

NVucW\V&tuN

§

s&NV&tuNVœ`bN

n

NZad7cpWY[_V&g

gihHVuc

J

Ng W\³NtPVXNc±Wag VX[ŠZ\[_V¤]_N n"n

N&N`cpNtPW\Vc

J

N@gic

n

f&`bc–f

n

N¬[7c

J

NdfXcp[^Od7c–[_V¢‘

IKJ

N

giWYOPsXZ\N¥gicKWYZ\ZYf&gic

n

d7c–W\[^V-[c

J

WegKs

J

NVX[_OPNVX[_Vd7s¤s‹N¥d

n

g2W\V²¼W\]¤‘¢{(”

J N n

Nc

J

N(c ”[Pg–d¥›N

m

Nc

n

W$VXNcŽg

J

dŒlNc

J

N6gpdOPN}Od np

W\VX]6]

n

d7s J g J

[7”•VŸ[_VŸc J N n

W\]

J

c¡BjXfXcc

J

N6d_`bc–W\[^V&g

d7V&td

n

N}WYV&tuNs&NV&tHNVuc•WYV5c

J

NE

n

g c`d_g NdV&t-VX[^c"W\Vc

J

N@giN`[_V&t`d_g Nl‘•Á"`bc–W\[^V&g

W\Vd6gpd¥›NVXNc2d

n

N¬W\V&tHNs&NV&tuNVHcKW®dV&t-[^VXZ\hŠW´ c

J

Nh

J

dŒlNtuWag\op[^W\VHc2tu[_OdW\V&g¡u”

J N n N

c J

N¬tu[^Od7WYVP[7,dVd^`bcpWY[_VPWagKc

J

Ng NcK[`[_V&tuWYcpWY[_V&gK”

J

Wa`

J d n

N¬`b[^VXVXN`cpNtc–[W\cRW<‘Nl‘

W\c™g}W\VXsXf¤cPdV&t [_fXc–sXfXcŠ`b[_V&tHW\cpWY[_V&gŽ—Ž‘

IKJ

NW\Vu›[

n

OdcpWY[_V˜dj‹[^fXcPc

J

NW\V&tuNs‹NV&tuNV&`N

[72c

n

d7VœgiW\c–W\[^V&g"W\VŸc

J

N6Od n–

WYVX]6]

n

ds

J

[Rd-g–d¥›N6VXNcWeg"c

J

NVŸcp[_c™d7ZYZ\h`d7sXc–f

n

NtjHh

dPjXW\V&d n h n

NZedcpW\[^V[7W\V&tuNs‹NV&tuNV&`N}[_VŸc

J

N6giNc[7 d_`bc–W\[^V&g}”

J

We`

J d n

N6c

J

NZed7j&NZag

[72c

J

Nc

n

dV&giWYcpW\[^V&gڗ™‘ $V

n

We`

J

Nt5”•WYc J c J

Weg

n

NZed7c–W\[^V¢¡¢c

J

N6Od n–

WYVX]]

n

d7s

J

j&N`[_OPNg

” J d7cŠWeg



VX[”•Vªd^gPd7V

*8-, 5#;,/-,#K+* H8 "( ?

žKNt ¡

½lJ

W

€-@’‘ ²œ[

n

c J

N6`[_VHŒlN

n

g NtuW

n

N`bc–W\[^V¢¡

¾

WYNZeg NVd7V&t ªW\V&g



NZ

J

dŒlN6tuNDE&VXN¥tdŒ^d

n

Wad7VHc[7

n

N]^W\[^V¢¡

`d7ZYZ\Nt

,4

¡uW\Všd_gihHV&`

JXn

[^VX[_fœgKc

n

dV&giWYcpWY[_Vgih¤gic–NOg•”•WYc

J c J N n

N¥gic

n

We`bc–W\[^VPc

J

dc

›[

n

NŒlN

n

hs&d7W

n

[•WYV&tuNs&NV&tHNVuc d_`bc–W\[_Vœg±c J N n

NN©HWeg cŽg"dc(ZYNd_g c[_VXNŠgic™d7cpNWYV”

J

We`

J

c J

N¥giN•d^`bcpWY[_V&g,d

n

Nj&[_c

J

NV&d7jXZYNt‹—™‘! [_VœtuW\c–W\[_Vœg [¢g f&`

J

d7V@d_g huV&`

JXn

[_VX[^f&g$c

n

dV&giWYcpWY[_V

gih¤gic–NO°`b[_VœgicpWYcpfXc–N•c

J

N2sXZad_`bNg$[ dgpd›N"VXNc$[ ”

J

We`

J c J

N"d^gihHV&`

J¤n

[_V¤[_f&gc

n

dV&giWYcpWY[_V

gih¤gic–NO Weg±c

J

N}Od np

W\VX]]

n

ds

J

d^g"gi[l[^V d^g±j&[_c

J

g Ns&d

n

d7c–W\[_VŸd©uWY[_Og2d

n

Ng–d7cpWag E&N¥tB‘

žKh gifXsXs¤Z\hHW\VX].gpd›NVXNcŽg6d7Vœtªd_gihHV&`

JXn

[^VX[_fœgc

n

d7V&g W\cpWY[_V g hXg cpNOg}”•WYc

J

d_tuNklf&dcpN

VX[_c–W\[^V&g [$OŠ[

n s J

Weg Og¼c

J

NhPNg cŽd7j¤Z\Weg

J

NtPd`[

n

N &N`bc–W\[_VŠj‹Nci”NNVPc

J

Ng fXjE`d7c–N]_[

n h

[7¬d^gihHV&`

JXn

[^VX[_f&gc

n

d7V&g W\c–W\[_V gih¤gic–NOg(ŒlN

n

W´›hHW\V¤]5c

J

N5g Ns&d

n

d7c–W\[^Vªd7©HW\[^Og}dV&t c J N

`d7c–N]_[

n

h[7£gpd›N}VXNcŽgb‘

Á"`cpW\[^V&g¼WYV6d/›]_NV¤N

n

dZ—

m

Nc

n

WHVXNcd

n

N±WYV&tuNs&NV&tHNVuc,W\V6d"]_WYŒlNVOd n–

WYVX]2W´¢c J N n N

N©HWegic™g±NVX[^fX]

J

cp[



NV&g±W\Vc

J

NW

n

W\VXs¤fXc"sXZad_`bNgg [-c

J

d7cc

J

Nh`d7VE

n

N6`b[^V&`bf n–n

NVHcpZYhl‘

²X[

n

W\V&g cŽdV&`bN2c

J

N2c JXn

NN

m

Nc

n

WXV¤NcŽg¼WYVP² W\]X‘yQ

J

d¥ŒlN•c

J

NRgpd7OŠN•Od n–

WYVX]±]

n

ds J g J

[7”•V

[_Vc J N n

WY]

J

c

J

[”NŒlN n c J

Nc JXn

NN¬d_`bc–W\[^V&g&¡Rd7V&t(d

n

NW\VœtuNs&NV&tuNVuc•WYV-c

J

NE

n

g c

VXNcR<d7cc

J

NRW\V&tuWa`d7c–Nt}Od np

W\VX]H—¼”

J N n

Nd^gc

J

Nh6d

n

N"s&dW

n

”•WagiN"WYV&tuNs&NVœtuNVHcj¤fXcVX[_c

W\V&tHNs&NV&tuNVHcKWYVPc

J

NgiN`[_V&t`d^giNl‘

IKJ

NRc J Wn

tN©¤d7OŠsXZ\N›j‹[

npn

[7”Nt

n

[^O

?¿ I

~_!@›—



²¼W\]^f

n N Qu¨$c J¤n

NN

m

Nc

n

W‹V¤NcŽg”•W\c

J

WatuNVHcpWe`d7ZXOd np

W\VX]]

n

d7s

J

j¤fXc2tuWEN

n

NVHcWYV&tuNs&NV

§

tuNV&`N

n

NZedcpWY[_V&g

WegKNŒlNVPOP[

n

N"W\VHŒl[_ZYŒlNtB¨ d7c•c

J

NW\V&tHWe`dcpNtPOd np

W\VX]c

J

N(Ošd7©HW\OdZ&giNc™g [$WYV&tuNs&NV

§

tuNVHcpZYh-NV&d7jXZYNtd_`bc–W\[^V&g"d

n

N @d7V&t dV&td

n

N¬VX[_cRW\V&tuNs‹NV&tuNVHc±j¤fXc

c J

Nh}j&N`b[^OPN•W\V&tHNs&NV&tuNVHc [_V&`bNRd_`cpW\[^V J

d_g$j&NNV2E

n

NtB‘

IKJ

f&g$c

J

N•W\V&tuNs‹NV&tuNV&`N

n

NZad7c–W\[_V[7d^`bcpWY[_V&g2Weg•VX[” gic™d7cpN6tHNs&NV&tuNVHcXOŠ[

n

N[7ŒlN

n

NŒlNVdc"d]^W\ŒlNVOd np

W\VX]

c J N2W\VH›[

n

Ošd7cpWY[_V6dj‹[^fXcKc

J

N•W\VœtuNs&NV&tuNV&`bN•[7 d_`bc–W\[^V&gtu[lNgV¤[_c

n

NtHf&`bN•cp[¬d"jXWYV&d n h

n

NZad7c–W\[_VM¨d^`bcpWY[_V&g¬d_g}WYV c J

NŠgiN¥`b[_V&t N©¤d7OŠsXZ\N@`d7V˜j&NPs&dW

n

”•WagiNPWYV&tuNs&NVœtuNVHc(j¤fXc

VX[_c]^Z\[_jœd7Z\ZYhW\V&tuNs‹NV&tuNVHc‘,q5[

n

N[7ŒlN

n

W\cg NNOgBV&dcpf

n

d7ZXc–[¬d7Z\ZY[”

+/1J, / #D#", 8 ¡

W<‘Nl‘6giNŒlN

n

d7Z$WYV&gic™d7V&`Ng"[7•c

J

NŠgpd7OŠN6d_`bc–W\[_V `d7VE

n

N¥t`b[^V&`bf n–n

NVHcpZYhW´2g f:Rš`bW\NVHcpZYh

Od7VHh

n

Ng–gi[_f

n

`bNgd

n

N}dŒ^d7WYZedjXZ\N"WYVPc

J

NW

n

W\VXsXf¤c•sXZed^`bNgb‘ $V

n

We`

J

Nt”•W\c J c J

NtXdcŽd[7

c J

NO6fXZYcpWeg NcŽg[7d_`cpW\[^V&g±WYV&tuNs&NV&tHNVuc–Z\hPNV&d7jXZYNt5dc"Nd^`

J

Od n–

WYVX]X¡Xc

J

N}Od np

W\VX]

] n d7s

J

[7 d m Nc

n

WV¤Nc}j&N`b[^OPNgd5g [

§

`d7ZYZ\Nt

" #K+*N*8 "(

‘

IKJ

Wag}`b[^fXV

§

cpN

n

s&d

n

c•[7,d^gihHV&`

J¤n

[_V¤[_f&g•c

n

d7V&g W\cpWY[_Vg hXg cpNOšg£WYVuc

n

[Htufœ`bNtjHhPq5f



fXVœtW\V

?

q5f



~_Q @

d n Nc

n

d7VœgiW\c–W\[^VŸgih¤gicpNOg WYV”

J

We`

J

[^VXNŠgicŽdcpN6`dVj&Nc

n

d7Vœg ›[

n

OPNtcp[d7VX[^c J N n

[^VXN

W\V|dgiW\V¤]_Z\N¬g cpNs|`b[_V&g Weg cpW\V¤][d E&VXWYcpNOf¤Z\cpWagiNc[`b[_Vœ`bf npn

NVHcpZ\h6NV&djXZ\N¥t-d^`bcpWY[_V&g‘

q5f



fXV&t

J

d_g}WYVuc

n

[Htufœ`bNt d5Œ^d

n

WedVuc[

n

N]_WY[_V&g}WYV˜gic–Ns c n

d7V&g W\c–W\[_V g hXg cpNOgc

J

dc

”KNg

J

d7Z\Z2`d7Z\ZYNt J N n N

:"H"A#;+-<IJ"K4T,41

‘

IKJ

N]_NVXN

n

d7ZYW\³N¥t `[_V&tuWYcpWY[_V&g}[¬d

gic–Nsc

n

dV&giWYcpW\[^V g hXg cpNO `b[_VœgicpWYcpfXc–Nc

J

N6sXZad_`bNg2[72d

m

Nc

n

W,VXNc"[•”

J

Wa`

J c J

Weggic–Ns

c n

d7V&g W\cpWY[_Vgih¤gic–NO Wagc

J

N(Ošd np

W\V¤](]

n

ds

J

d^g•gi[l[_VŸd^gKj&[_c

J

giNsœd

n

dcpWY[_Vd7©HW\[^OgKd n N

gpdcpWegE&NtB‘žKh6g fXsXsXZYhuWYVX]

m

Nc

n

WXVXNcŽgd7V&tŠgicpNsc

n

d7VœgiW\c–W\[^Vgih¤gic–NOg¼”•WYc

J

OP[

n s J

Weg Og

j&Nc ”KNNVc

J

NO¡Eq5f



fXV&t

J

d^g"[_jXc™d7W\V¤Ntd`b[

n

N&N`bc–W\[^V5j&Nc ”KNNVc

J

N6g fXjE`d7c–N]_[

n h

[7£gic–Nsc

n

dV&giWYcpWY[_Vg hXg cpNOgŒlN

n

W®›huWYVX]c

J N giNs&d

n

dcpW\[^Vd7©HW\[_OšgKd7Vœtšc

J

N`dcpN]^[

n

hP[7

m

Nc

n

W¢VXNc™gb‘

IKJ

N@d7WYO [7c

J

Weg•s&d7s&N

n

Wag c–[

n

NZad7c–N}c

J

Nci”[Ps

n

NŒuWY[_f&g2d7s¤s

n

[yd_`

J

Ng"cp[Pc

J

N}V¤Nc

gihHVuc

J

Ng Weg"s

n

[^jXZ\NO‘ cRNOPN

n

]_Ng  n [_O c J

NPtHWegp`f&gpg W\[_V.d7j&[ŒlN6c

J

dc}c

J

Nj&N

J

dŒHW\[^f

n