17.06.2015 Views

Download (PDF, 801KB) - Blog Kerios

Download (PDF, 801KB) - Blog Kerios

Download (PDF, 801KB) - Blog Kerios

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

34 {Enfait,lescodes(1;2n),(2n;1)-limitesnesontpastousadelaid'interpretation ni.Eneetlecodeprecedentest(1;4),(4;1)-limite,cependantnousvenonsde voirqu'iln'estpasadelaid'interpretationni. CHAPITRE2.CODESADELAID'INTERPRETATIONFINI<br />

pasforcementadelaidedechiragenietvice-versa. Exemple2.4.1{Lecodea+b+ab+cestuncodecodeadelaid'interpretation Codesadelaidedechirageni<br />

a:bn2ab:X\a:Xn. 1maisn'apasdedelaidedechirageni.Eneet,pourtoutn>1,ona Commelemontrel'exemplesuivant,lescodesadelaid'interpretationninesont<br />

{Lecodefab;bagestadelaidedechirageni(ilestprexe)cependantiln'est pascirculaire,iln'estdoncpasadelaid'interpretationni.<br />

estadelaidedechirageni. Corollaire2.4.2SoitXuncodeadelaid'interpretationni.SiXestnialorsil Cependantonalaproprietesuivante:<br />

Preuve.Toutcodecirculaireniestuniformementsynchronisant.Deplustoutcode tenussimultanement|correspondentadesnotionsdierentes: uniformementsynchronisantestadelaidedechirageni[BP85]. Exemple2.4.2{Lecodefab;abc;bgestadelaid'interpretation1etestadelai dedechirage2. Lesexemplessuivantsmontrentquelesdeuxdelais|m^emelorsqu'ilssontob-<br />

<br />

Codesuniformementsynchronisants {Lecodefabcd;bc;dc;bagestprexe(delaidedechirage0)etestadelaid'interpretation2.<br />

interpretations.DepluscettesynchronisationintervientpourtoutmotdeXdoud Lescodesadelaid'interpretationsontliesalanotiondesynchronisationdes

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!