Structure algébrique pour des environnements à entités interactionnelles et mobiles

HAL Id: hal-02402393

https://hal.umontpellier.fr/hal-02402393

Submitted on 10 Dec 2019

HAL is a multi-disciplinary open access

archive for the deposit and dissemination of

sci-entific research documents, whether they are

pub-lished or not. The documents may come from

teaching and research institutions in France or

abroad, or from public or private research centers.

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,

émanant des établissements d’enseignement et de

recherche français ou étrangers, des laboratoires

publics ou privés.

Structure algébrique pour des environnements à entités

interactionnelles et mobiles

Abdelkader Gouaich, Yves Guiraud, Fabien Michel

To cite this version:



 
  !" #

∗†

#$% &

‡§

'  ! ( )

¶

*+,-.+

/011213450167896813011:;3<0 =>?@A=<BC1DE;FB1E6G F:556;E63B1<0 DH8;IB;80J80 <0112134501 8;K:J5E389601L:6JD0<BM0D:LL050;3CE7D0 <012134501:6M0J31N5:78D0103F::LBJE38K1O/H8;30JEF38:; 10 3J:6M0 E6 F0;3J0 <0 F01 12134501OP; 0Q03ND0 1FRB5E <H8;30JEF38:; 0;3J0 D01F:5L:1E;31 013 3J41 MEJ8E7D003<BL0;<<01LJ:LJ8B3B10;M8J:;;050;3ED01OS:6JL:6M:8JF:5LJ0;<J0F010;M8J:;;050;3103 D06J1LJ:LJ8B3B1N8D 013 <:;F 8;<81L0;1E7D0 <0 D01<BFJ8J0 <H6;0KET:; ID:7ED0 03J8I:6J0610OU0 LEL80J LJB10;30 6; 5:<4D0 EDIB7J8960 <0 30D1 0;M8J:;;050;31 :V <01 0;383B1 5:78D01N 8;30JEF38:;;0DD01 03 E63:;:501BM:D60;3O/01 BM:D638:;1<0 F0330 13J6F36J0 1:;3FEJEF3BJ81B01L:6J<BC;8JD01F:;F0L31 <0 5:6M050;3N <H8;30JEF38:; 03 <0 F:5L63E38:;O W:61 8DD613J0J:;1 BIED050;3N F:550;3 F0 5:<4D0 013 638D81BF:;FJ43050;3L:6J<BM0D:LL0J 6;0 ELLD8FE38:; 678968130O

