Une substitution est un morphisme de monoïdes libres : chaque lettre a pour image un mot, et l'image d'un mot est la concaténation des images de ses lettres. Cet article introduit une généralisation de la notion de substitution, où l'image d'une lettre n'est plus un mot mais un motif, c'est-à-dire un «mot à trous», l'image d'un mot étant obtenue en raccordant les motifs correspondant à chacune de ses lettres à l'aide de règles locales. On caractérise complètement les substitutions par des motifs qui sont définies sur toute suite biinfinie, et on explique comment les construire. On montre que toute suite biinfinie qui est point fixe d'une substitution par des motifs est substitutive, c'est-à-dire est l'image, par un morphisme lettre à lettre, d'un point fixe de substitution (au sens usuel).
A substitution is a morphism of the free monoid: each letter is mapped to a word, and the image of a word is the concatenation of the images of its letters. This paper introduces a generalization of the notion of substitution, where the image of a letter is not a word but a pattern, i.e., a “word with holes”: the image of a word is obtained by connecting the patterns corresponding to each of the letters by means of local rules. We completely characterize pattern substitutions which are defined on every biinfinite sequence, and we explain how to build them. We show that every biinfinite sequence which is a fixed point of a pattern substitution is substitutive, i.e., it is the image, by a letter to letter morphism, of a fixed point of a substitution (in the usual meaning).
Mot clés : substitutions, mots, motifs, pavages de la droite, combinatoire des mots
Mots clés : substitutions, words, patterns, tilings of the line, word combinatorics
@article{ITA_2007__41_3_267_0, author = {Pytheas Fogg, N.}, title = {Substitutions par des motifs en dimension 1}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {267--284}, publisher = {EDP-Sciences}, volume = {41}, number = {3}, year = {2007}, doi = {10.1051/ita:2007022}, mrnumber = {2354358}, language = {fr}, url = {http://www.numdam.org/articles/10.1051/ita:2007022/} }
TY - JOUR AU - Pytheas Fogg, N. TI - Substitutions par des motifs en dimension 1 JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2007 SP - 267 EP - 284 VL - 41 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2007022/ DO - 10.1051/ita:2007022 LA - fr ID - ITA_2007__41_3_267_0 ER -
%0 Journal Article %A Pytheas Fogg, N. %T Substitutions par des motifs en dimension 1 %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 2007 %P 267-284 %V 41 %N 3 %I EDP-Sciences %U http://www.numdam.org/articles/10.1051/ita:2007022/ %R 10.1051/ita:2007022 %G fr %F ITA_2007__41_3_267_0
Pytheas Fogg, N. Substitutions par des motifs en dimension 1. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 41 (2007) no. 3, pp. 267-284. doi : 10.1051/ita:2007022. http://www.numdam.org/articles/10.1051/ita:2007022/
[1] Sur la complexité des nombres algébriques. C. R. Acad. Sci. Paris Ser. I 339 (2004) 11-14. | Zbl
, and ,[2] Automatic sequences. Cambridge University Press (2003). | MR | Zbl
and ,[3] Pisot substitutions and Rauzy fractals. Bull. Belg. Math. Soc. Simon Stevin 8 (2001) 181-207. | Zbl
and ,[4] Discrete planes, -actions, Jacobi-Perron algorithm and substitutions. Ann. Inst. Fourier (Grenoble) 52 (2002) 1001-1045. | Numdam | Zbl
, and ,[5] Two-dimensional iterated morphisms and discrete planes. Theoret. Comput. Sci. 319 (2004) 145-176. | Zbl
, and ,[6] Uniform tag sequences. Math. Syst. Theory 6 (1972) 164-192. | Zbl
,[7] Combinatorial and dynamical study of substitutions around the theorem of Cobham. Dynamics and Randomness, edited by A. Maass et al., Kluwer Academic Publishers (2002) 53-94. | Zbl
,[8] Matching rules and substitution tilings. Ann. Math. 147 (1998) 181-223. | Zbl
,[9] Automatic sequences, de Gruyter Expositions in Mathematics 36 (2003). | MR | Zbl
,[10] Dynamics of multi-dimensional substitutions. Ph.D. Thesis, George Washington University (2000).
,[11] Maximal pattern complexity for discrete systems. Ergodic Theory Dynam. Systems 22 (2002) 1201-1214. | Zbl
and ,[12] Sequence entropy and the maximal pattern complexity of infinite words. Ergodic Theory Dynam. Systems 22 (2002) 1191-1199. | Zbl
and ,[13] Tiling the line with translates of one tile. Invent. Math. 124 (1996) 341-365. | Zbl
and ,[14] Algebraic Combinatorics on words, Encyclopedia of Mathematics and its Applications 90, Cambridge University Press. | MR | Zbl
,[15] Applied Combinatorics on words, Encyclopedia of Mathematics and its Applications 105, Cambridge University Press. | MR | Zbl
,[16] An automata-theoretic decidability proof for first-order theory of with morphic predicate . J. Autom. Lang. Comb. 4 (1999), 229-245. | Zbl
,[17] More on generalized automatic sequences. J. Autom. Lang. Comb. 7 (2002) 351-376. | Zbl
and ,[18] Substitutions in dynamics, arithmetics and combinatorics. Lect. Notes Math. 1794 (2002). | MR | Zbl
,[19] Substitution dynamical systems. Spectral analysis. Lect. Notes Math. 1294 (1987). | MR | Zbl
,[20] The mathematical theory of -systems. Academic Press (1980). | MR | Zbl
and ,[21] Approximation to real numbers by cubic algebraic integers I. Proc. London Math. Soc. 88 (2004) 42-62. | Zbl
,[22] Approximation to real numbers by cubic algebraic integers II. Ann. Math. 158 (2003) 1081-1087. | Zbl
,[23] Suites automatiques à multi-indices, Séminaire de Théorie des Nombres de Bordeaux, Exp. No. 4, Univ. Bordeaux-I (1986-1987) 4.01-4.27. | Zbl
,[24] Suites automatiques à multi-indices et algébricité. C. R. Acad. Sci. Paris Sér. I 305 (1987) 501-504. | Zbl
,[25] Dynamics of self-similar tilings. Ergodic Theory Dynam. Systems 17 (1997) 695-738. | Zbl
,[26] Groups, tilings and finite state automata, Lectures notes distributed in conjunction with the Colloquium Series, AMS Colloquium lectures (1989).
,Cité par Sources :