Download (PDF, 801KB) - Blog Kerios

ni. uniformementsynchronisants(cf.Theoreme4.1.4).Nousallonsvoirque,comme 88 metd'elaborerunemethodedecompletionpourlescodesadelaid'interpretation pourlescodesuniformementsynchronisants,unchoixparticulierdemarqueursper-
Lapropriete(5.3)estprochedecellequiestetablieen[Bru98]pourlescodes CHAPITRE5.MAXIMALITEETCOMPLETUDEDANSFdif
5.2.2Completiondescodestrescoupants
tionnicoupants. pourronsendeduireunemethodedecompletionpourlescodesadelaid'interpreta-
restreindreauxcodestrescoupantsn'englobepasleproblemedanssatotalite,nous d'interpretationnitrescoupants.M^emes'ilpeutsembler,deprimeabord,quese Uninter^etsupplementairedel'exemple5.2.1estdemettreenevidencelanecessitedetenircomptedesrecouvrementsentrelesmotsX(y).Deuxvoiessontalors
possibles: {Uneautreapprocheconsisteamodierlesmarqueursdefaconaeliminerles {CelleproposeeparV.Bruyereen[Bru98],consisteaconstruirel'ensembleYen tenantcomptedecesrecouvrements.
Nouspresentonsdanscettesectionunemethodedecompletiondescodesadelai
motsdet0A\At0(commeen[Bru98]). t2(marqueurden)apartird'unmott02XnF(X)etnousconsidereronsles motsdet1At2(commepourl'algorithmed'Ehrenfeucht-Rozenberg)plut^otqueles approche.Nousallonsenfaitconstruiredeuxmarqueurst1(marqueurdedebut)et recouvrementsindesirables. Dansceparagraphenousdevelopponsunemethoderelativeacettederniere
Fus,touslesmotsdeX2(ouestledelaidesynchronisation)sontdesmarqueurs. Nousverronsauchapitre6querestreindrelenombredemarqueurspermetegalement etcelledansFdifestquedansFdifnousn'allonsutiliserquedeuxmarqueurs.Pour d'elaborerunemethodedecompletiondescodessynchronisants. UneautredierencefondamentaleentrelesmethodesdecompletiondansFus
d.Soitt02(Xd:X+)nF(X).Soienta,bdeuxlettresdel'alphabettellesquea6=b Theoreme5.2.2SoitXuncodeadelaid'interpretationni,trescoupant,dedelai et t1=t0ajt0j;t2=bjt0jt0: