Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
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