X YZ[\]^_`[a]Z

bcd efdcghi jc klmmhnokgpoln gj qlk klnnckpcnp drlnpgnfmcnp josfecnpd dtdpumcd onvlemgpowhcd qfpfelxuncdy zcd dtdpumcd{ |}~|~€‚€{ dlnp jfƒnod rgeplhp cp klnponhc„„cmcnp jgnd „…cdrgkc cp jgnd „c pcmrdy †gnd kc klnpcipc rgepokh„oce{ „…cn‡oelnncmcnp jc jfr„locmcnp{ cnplhegnp „c dtdpumc onvlemgˆ powhc{ on‰hcnkc „c dkqfmg j…onpcegkpoln jcd cnpopfd cp gsckpc gondo „cd kgegkpfeodpowhcd cp „cd vlnkpolnˆ ng„opfdjh dtdpumcybcdon‰hcnkcd jc„…cn‡oelnncmcnpjc jfr„locmcnplnpdlh‡cnpfpfoxnlefcdlh ecnjhcd pegndrgecnpcdŠ ‹‹ŒŽ jgnd „cd dtdpumcd onvlemgpowhcd k„gddowhcdy zcrcnjgnp{ g‡ck „g ‡cnhc j…cn‡oelnˆ ncmcnpd klmr„cicd kcd on‰hcnkcd nc rch‡cnp r„hd pec oxnlefcd cp jlo‡cnp pec klndojfefcd jhegnp „g rqgdc jc klnkcrpoln cp jc efg„odgpoln jh dtdpumcy zcppc kleef„gpoln cnpec „cdtdpumc onvlemgpowhccp dln cn‡oelnncmcnpjcjfr„locmcnpg jf‘fpfdlh„c‡fcrgebyzgejc„„ojgndŠ zge’’Žy“„ jfmlnpecwhcdc„ln „…cnˆ ‡oelnncmcnpjcjfr„locmcnp ko”„c{„g klnkcrpoln jh dtdpumcjosfeceg kgec„„c ecrldceg dhejcd •–—˜•™€‚€ cn‡oelnncmcnpg„cdjosfecnpcdyšgecicmr„c{„g klnkcrpolnj…hncgrr„okgpolnjgndhncn‡oelnncmcnpjcefˆ dcgh „lkg„ › bœždhrrldceg hnckcepgoncƒg”o„opf jcd „ocndj…onpcegkpolndcnpec„cdklmrldgnpdjodpeo”hfdy zcrcnjgnp{„g mmcgrr„okgpoln jc‡eg recnjeccn klmrpcjcdrel”„umcd„ofd‘ „…omrefjokpo”o„opfjcd „ocnd cp ‘ „Ÿomrlddo”o„opf jc klnpe „ce x„l”g„cmcnp „Ÿcn‡oelnncmcnp j…gxx„lmfegpoln jc efdcgh ›¡œžy zcko o„„hdpec ”ocn whc „cd on‰hcnkcd jc „…cn‡oelnncmcnp jc jfr„locmcnp dhe „c dtdpumc jc‡ocnncnp onklnplheˆ ng”„cd jgnd „cd cn‡oelnncmcnpd klmr„cicdŠ‹‹ŒŽy ¢y £gm”lnc„„o cp ¤y šgehng¥ jgnd Š¢£ŒŽ dlh„oxncnp fxg„cmcnpwhc„…onpfxegpoln jcdon‰hcnkcd jc„…cn‡oelnncmcnp jcjfr„locmcnp jgnd„cdrqgdcdj…onxfnoceoc cdp onjodrcndg”„c rlhe „cd dtdpumcd j…onvlemgpolnd mljcencdy †c r„hd{ o„d jfkeo‡cnp whc„whcd relreofpfd xfnfeg„cdjckcdcn‡oelnncmcnpdjcjfr„locmcnp ¦

§

„lkg„odgpoln ¦bcd klmrldgnpd „lxokoc„d dlnp cifkhpfd jgnd hn cn‡oelnncmcnp jf„omopf¨

TUVVWVXYZUVZ[\X]^_`UaXV b cdefghaV]iYjUaX[aVWVXYZUghZk[X_X]haaU\ ghZZU[a_`jl`_XghmljUaX inUaX]XlVh[ o

pqrstu o

vw

a_`UaXUVX[aUUaX]Xl_[XhahZUx[]_gghZk\]UVUVy[XVkjhkjUVUa]aXUj_`]VV_aX_zUg in_[XjUV_`UaXVUX Vha Uaz]jhaaUZUaX{|}~€

v

h[j\UV_`UaXVi]XVgh`a]X]‚V\UV]aXUj_gX]haVVhaXghai[]XUV ƒ

Xj_zUjV iUV ZUVV_`UV VlZ_aX]x[UV in]aXUj_gX]ha ghZZU „…  e e†T {„…  ~‡_€ h[ ˆ‰dT {Še‹~Œ€ v TU ghaXUa[iUgUVZUVV_`UVkU[XXjUilŽa] _zUgiUVhaXh\h`]UVx[]ŽUaX\_VlZ_aX]x[UiUVghagUkXVlgm_a`lV i[j_aX\n]aXUj_gX]ha

v

ŠUk\[V\UVcde haXilŽa][aUghaX]a[]XlghmljUaXUiUV]aXUj_gX]haVVh[V‚hjZUin[a i]_\h`[UUaXjU_`UaXV

v

†Ui]_\h`[UkU[XXjUVklg]Žl_zUgiUVkjhXhgh\UVin]aXUj_gX]haXU\x[U\UVkjhXhgh\UV „…  e {„…  ~‡y€ v

d_\`jl VUVghaXj]y[X]haVaha al`\]`U_y\UV kh[j ilŽa]j\UV ]aXUj_gX]haVUaXjU ghZkhV_aXV ]a‚hjZ_X]x[UV \‘_kkjhgmU cde _ i[ Z_\ ƒ ghaz_]agjU ƒ [aU `j_aiU lgmU\\U

v ’

a U“UX kh[j \_ k\[k_jX iUV VWVXYZUV ]a‚hjZ_X]x[UV h” \nUaz]jhaaUZUaX jUVXU V]Zk\U\UV k_j_i]`ZUV g\_VV]x[UV ghZZU \nhj]UaXl hy•UX V[–VUaX \_j`UZUaX UX VhaX y]Ua _iZ]V

