{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:00:43Z","timestamp":1725858043662},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319401881"},{"type":"electronic","value":"9783319401898"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40189-8_2","type":"book-chapter","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T15:34:07Z","timestamp":1465832047000},"page":"13-23","source":"Crossref","is-referenced-by-count":1,"title":["Effective S-adic Symbolic Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Val\u00e9rie","family":"Berth\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Fernique","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Sablik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,14]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.36045\/bbms\/1102714169","volume":"8","author":"P Arnoux","year":"2001","unstructured":"Arnoux, P., Ito, S.: Pisot substitutions and Rauzy fractals. Bull. Belg. Math. Soc. Simon Stevin 8, 181\u2013207 (2001)","journal-title":"Bull. Belg. Math. Soc. Simon Stevin"},{"key":"2_CR2","first-page":"7","volume":"9","author":"N Aubrun","year":"2014","unstructured":"Aubrun, N., Sablik, M.: Multidimensional effective S-adic systems are sofic. Distrib. Theor. 9, 7\u201329 (2014)","journal-title":"Distrib. Theor."},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s10440-013-9808-5","volume":"126","author":"N Aubrun","year":"2013","unstructured":"Aubrun, N., Sablik, M.: Simulation of effective subshifts by two-dimensional subshifts of finite type. Acta Applicandae Mathematicae 126, 35\u201363 (2013)","journal-title":"Acta Applicandae Mathematicae"},{"key":"2_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139025256","volume-title":"Aperiodic Order: A Mathematical Invitation","author":"M Baake","year":"2013","unstructured":"Baake, M., Grimm, U.: Aperiodic Order: A Mathematical Invitation, vol. 1. Cambridge University Press, Cambridge (2013)"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"980","DOI":"10.1007\/s00454-015-9740-8","volume":"54","author":"N B\u00e9daride","year":"2015","unstructured":"B\u00e9daride, N., Fernique, T.: No weak local rules for the $$4p$$ 4 p -fold tilings. Disc. Comput. Geom. 54, 980\u2013992 (2015)","journal-title":"Disc. Comput. Geom."},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1007\/s00220-015-2334-8","volume":"335","author":"N B\u00e9daride","year":"2015","unstructured":"B\u00e9daride, N., Fernique, T.: When periodicities enforce aperiodicity. Commun. Math. Phys. 335, 1099\u20131120 (2015)","journal-title":"Commun. Math. Phys."},{"key":"2_CR7","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1142\/S0218196709005330","volume":"9","author":"JP Bell","year":"2009","unstructured":"Bell, J.P., Charlier, E., Fraenkel, A.S., Rigo, M.: A decision problem for ultimately periodic sets in non-standard numeration systems. Int. J. Algebra Comput. 9, 809\u2013839 (2009)","journal-title":"Int. J. Algebra Comput."},{"key":"2_CR8","volume-title":"The Undecidability of the Domino Problem","author":"R Berger","year":"1966","unstructured":"Berger, R.: The Undecidability of the Domino Problem, vol. 66. Memoirs of the American Mathematical Society, Providence (1966)"},{"key":"2_CR9","unstructured":"Berth\u00e9, V., Delecroix, V.: Beyond substitutive dynamical systems: S-adic expansions, RIMS Lecture note \u2018Kokyuroku Bessatu\u2019 B46, pp. 81\u2013123 (2014)"},{"volume-title":"Combinatorics, Automata and Number Theory, Encyclopedia of Mathematics and its Applications","year":"2010","key":"2_CR10","unstructured":"Berth\u00e9, V., Rigo, M. (eds.): Combinatorics, Automata and Number Theory, Encyclopedia of Mathematics and its Applications, vol. 135. Cambridge University Press, Cambridge (2010)"},{"volume-title":"Combinatorics, Words and Symbolic dynamics, Encyclopedia of Mathematics and its Applications","year":"2016","key":"2_CR11","unstructured":"Berth\u00e9, V., Rigo, M. (eds.): Combinatorics, Words and Symbolic dynamics, Encyclopedia of Mathematics and its Applications, vol. 159. Cambridge University Press, Cambridge (2016)"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/S0012-365X(00)00039-X","volume":"223","author":"V Berth\u00e9","year":"2000","unstructured":"Berth\u00e9, V., Vuillon, L.: Tilings and rotations on the torus: a two-dimensional generalization of Sturmian sequences. Discrete Math. 223, 27\u201353 (2000)","journal-title":"Discrete Math."},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-642-40579-2_9","volume-title":"Combinatorics on Words","author":"V Berth\u00e9","year":"2013","unstructured":"Berth\u00e9, V., Bourdon, J., Jolivet, T., Siegel, A.: Generating discrete planes with substitutions. In: Karhum\u00e4ki, J., Lepist\u00f6, A., Zamboni, L. (eds.) WORDS 2013. LNCS, vol. 8079, pp. 58\u201370. Springer, Heidelberg (2013)"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.ic.2011.10.006","volume":"210","author":"L Bienvenu","year":"2012","unstructured":"Bienvenu, L., Day, A.R., Hoyrup, M., Mezhirov, I., Shen, A.: A constructive version of Birkhoff\u2019s ergodic theorem for Martin-L\u00f6f random points. Inf. Comput. 210, 21\u201330 (2012)","journal-title":"Inf. Comput."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Bruy\u00e8re, V., Hansel, G., Michaux, C., Villemaire, R.: Logic and $$p$$ p -recognizable sets of integers. Bull. Belg. Math. Soc. Simon Stevin 12, 191\u2013238. Correction to: \u201cLogic and $$p$$ p -recognizable sets of integers\u201d. Bull. Belg. Math. Soc. Simon Stevin 14, 577 (1994)","DOI":"10.36045\/bbms\/1103408547"},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"1238","DOI":"10.1016\/j.disc.2009.12.002","volume":"310","author":"E Charlier","year":"2010","unstructured":"Charlier, E., K\u00e4rki, T., Rigo, M.: Multidimensional generalized automatic sequences and shape-symmetric morphic words. Discrete Math. 310, 1238\u20131252 (2010)","journal-title":"Discrete Math."},{"key":"2_CR17","doi-asserted-by":"crossref","first-page":"1035","DOI":"10.1142\/S0129054112400448","volume":"23","author":"E Charlier","year":"2012","unstructured":"Charlier, E., Rampersad, N., Shallit, J.: Enumeration and decidable properties of automatic sequences. Int. J. Found. Comput. Sci. 23, 1035\u20131066 (2012)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"2_CR18","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/1385-7258(81)90016-0","volume":"43","author":"NG Bruijn de","year":"1981","unstructured":"de Bruijn, N.G.: Algebraic theory of Penrose\u2019s nonperiodic tilings of the plane. Nederl. Akad. Wetensch. Indag. Math. 43, 39\u201366 (1981)","journal-title":"Nederl. Akad. Wetensch. Indag. Math."},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/978-3-642-15025-8_12","volume-title":"Fields of Logic and Computation","author":"B Durand","year":"2010","unstructured":"Durand, B., Romashchenko, A.E., Shen, A.: Effective closed subshifts in 1D can be implemented in 2D. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 208\u2013226. Springer, Heidelberg (2010)"},{"key":"2_CR20","unstructured":"Durand, F.: Linearly recurrent subshifts have a finite number of non-periodic subshift factors, Ergodic Theor. Dynam. Syst. 20, 1061\u20131078. Corrigendum and addendum, Ergodic Theor. Dynam. Syst. 23, 663\u2013669 (2003)"},{"issue":"1","key":"2_CR21","first-page":"199","volume":"7","author":"F Durand","year":"2012","unstructured":"Durand, F.: HD0L $$\\omega $$ \u03c9 -equivalence and periodicity problems in the primitive case. Unif. Distrib. Theor. 7(1), 199\u2013215 (2012)","journal-title":"Unif. Distrib. Theor."},{"key":"2_CR22","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1051\/ita\/2013035","volume":"47","author":"F Durand","year":"2013","unstructured":"Durand, F.: Decidability of the HD0L ultimate periodicity problem. RAIRO - Theor. Inf. Appl. 47, 201\u2013214 (2013)","journal-title":"RAIRO - Theor. Inf. Appl."},{"key":"2_CR23","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1142\/S0129054113500032","volume":"24","author":"F Durand","year":"2013","unstructured":"Durand, F.: Decidability of uniform recurrence of morphic sequences. Int. J. Found. Comput. Sci. 24, 123\u2013146 (2013)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"4","key":"2_CR24","doi-asserted-by":"crossref","first-page":"953","DOI":"10.1017\/S0143385799133947","volume":"19","author":"F Durand","year":"1999","unstructured":"Durand, F., Host, B., Skau, C.: Substitutional dynamical systems, Bratteli diagrams and dimension groups. Ergodic Theor. Dyn. Syst. 19(4), 953\u2013993 (1999)","journal-title":"Ergodic Theor. Dyn. Syst."},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/j.tcs.2007.03.021","volume":"380","author":"T Fernique","year":"2007","unstructured":"Fernique, T.: Local rule substitutions and stepped surfaces. Theor. Comput. Sci. 380, 317\u2013329 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR26","unstructured":"Fernique, T., Ollinger, N.: Combinatorial substitutions and sofic tilings. In: JAC (2010)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Fernique, T., Sablik, M.: Local rules for computable planar tilings automata. In: JAC (2012)","DOI":"10.4204\/EPTCS.90.11"},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/j.exmath.2008.02.001","volume":"26","author":"NP Frank","year":"2008","unstructured":"Frank, N.P.: A primer of substitution tilings of the Euclidean plane. Expo. Math. 26, 295\u2013326 (2008)","journal-title":"Expo. Math."},{"key":"2_CR29","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s10711-013-9893-7","volume":"171","author":"NP Frank","year":"2014","unstructured":"Frank, N.P., Sadun, L.: Fusion: a general framework for hierarchical tilings of Rd. Geom. Dedicata. 171, 149\u2013186 (2014)","journal-title":"Geom. Dedicata."},{"key":"2_CR30","unstructured":"Gangloff, S., de Menibus, B.H.: Computing the entropy of one-dimensional decidable subshifts. arXiv:1602.06166"},{"key":"2_CR31","doi-asserted-by":"crossref","first-page":"181","DOI":"10.2307\/120988","volume":"147","author":"C Goodman-Strauss","year":"1998","unstructured":"Goodman-Strauss, C.: Matching rules and substitution tilings. Ann. Math. 147, 181\u2013223 (1998)","journal-title":"Ann. Math."},{"key":"2_CR32","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1142\/S0129167X92000382","volume":"3","author":"RH Herman","year":"1992","unstructured":"Herman, R.H., Putnam, I.F., Skau, C.F.: Ordered Bratteli diagrams, dimension groups and topological dynamics. Int. J. Math. 3, 827\u2013864 (1992)","journal-title":"Int. J. Math."},{"key":"2_CR33","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s00222-008-0161-7","volume":"176","author":"M Hochman","year":"2009","unstructured":"Hochman, M.: On the dynamics and recursive properties of multidimensional symbolic systems. Inventiones Mathematicae 176, 131\u2013167 (2009)","journal-title":"Inventiones Mathematicae"},{"key":"2_CR34","doi-asserted-by":"crossref","first-page":"2011","DOI":"10.4007\/annals.2010.171.2011","volume":"171","author":"M Hochman","year":"2010","unstructured":"Hochman, M., Meyerovitch, T.: A characterization of the entropies of multidimensional shifts of finite type. Ann. Math. 171, 2011\u20132038 (2010)","journal-title":"Ann. Math."},{"key":"2_CR35","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.ic.2009.05.001","volume":"208","author":"S Galatolo","year":"2010","unstructured":"Galatolo, S., Hoyrup, M., Rojas, C.: Effective symbolic dynamics, random points, statistical behavior, complexity and entropy. Inf. Comput. 208, 23\u201341 (2010)","journal-title":"Inf. Comput."},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Le, T.Q.T.: Local rules for quasiperiodic tilings. In: The Mathematics of Long-Range Aperiodic Order, Waterloo, ON, 1995. NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, vol. 489, pp. 331\u2013366. Kluwer Academic Publisher, Dordrecht (1997)","DOI":"10.1007\/978-94-015-8784-6_13"},{"key":"2_CR37","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1007\/BF01218348","volume":"119","author":"LS Levitov","year":"1988","unstructured":"Levitov, L.S.: Local rules for quasicrystals. Commun. Math. Phys. 119, 627\u2013666 (1988)","journal-title":"Commun. Math. Phys."},{"key":"2_CR38","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF02793412","volume":"53","author":"S Mozes","year":"1989","unstructured":"Mozes, S.: Tilings, substitution systems and dynamical systems generated by them. J. d\u2019analyse math\u00e9matique 53, 139\u2013186 (1989)","journal-title":"J. d\u2019analyse math\u00e9matique"},{"key":"2_CR39","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1005191014127","volume":"79","author":"NM Priebe","year":"2000","unstructured":"Priebe, N.M.: Towards a characterization of self-similar tilings in terms of derived Vorono tessellations. Geom. Dedicata. 79, 239\u2013265 (2000)","journal-title":"Geom. Dedicata."},{"key":"2_CR40","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01418780","volume":"12","author":"RM Robinson","year":"1971","unstructured":"Robinson, R.M.: Undecidability and nonperiodicity for tilings of the plane. Invent. Math. 12, 177\u2013209 (1971)","journal-title":"Invent. Math."},{"key":"2_CR41","volume-title":"Formal Languages, Automata and Numeration Systems","author":"M Rigo","year":"2014","unstructured":"Rigo, M.: Formal Languages, Automata and Numeration Systems. Wiley, Hoboken (2014)"},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-3-642-38536-0_5","volume-title":"Computer Science \u2013 Theory and Applications","author":"J Shallit","year":"2013","unstructured":"Shallit, J.: Decidability and enumeration for automatic sequences: a survey. In: Bulatov, A.A., Shur, A.M. (eds.) CSR 2013. LNCS, vol. 7913, pp. 49\u201363. Springer, Heidelberg (2013)"},{"key":"2_CR43","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1007\/BF02097107","volume":"129","author":"JES Socolar","year":"1990","unstructured":"Socolar, J.E.S.: Weak matching rules for quasicrystals. Commun. Math. Phys. 129, 599\u2013619 (1990)","journal-title":"Commun. Math. Phys."},{"key":"2_CR44","first-page":"42","volume":"42","author":"VV V\u2019yugin","year":"1997","unstructured":"V\u2019yugin, V.V.: Effective convergence in probability, and an ergodic theorem for individual random sequences. Theor. Probab. Appl. 42, 42\u201350 (1997)","journal-title":"Theor. Probab. Appl."}],"container-title":["Lecture Notes in Computer Science","Pursuit of the Universal"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40189-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T05:28:51Z","timestamp":1600752531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40189-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401881","9783319401898"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40189-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}