Fonction de mots infinis réalisables par automate fini.
1rougndes&iaf$repr%EcoleCNRSJeuneshttpwwiafauChercaheursesenenbresAlgorithmiqueChristianeetLIAFCalcularisFsieuormelrBordeaux22la{26tationmarsnom1999rFeelsonctionsFdeymotsAinisPrChristianerougnyausealisablesfrparssieuautomatecfi'Applicationla3.tations&con$4.%aesPlantialitdeelxptinos{isets1.FeonctionsuitdeExemplemots{inisrisealisables{paretautomateai2{SDequeneitionset{tinPropri{etdedivisionesCondeuitfermeturee2.AutomatesReprenigneRepresenesentationdvizienisdesAutomatesrenignefonctionseels{ccienNormalisationrationnels{'AdditionBunu&ortemen$ealis%desFinimenonctionshideautomatemotsasinisdesrcommenIealisablestparlaautomate:iAgraphealphabautomateetterminalesdn'tretiquettheminseetBetatalphabpassanetsouvdeFsortieAutomateionctionNaest2parbandessi=rtransducteure=NAb=(uQbleAescBiniscan;dansE;deIet;tFt)enadansvompectEaetBQucisFRelation'deAmots!inisNRrealisableAunNisonBestNestrpariealisPdeeeouclespardAetiquettesiouR3estlnsem=1&$=%4Exemple1-./Lutomate1qui0ece1les0kent1^1ete0des0,mots=0/="'-si00&ln$q%aefThpoleor,eme(1p ...