v

†UkUai_aX \UV Uaz]jhaaUZUaXV Zhy]\UV UX iWa_Z]x[UV XU\ x[U\UV Uaz]jhaaUZUaXV[y]x[]VXUV kU[zUaX ghaVX]X[Uj [aU ‚jhaX]YjU jlU\\UUaXjU\UV k_j_i]`ZUV g\_VV]x[UV UX \U k_j_i]`ZUcde kh[j \n]a`la]Uj]U iUV VWVXYZUV ]a‚hjZ_X]x[UV

v

†nUVX kh[jx[h] ah[V kUaVhaV x[U \UV VWVXYZUV [y]x[]VXUV iUzj_]UaX XjU ghaV]iljlV ghZZU iU zj_]V g_V inlX[iU UX inUklj]ZUaX_X]ha kh[j \UV cde

v

CDC —˜™G L˜šONG

TU ghiUZhy]\UlX[i]U\UV VWVXYZUV]a‚hjZ_X]x[UV h” iUV ghZkhV_aXV \h`]g]U\V gm_a`UaX inUaz]jhaaU^ ZUaX inUlg[X]ha i[j_aX\U[j gWg\U iUz]U

v

†hZZUi_aV\UV cde \UV ghZkhV_aXVZhy]\UV]aXUj_`]VVUaX› kh[j _gghZk\]j \U[jV y[XV

v

T_ ghZZ[a_[Xl i[ ghiU Zhy]\U VnUVX mU[jXlU j_k]iUZUaX ƒ \_ `UVX]ha iUV ]a^ XUj_gX]haVUaXjU\UVghZkhV_aXV

vw

aUiUVVh\[X]haV _kkhjXlUƒ gUkjhy\YZUUVX\n]iUaX]Žg_X]ha in[aUUaX]Xl ahZZlU nZli]_ iUghhji]a_X]hanx[] ghaXjœ\UUXghagjlX]VU\UV ]aXUj_gX]haVUaXjU\UVUaX]XlV{†T_†Ty€

v 

_jZ]\UVZli]_ViUghhji]a_X]hahakU[Xg]XUjT]ZU { 

d‹~~€ž[Vgha {Ÿ~ € UXde‹c { †Ty€ v

TUZli]_ iU ghhji]a_X]ha UVX ihag [aU UaX]Xl UXUjaU _[ VWVXYZU _kk\]g_X]‚ ¡ ]\ ‚_]X k_jX]U iU gU x[U ah[V _zhaV ilŽa] ghZZU \nUaz]jhaaUZUaX iU ilk\h]UZUaX

v ¢

h[V kjhkhVhaViU `lalj_\]VUj gUXXU UaX]Xl Ua ilŽa]VV_aX [a ZhiY\U inUaz]jhaaUZUaX x[] ilŽa]X aha VU[\UZUaX \UV ]aXUj_gX]haV UaXjU \UV UaX]XlV Z_]V l`_\UZUaX \U[j Zhy]\]XlUX \UVhyVUjz_X]haV z_\]iUV UX ihag V[jUVi[ jlV[\X_X iU \U[j g_\g[\ ]aXUjaU

v CD£ —QN¤MN L˜šONG ¥˜¦LGN

TUV ZhiY\UV ‚hjZU\V iU g_\g[\ ilgj]zUaX [a \_a`_`U iU kjh`j_ZZ_X]ha n‚hjZU\n v

TU

λ

^g_\g[\ {dhj‡ €

UVX kjhy_y\UZUaX \U k\[V ghaa[ UX lX[i]l iU gUV ZhiY\UV v

d_\mU[jU[VUZUaX ]\ VU \]Z]XU VU[\UZUaX _[ _\`hj]XmZUVVlx[UaX]U\V UX VX_X]x[UV

v

†Ug] _ZUa_ \n_kk_j]X]ha in_[XjUV ZhiY\UV iUg_\g[\ x[] ]ag\[UaX iUV ghagUkXViU\n]a‚hjZ_X]x[UZhiUjaUghZZU\_Zhy]\]Xl\_i]VXj]y[X]ha UX\_Vlg[j]Xl

v

_jZ]gUVZhiY\UViU g_\g[\hakU[Xg]XUj\U

π

^g_\g[\[V{d



}~§€ UX VUVilj]zlVkh[j\_ `UVX]ha iU\_ i]VXj]y[X]ha Š

π

{e¨~ €UX\_

Vlg[j]Xlc

π

{d©~ €ªeZy]UaX { †_j~~€UX\U|h]a g_\g[\[V {„h[~ € v

d…†

∗

_ihkXU[aU_kkjhgmUi]“ljUaXUUa ilŽa]VV_aX \UV ghagUkXV iU Zhy]\]Xli]VXj]y[X]ha UX ]aXUj_gX]ha ghZZU iUV kjhkj]lXlV Uaz]jhaaUZUaX_\UV UX aha g_\g[\_Xh]jUV

v

« ¬­®¯°±® ²³´µ¶¯®±

