Documents Durand, Fabien 2 résultats

UNE SUBSTITUTION SUR UN ALPHABET FINI A EST UN ENDORMORPHISME, DU MONOIDE LIBRE ENGENDRE PAR A, S'ETENDANT PAR CONCATENATION A A#N POUR LEQUELLE IL EXISTE UNE SUITE X E A#N TELLE QUE (X) = X. LE CODAGE LITTERAL DU POINT FIXE D'UNE SUBSTITUTION EST APPELE SUITE SUBSTITUTIVE. DANS LE CHAPITRE I NOUS INTRODUISONS UNE DES NOTIONS CENTRALES DE CETTE THESE: LE MOT DE RETOUR. LE CODAGE DES SUITES SUBSTITUTIVES PAR LES MOTS DE RETOUR DE PERMET DE DEFINIR LA NOTION DE SUITE DERIVEE ET DE DONNER LA CARACTERISATION SUIVANTE: UNE SUITE X EST SUBSTITUTIVE PRIMITIVE SI ET SEULEMENT SI L'ENSEMBLE DE SES SUITES DERIVEES EST FINI. DANS LE CHAPITRE II NOUS ETENDONS LA VERSION SUBSTITUTIVE DU THEOREME DE COBHAM. SOIT X UNE SUITE QUI EST LE CODAGE LITTERAL DES POINTS FIXES DES SUBSTITUTIONS ET . SI X EST APERIODIQUE ALORS LES VALEURS PROPRES DOMINANTES DES MATRICES ASSOCIEES A ET SONT MULTIPLICATIVEMENT DEPENDANTES. NOUS PROUVONS ENSUITE UN RESULTAT SIMILAIRE POUR LES SUITES DEFINISSANT LE MEME LANGAGE. LE CHAPITRE III RAPPELLE DES RESULTATS CONNUS EXPLICITANT LE LIEN ENTRE SUBSTITUTIONS ET SYSTEMES DE NUMERATION ET APPLIQUE LES RESULTATS DU CHAPITRE PRECEDENT AUX SYSTEMES DE NUMERATION. LE CHAPITRE IV EST CONSACRE AUX SYSTEMES DYNAMIQUES ENGENDRES PAR DES SUBSTITUTIONS. NOUS PRECISONS UN RESULTAT OBTENU PAR A. FORREST: LA CLASSE B DES SYSTEMES DE BRATTELI-VERSHIK STATIONNAIRES MINIMAUX EST LA REUNION DES SYSTEMES DE SUBSTITUTIONS PRIMITIVES ET DES ODOMETRES. L'ELEMENT NOUVEAU APPORTES PAR NOTRE PREUVE EST UN ALGORITHME DE CALCUL DES SYSTEMES DE BRATTELI-VERSHIK ASSOCIES AUX SYSTEMES DE SUBSTITUTIONS ET UN CALCUL AISE DE LEUR GROUPE DE DIMENSION. NOUS MONTRONS QUE LA CLASSE B EST STABLE PAR PASSAGE AU FACTEUR. POUR CELA NOUS MONTRONS QUE POUR TOUT SYSTEME DE SUBSTITUTION PRIMITIVE (X,T) IL EXISTE UNE CONSTANTE D TEL QUE TOUTE CHAINE DE FACTEURS CANTOR DE (X,T) A UNE LONGUEUR INFERIEURE A D. LE CHAPITRE V ETEND CERTAINS RESULTARS OBTENUS DANS LES CHAPITRES PRECEDENTS A UNE GENERALISATION DES SUITES SUBSTITUTIVES (LES SUITES S-ADIQUES)[-]