†UXXU VUgX]ha ]aXjhi[]X \UV ghagUkXV ‚hai_ZUaX_[ i[ ZhiY\U d…†

∗

ƒ

=>?@>@A B?CAD?A EFGDHIAJJFJ

i

K LM MNOP

O

(I×J)

QR PMSPTU Q P VPS WXTY QQ PS

(a

i,j

)

(i,j)∈I×J

V R Z Q ZTPMOS VP

O

OP QQ PS [\P ON\S Q PS

a

i,j

SNMO M\ Q S SX\W\M MNTU]P ^MY K _ P T`TPa NM MNOP

L

QR PMSPTU Q P VPS WXTY QQ PS

(m

i

)

i∈I

a XbPc

m

i

∈ L

i

aOP QQ PS [\P

m

i

= 0

SX\W dN\]\M MNTU]P^MY K LMdNSP PM^M e

A = O

(I×J)

_{× O}

(I×J)

_{× L}

VNMO Q PS Z Q ZTPMOSSNMOXddP Q ZS >@A?CJ fEA

M IC

∗

g K LM MNOP

out, in : A −→ O

(I×J)

PO

mem : A −→ L

Q

PS O]NYS d]NhPcOYNMS POa dN\]

A ∈ A

a NM XddP QQ P

outA

i ]PSd K

inA

j Q X kHlCA Em no BJJBH? i ]PSd K EA DnIAGCBH? j VP

A

PO

memA

Q X ono HBDA VP

A

K LM dP\OPMcN]P d]NhPOP] e

out = (out

i,j

)

(i,j)∈I×J

a

in = (in

i,j

)

(i,j)∈I×J

PO

mem = (mem

i

)

i∈I

K p

Y

A ∈ A

a NM XddP QQ P

out

i,j

A

i ]PSd K

in

i,j

A

j Q X kHlCA EmnoBJJBH? i ]PSd K EADnIAGCBH? j EFGDHIAJJFJ

i

EA

A

E>?J =mAJG>IA

j

aPO

mem

i

A

Q X ono HBDA EFGDHIAJJFJ

i

EA

A

K qrs tuvwxy z{ |}~w€~‚ zx

M I C

∗

ƒcYaMN\S X QQ NMS cX]XcOZ]YSP] Q PS ZbN Q \OYNMS VPS X„PMOS K …†‡†ˆ ‰Š‹ŒŽ

‘MP D’@=A EA oHF“AoA?C PSO \MPXdd Q YcXOYNM

µ : A −→ A

bZ]Y^XMO e ˆ”

µ

MP TNVY^P dXS Q PS UN•OPS VP ]ZcPdOYNM MY Q PSTZTNY]PS e

in ◦ µ = in

PO

mem ◦ µ = mem

– ‡”

µ

d]ZSP]bP„ Q NUX Q PTPMO Q PSUN•OPS V R ZTYSSYNM V R \M d]NcPSS\S VNMMZ e

∀i ∈ I,

X

j∈J

out

i,j

◦ µ =

X

j∈J

out

i,j

– —” Q PSUN•OPS VP]ZcPdOYNM >GD’J oHF“AoA?C V R \Md]NcPSS\S VNMMZMP VZdPMVPMO [\PVPS UN•OPSVP ]ZcPd˜ OYNM >“>?C oHF“AoA?C V\ T`TPd]NcPSS\S e

∀i ∈ I,

(out

i,j

)

j∈J

◦ µ = (out

i,j

)

j∈J

◦ µ ◦ (out

i,j

)

j∈J

–

…” Q X ]™„ Q PVPTN\bPTPMO PSO Q X T`TPdN\] ON\S Q PS d]NcPSS\S e

∀A ∈ A, ∀i, i

0

∈ I, (out

i,j

A)

j∈J

= (out

i

0

,j

A)

j∈J

⇒ (out

i,j

µ(A))

j∈J

= (out

i

0

,j

µ(A))

j∈J

.

šX d]Nd]YZOZ S\YbXMOP PSO X Q N]S YTTZVYXOP e ›œŠ ŠžŸŸŠ† ƒ Q

P YSOP \MP cN]]PSdNMVXMcP UYhPcOYbP PMO]P Q PS ]™„ Q PS VP TN\bPTPMO PO Q PS Xdd Q YcXOYNMS

O

(J)

_{−→ O}

(J)

K ¡ Q \S d]ZcYSZTPMOa\MP ]™„ Q PVPTN\bPTPMO

µ

PSO PMOY™]PTPMO cX]XcOZ]YSZP dX] \MP Xdd Q

Y˜ cXOYNM

˜

µ

PO e

µ



(a

i,j

)

i,j

, (b

i,j

)

i,j

, (m

i

)

i

)



=



µ((a

˜

i

, j)

j

)

_i

, (b

i,j

)

i,j

, (m

i

)

i

)



.

¡ X]TY Q PSTN\bPTPMOSaY Q

PM P YSOPVPSdX]OYc\ Q

YP]Sa Q

PSTN\bPTPMOS n=noA?C>BDAJ – Y Q S SNMOcX]XcOZ]YSZS dX] Q X VNMMZP VP

i, i

0

_{∈ I}

PO VP

a ∈ O

PO bZ]Y^PMO e dN\] ON\O X„PMO

§¨©ª©«¬­¬©®¯ °±²³´±²´ µ±²¶·µ·¸´

µ

·´´±²´ ¹º·¸´

A

»¼½ ·¾ ¼¿ ´·²¸· ¿ ² ¼ ´·ÀÁÂÃ

(µ

1

, . . . , µ

n

)

Ä ·µ±²¶·Å µ·¸´ ¿ Æ½Æ µ·¸´¹ ¼ ³· ¿ ¶ Æ ³ ¼Ç ¹¸´ È

µ(A) = µ

n

◦ · · · ◦ µ

1

(A)

É Ê¯Ë¯Ë Ì®­Í¨ÎÏ­¬©® и· ÑÒ ÓÔ Ã ÕÖÂÁ×ÃÑØÙ×ÂÚÁ · ¿ ´²¸· ¹ÛÛ ½¼Ü ¹´ ¼ ±¸

ϕ : A −→ A

Ý ² ¼ ¶ Æ ³ ¼Ç · È Þß

ϕ

¸· µ± Ä¼Ç ·Û¹ ¿ ½ · ¿ à ±á´· ¿ ÄâÆ µ ¼¿¿¼ ±¸ ¸ ¼ ½ · ¿ µ Æ µ± ¼ ³· ¿ È

out ◦ ϕ = out

·´

mem ◦ ϕ = mem

ã Ëß ²¸ Û³± Ü · ¿¿ ² ¿Ý ² ¼ ¸ â · ¿ ´ Û¹ ¿ Û³ Æ¿ ·¸´ Ä ¹¸ ¿ ²¸ · ¿ Û¹ Ü · Äâ¼ ¸´·³¹ Ü ´ ¼ ±¸ Ä ±¸¸ Æ ¸·³·ä± ¼ ´³ ¼ ·¸ Ä ¹¸ ¿ Ü ·´· ¿ Û¹ Ü · È

∀A ∈ A, ∀i ∈ I, ∀j ∈ J,

out

i,j

A = 0 ⇒ in

i,j

ϕ(A) = in

i,j

A

ã

åß ½ ¹ à ±á´· Ä · ³ ÆÜ ·Û´ ¼ ±¸ Ø æ ÑÒç ÂÁ×ÃÑØÙ×ÂÚÁ Äâ ²¸ Û³± Ü · ¿¿ ² ¿ Ä ±¸¸ Æ Ä ¹¸ ¿ ²¸ · ¿ Û¹ Ü · Äâ¼ ¸´·³¹ Ü ´ ¼ ±¸ Ç ¾ Æ ¸· ÄÆ Û·¸ Ä Ý ²· Ä · ¿ ¹ ¶¹ ½ ·²³ ØèØÁ× ÂÁ×ÃÑØÙ×ÂÚÁ ·´ Ä · ¿ à ±á´· ¿ ÄâÆ µ ¼¿¿¼ ±¸ Ä · ¿ Û³± Ü · ¿¿ ² ¿ Ä ¹¸ ¿ ½ · µéµ· · ¿ Û¹ Ü · Äâ¼ ¸´·³¹ Ü ´ ¼ ±¸ È

∀i ∈ I, ∀j ∈ J,

in

i,j

◦ ϕ = in

i,j

◦ ϕ ◦



(out

k,j

)

j∈J

, in

i,j



.

ê¸ ¹ ¹ ½ ±³ ¿ ½ ¹ Ä · ¿Ü ³ ¼ Û´ ¼ ±¸ ¿ ² ¼ ¶¹¸´· È §¨©ª©«¬­¬©®¯ и· ¼ ¸´·³¹ Ü ´ ¼ ±¸

ϕ

· ¿ ´ ·¸´ ¼ë ³·µ·¸´ ÄÆ ´·³µ ¼ ¸ Æ · Û¹³ ²¸· ì¹µ ¼½½ · Äâ ¹ÛÛ ½¼Ü ¹´ ¼ ±¸ ¿

(ϕ

i,j

: O

(I)

× O −→ O)

i,j

Ä

· ½ ¹ µ¹¸ ¼ë ³· ¿ ² ¼ ¶¹¸´· È

ϕ



(a

i,j

)

i,j

, (b

i,j

)

i,j

, (m

i

)

i



=



(a

i,j

)

i,j

, ϕ

i,j

((a

k,j

)

k

, b

i,j

)

i,j

, m

i



.

í· Û ½ ² ¿» Û±²³ ´±²´ ¹º·¸´

A ∈ A

» ¼½ ·¾ ¼¿ ´· Ä · ¿ ¿ ±² ¿ Å·¸ ¿ ·µ འ· ¿ ÀÁÂç

I

0

⊆ I

·´

J

0

⊆ J

´· ½¿ Ý ²·

ϕ(A)

¿ · Ü ¹ ½Ü ² ½ ·Û¹³ ¹ÛÛ ½¼Ü ¹´ ¼ ±¸ ¿ ² ÜÜ · ¿¿¼ ¶· Ä · ¿

ϕ

i,j

Û±²³

i ∈ I

0

·´

j ∈ J

0

» ·´ Ü · Ä ¹¸ ¿ ¸ â¼ µÛ±³´· Ý ²· ½ ±³ Ä ³· É Ê¯Ë¯å îÎïÏðï и· ÑÒ ÓÔ Ã Õà ÙØ Ô Ùñ Ô · ¿ ´ ²¸· ¹ÛÛ ½¼Ü ¹´ ¼ ±¸

γ : A −→ A

Ý ² ¼ ¶ Æ ³ ¼Ç · È Þß ¿¼ ²¸ Û³± Ü · ¿¿ ² ¿ · ¿ ´ µ± ļÇÆ Û¹³ ½ · Ü ¹ ½Ü ² ½ ò ²¸· Ä · ¿ · ¿ à ±á´· ¿ ÄâÆ µ ¼¿¿¼ ±¸ ±² ¿ ¹ µ Æ µ± ¼ ³·ó » ¿ · ¿ à ±á´· ¿ Ä · ³ ÆÜ ·Û´ ¼ ±¸ ¿ ±¸´³·µ ¼¿ · ¿ ô

0

È

∀A ∈ A, ∀i ∈ I,



∃j ∈ J, out

i,j

γ(A) 6= out

i,j

A

±²

mem

i

γ(A) 6= mem

i

A



⇒ (in

i,j

γ(A))

j

= 0

ã

Ëß ½ · ¿ ¶¹ ½ ·²³ ¿ Ä · ¿ à ±á´· ¿ ÄâÆ µ ¼¿¿¼ ±¸ ·´ Ä · ½ ¹ µ Æ µ± ¼ ³· Ø æ ÑÒç ÙØ Ô Ùñ Ô Äâ ²¸ Û³± Ü · ¿¿ ² ¿ Ä ±¸¸ Æ ¸· ÄÆ Û·¸ Ä ·¸´ Ý ²· Ä · ¿ ¶¹ ½ ·²³ ¿ Ä · ¿ à ±á´· ¿ ÄâÆ µ ¼¿¿¼ ±¸ » Ä · ³ ÆÜ ·Û´ ¼ ±¸ ·´ Ä · ½ ¹ µ Æ µ± ¼ ³· ØèØÁ× ÙØ Ô Ùñ Ô Ä · Ü · Û³± Ü · ¿¿ ² ¿ È

∀i ∈ I,







(out

i,j

)

j

◦ γ

= (out

i,j

)

j

◦ γ ◦



(out

i,j

)

j

× (out

i,j

)

j

× mem

i



mem

i

◦ γ

= mem

i

◦ γ ◦



(out

i,j

)

j

× (out

i,j

)

j

× mem

i

ö÷øùøúûüûøýþ ÿ



γ

                  
  

γ

i

: O

(J)

× O

(J)

× L

i

−→ O

(J)

× O

(J)

× L

i

_i

    

γ



(a

i,j

)

i,j

, (b

i,j

)

i,j

, (m

i

)

i



=



γ

i

(a

i,j

)

j

, (b

i,j

)

j

, m

i



,

  


           

γ

i

             
       
               

A ∈ A

               !"

I

0

⊆ I

   

γ(A)



      
   

  

γ

i

#

A



i ∈ I

0

 
         $%& '()*+(*), -,

M I C

∗

ÿ  ./012/103 43

M IC

∗

            

O

5   
     

I



J

  
       
   
              
   

         

E

               
 #       
               
 

    6                    

M IC

∗

    
      

                 7
   

β

  
 

λ

    
   
  
8           
   
    

π



  9:;<ù=; >þ ?
     

O = 0

         

I = {1, . . . , n}



J = {∗}

      

i ∈ {1, . . . , n}



L

i

= Λ

`{0}

  

Λ

     

λ

   

α


    ÿ     

   

n


        @  

0

         
     

λ


8
        A          

        

A

B    

  
8  
     7
    

β

 
                     C 3 D /EF./GF1/30EF./H      

E

     
       
      


  I        

A

                
      

A

ˆ

@        

β

    

λ

      9:;<ù=; Jþ I

N

                 !FE.  

π



 B 

O

 

Z

/2Z

               

N

 I 

I = N



J = N

 H       

i

    

L

i

      
               

P ∈ L

i

::= 0



¯

xy.P



x(y).P

  

x, y ∈ N .

B
  
         
   
       

ϕ

x

i,i

0

 

x ∈ N



i 6= i

0

_{∈ I}

      

ϕ

x

OPQRPSTUQUVT OWXYYZ[\UUV

π

]

OXWO\W^ _XS U`UQRWU a

¯

xy.(P |Q) ≡ ¯

xy.z(t).z(t).0



¯

zt.P



¯

zt.Q

Pb WUYcXSZXdWUY

z

UT

t

YPVT OePZYZUYf\gZOZU\YUQUVTYUWPV WUOPVTU`TU hZW VUiX\TRXY[\jUWWUY YPZUVT\TZWZYkUY XZWWU\SYl^ mV cX XWPSY TSXg\ZSU OeX[\U

P

l

OPQQU

((x

y

), 0, Q)

YZ

P

l

= ¯

yx.Q

UT OPQQU

((−x

y

), 0, Q)

YZ

P

l

= y(x).Q

^mV VPTU

[P ]

WjXnUVT gU

M IC

∗

XZVYZ PdTUV\ o RXSTZS gU

P ∈ Π

0

^ pWPSYqTP\TUY WUY kcPW\TZPVY RPYYZdWUY gU

[P ]

QrVUVT o gUY iPSQUY VPSQXWUYq [\Z YPVT WUY

[ ˆ

P

p

]

Pb

ˆ

P

p

RXSOP\ST WjUVYUQdWU gUY iPSQUY VPSQXWUY gU

P

RP\SWX Skg\OTZPV g\

π

] OXWO\W^ sts uvw

∗

uxyz{|}~

pV gURSkYUVTUSWX YTS\OT\SUiPSQUWWUq\VUSURSkYUVTXTZPV QXTSZOZUWWURW\YZVT\ZTZcU X kTk gkcUWPRRkU^ €

UTTU SURSkYUVTXTZPV UYT iXQZWZrSU X\` ZViPSQXTZOZUVY UT gPVVU \VU kOSZT\SU YRXTZXWU RW\Y XOOUYYZdWU [\U gUY iPSQ\WUY XWnkdSZ[\UY WZVkXZSUY^

€

eX[\UTUSQU‚ €

∗

UYT SURSkYUVTkRXS WUYQXTSZOUY Y\ZcXVTUY a

XTSZOU gUY kQZYYZPVY a ƒUY WZnVUY gU OUTTU QXTSZOU SURSkYUVTUVT WUY XnUVTY hRSPOUYYUYl

A

i

∈ I

UT WUY OPWPVVUY SURSkYUVTUVTWUY UYRXOUY gjZVTUSXOTZPV

S

j

∈ J

^ƒUY kWkQUVTY gUWX QXTSZOU

o

(i,j)

∈ O

SURSk ] YUVTUVT WX dPZTU gjkQZYYZPV gU WjXnUVT

A

i

gXVY WjUYRXOU gjZVTUSXOTZPV

S

j

q q O„UYT ] o ] gZSU YX SURSkYUV ] TXTZPV gXVY OUT UYRXOU^

XTSZOU gUY RUSOURTZPVY a ƒUY WZnVUY gU OUTTU QXTSZOU SURSkYUVTUVT WUY XnUVTY

A

i

∈ I

UT WUY OPWPVVUY SURSkYUVTUVT WUYUYRXOUY gjZVTUSXOTZPV

S

j

∈ J

^ƒUY kWkQUVTY gU WX QXTSZOU

o

(i,j)

∈ O

SURSkYUVTUVT WX dPZTUgUSkOURTZPV g„\V XnUVT

A

i

qO„UYT ]

o ]

gZSU YUY RUSOURTZPVYgXVY WjUYRXOUgjZVTUSXOTZPV

S

j

^ …

UOTU\SgUYQkQPZSUY aƒUYXnUVTY

A

i

∈ I

SURSkYUVTUVTWUYWZnVUYgUOUcUOTU\S^†V kWkQUVT

m

i

g\cUOTU\S SURSkYUVTUWXQkQPZSUZVTUSVUgUWjXnUVTX\ YUVYgU‡\SZVn ˆ‡\S‰Š‹^ŒPSQZYWjU`ZYTUVOUqX\O\VUX\TSU eRPTerYU VjUYTiPSQ\WkUY\S OUT kWkQUVT^

Ž‘ ’“ ”•– —˜•™š– ›—™– œ™ •™žŸ ™™•¡•™š¢

1

S

T

V

A

a

b

c

0

B

d

0

e

0

C

f

0

0

g

D

h

0

0

0

£¤¥‘ ’“

XTSZOUgUY SURSkYUVTXTZPVY gUWX n\SU ’

^ _XSU`UQRWUqWXQXTSZOUgUY SURSkYUVTXTZPVYgUWXTXdWU

’

QPgkWZYUWXYZT\XTZPV gkOSZTUgXVYWXn\SU ’

^ ¦

\XVg \V XnUVTUYT RSkYUVT gXVY \V UYRXOU gjZVTUSXOTZPVqYX SURSkYUVTXTZPV gZ§rSUg\

0

^ pZVYZq WX cXWU\S

  !"# $ %&' %'!"# () *+,-./0 1 ) .0-2/34.- 56)775.,)-./0 3+ 3.*,4**./0 85+,-2/0.94+ 4:.94.*-+ 8;45)0- 3+* 3.*,4**./0* 6/2)5+*63640<2/47+36=4;).0*>?+--+38;/0*-2)-./0,/0,2@-+3+*,/0,+7-*)8-8.;758;+0-8++04-.5. *)0-40 72/-/-A7+ 34 ;/3@5+ BC?

∗

.;758;+0-8 +0 DEFGHI JKA-LMN> O55+ +*- 3.*7/0.:5+ 7/42 5+* 28*+)4P 5/,)4P (QR +0-2+ 3+*;),=.0+*S+- 3+*28*+)4P )3=/,)T+,5) -+,=0/5/<.+UCVWC +0 ;/3+K++2V-/VK++2X +0 4-.5.*)0- 3+* )**.*-)0-* 7+2*/00+5*> Y Z!['!"# \ ] ^_`a1 b cd efghi d

A

d