{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:46:29Z","timestamp":1775054789587,"version":"3.50.1"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030617387","type":"print"},{"value":"9783030617394","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-61739-4_1","type":"book-chapter","created":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T23:11:38Z","timestamp":1602717098000},"page":"3-19","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Decision Problems for Substitutions in Symbolic Dynamics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5561-7882","authenticated-orcid":false,"given":"Val\u00e9rie","family":"Berth\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,15]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"2201","DOI":"10.5802\/aif.2079","volume":"54","author":"B Adamczewski","year":"2004","unstructured":"Adamczewski, B.: Symbolic discrepancy and self-similar dynamics. Ann. Inst. Fourier (Grenoble) 54, 2201\u20132234 (2004)","journal-title":"Ann. Inst. Fourier (Grenoble)"},{"key":"1_CR2","series-title":"Progress in Mathematics","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-0348-0903-0_2","volume-title":"Mathematics of Aperiodic Order","author":"S Akiyama","year":"2015","unstructured":"Akiyama, S., Barge, M., Berth\u00e9, V., Lee, J.-Y., Siegel, A.: On the Pisot substitution conjecture. In: Kellendonk, J., Lenz, D., Savinien, J. (eds.) Mathematics of Aperiodic Order. PM, vol. 309, pp. 33\u201372. Springer, Basel (2015). https:\/\/doi.org\/10.1007\/978-3-0348-0903-0_2"},{"key":"1_CR3","doi-asserted-by":"publisher","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":"1_CR4","doi-asserted-by":"publisher","first-page":"637","DOI":"10.4007\/annals.2007.165.637","volume":"165","author":"A Avila","year":"2007","unstructured":"Avila, A., Forni, G.: Weak mixing for interval exchange transformations and translation flows. Ann. Math. 165, 637\u2013664 (2007)","journal-title":"Ann. Math."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Baake, M., Grimm, U.: Aperiodic order. Volume 1: A Mathematical invitation. Cambridge University Press, Cambridge (2013)","DOI":"10.1017\/CBO9781139025256"},{"key":"1_CR6","doi-asserted-by":"publisher","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":"1_CR7","doi-asserted-by":"crossref","unstructured":"Berger, R: The undecidability of the domino problem. Mem. Am. Math. Soc. 66 (1966)","DOI":"10.1090\/memo\/0066"},{"key":"1_CR8","unstructured":"Berth\u00e9, V., Delecroix, V.: Beyond substitutive dynamical systems: S-adic expansions. RIMS Lecture note \u2018Kokyuroku Bessatu\u2019 B46, 81\u2013123 (2004)"},{"key":"1_CR9","doi-asserted-by":"crossref","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)","DOI":"10.1017\/CBO9780511777653"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Berth\u00e9, V., Rigo, M. (eds.): Combinatorics, Words and Symbolic dynamics. Encyclopedia of Mathematics and its Applications, vol. 159, Cambridge University Press (2016)","DOI":"10.1017\/CBO9781139924733"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-319-40189-8_2","volume-title":"Pursuit of the Universal","author":"V Berth\u00e9","year":"2016","unstructured":"Berth\u00e9, V., Fernique, T., Sablik, M.: Effective S-adic symbolic dynamical systems. In: Beckmann, A., Bienvenu, L., Jonoska, N. (eds.) CiE 2016. LNCS, vol. 9709, pp. 13\u201323. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40189-8_2"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"1347","DOI":"10.5802\/aif.3273","volume":"69","author":"V Berth\u00e9","year":"2019","unstructured":"Berth\u00e9, V., Steiner, W., Thuswaldner, J.: Geometry, dynamics, and arithmetic of $$s$$-adic shifts. Annales de l\u2019Institut Fourier 69, 1347\u20131409 (2019)","journal-title":"Annales de l\u2019Institut Fourier"},{"key":"1_CR13","unstructured":"Berth\u00e9, V., Steiner, W., Thuswaldner, J.: On the strong convergence of higher-dimensional continuous fractions. Math. Comput. (to appear)"},{"issue":"2","key":"1_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.36045\/bbms\/1103408547","volume":"1","author":"V Bruy\u00e8re","year":"1994","unstructured":"Bruy\u00e8re, V., Hansel, G., Michaux, C., Villemaire, R.: Logic and $$p$$-recognizable sets of integers. Bull. Belg. Math. Soc. Simon Stevin 1(2), 191\u2013238 (1994)","journal-title":"Bull. Belg. Math. Soc. Simon Stevin"},{"key":"1_CR15","doi-asserted-by":"publisher","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":"1_CR16","doi-asserted-by":"publisher","first-page":"1061","DOI":"10.1017\/S0143385700000584","volume":"20","author":"F Durand","year":"2000","unstructured":"Durand, F.: Linearly recurrent subshifts have a finite number of non-periodic subshift factors. Ergod. Theory Dyn. Syst. 20, 1061\u20131078 (2000). Corrigendum and addendum. Ergodic Theory Dynam. Systems, 23 663\u2013669 (2003)","journal-title":"Ergod. Theory Dyn. Syst."},{"key":"1_CR17","first-page":"199","volume":"7","author":"F Durand","year":"2012","unstructured":"Durand, F.: HD0L $$\\omega $$-equivalence and periodicity problems in the primitive case. Unif. Distrib. Theory 7, 199\u2013215 (2012)","journal-title":"Unif. Distrib. Theory"},{"key":"1_CR18","doi-asserted-by":"publisher","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. Inform. Appl. 47, 201\u2013214 (2013)","journal-title":"RAIRO Theor. Inform. Appl."},{"key":"1_CR19","doi-asserted-by":"publisher","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."},{"key":"1_CR20","unstructured":"Durand, F., Leroy. J.: Decidability of the isomorphism and the factorization between minimal substitution subshifts. https:\/\/arxiv.org\/abs\/1806.04891"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., 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). https:\/\/doi.org\/10.1007\/978-3-642-15025-8_12"},{"key":"1_CR22","first-page":"1027","volume":"63","author":"N Fijalkow","year":"2019","unstructured":"Fijalkow, N., Ohlmann, P., Ouaknine, J., Pouly, A., Worrell, J.: Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem. Theor. Comput. Sci. 63, 1027\u20131048 (2019)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Furstenberg, H.: Stationary Processes and Prediction Theory. Annals of Mathematics Studies, vol. 44, Princeton University Press, Princeton (1960)","DOI":"10.1515\/9781400881604"},{"key":"1_CR24","doi-asserted-by":"publisher","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":"1_CR25","doi-asserted-by":"publisher","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":"1_CR26","unstructured":"Jeandel, E., Vanier, P.: A characterization of subshifts with computable language. In: STACS Art. No. 40, LIPIcs. Leibniz International Proceedings in Informatics, 126, Schloss Dagstuhl. Leibniz-Zentrum f\u00fcr Informatik, Wadern (2019)"},{"issue":"4","key":"1_CR27","doi-asserted-by":"publisher","first-page":"808","DOI":"10.1145\/6490.6496","volume":"33","author":"R Kannan","year":"1986","unstructured":"Kannan, R., Lipton, R.J.: Polynomial-time algorithm for the orbit problem. J. Assoc. Comput. Mach. 33(4), 808\u2013821 (1986)","journal-title":"J. Assoc. Comput. Mach."},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/BF03007668","volume":"26","author":"M Keane","year":"1977","unstructured":"Keane, M.: Non-ergodic interval exchange transformations. Israel J. Math. 26, 188\u2013196 (1977)","journal-title":"Israel J. Math."},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/BF01667310","volume":"115","author":"JC Lagarias","year":"1993","unstructured":"Lagarias, J.C.: The quality of the Diophantine approximations found by the Jacobi-Perron algorithm and related algorithms. Monatsh. Math. 115, 299\u2013328 (1993)","journal-title":"Monatsh. Math."},{"key":"1_CR30","unstructured":"Lhote, L.: Computation of a class of continued fraction constants. In: Analytic Algorithmic and Combinatorics ANALCO 2014, pp. 199\u2013210. SIAM (2004)"},{"key":"1_CR31","series-title":"Encyclopedia of Mathematics and Its Applications","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107326019","volume-title":"Algebraic Combinatorics on Words","author":"M Lothaire","year":"2002","unstructured":"Lothaire, M.: Algebraic Combinatorics on Words. Encyclopedia of Mathematics and Its Applications, vol. 90. Cambridge University Press, Cambridge (2002)"},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2371431","volume":"62","author":"M Morse","year":"1940","unstructured":"Morse, M., Hedlund, G.A.: Symbolic dynamics II. Sturmian Trajectories Am. J. Math. 62, 1\u201342 (1940)","journal-title":"Sturmian Trajectories Am. J. Math."},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s00222-010-0246-y","volume":"181","author":"M Pollicott","year":"2010","unstructured":"Pollicott, M.: Maximal Lyapunov exponents for random matrix products. Invent. Math. 181, 209\u2013226 (2010)","journal-title":"Invent. Math."},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s10711-013-9893-7","volume":"171","author":"N Priebe Frank","year":"2014","unstructured":"Priebe Frank, N., Sadun, L.: Fusion: a general framework for hierarchical tilings of $$\\mathbb{R}^d$$. Geometriae Dedicata 171, 149\u2013186 (2014)","journal-title":"Geometriae Dedicata"},{"key":"1_CR35","volume-title":"Lecture Notes in Mathematics","author":"N Pytheas","year":"2002","unstructured":"Pytheas, N.: Substitutions in dynamics, arithmetics and combinatorics. In: Berth\u00e9, V., Ferenczi, S., Mauduit, C., Siegel, A. (eds.) Lecture Notes in Mathematics, vol. 1794. Springer, Heidelberg (2002)"},{"key":"1_CR36","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11212-6","volume-title":"Substitution Dynamical Systems\u2014Spectral Analysis","author":"M Queff\u00e9lec","year":"2010","unstructured":"Queff\u00e9lec, M.: Substitution Dynamical Systems\u2014Spectral Analysis. Lecture Notes in Mathematics, vol. 1294, 2nd edn. Springer, Berlin (2010). https:\/\/doi.org\/10.1007\/978-3-642-11212-6","edition":"2"},{"key":"1_CR37","doi-asserted-by":"publisher","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":"1_CR38","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198506867.001.0001","volume-title":"Multidimensional Continued Fractions","author":"F Schweiger","year":"2000","unstructured":"Schweiger, F.: Multidimensional Continued Fractions. Oxford Science Publications, Oxford University Press, Oxford (2000)"},{"key":"1_CR39","series-title":"Springer Series in Statistics","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-32792-4","volume-title":"Non-Negative Matrices and Markov Chains","author":"E Seneta","year":"1981","unstructured":"Seneta, E.: Non-Negative Matrices and Markov Chains. Springer Series in Statistics. Springer, New York (1981)"},{"key":"1_CR40","unstructured":"Siegel, A. Thuswaldner, J.M.: Topological properties of Rauzy fractals. M\u00e9m. Soc. Math. Fr. 118 (2009)"},{"key":"1_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1007\/978-3-642-38536-0_5"},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF01219774","volume":"10","author":"JN Tsitsiklis","year":"1997","unstructured":"Tsitsiklis, J.N., Blondel, J.N.: The Lyapunov exponent and joint spectral radius of pairs of matrices are hard\u2014when not impossible\u2014to compute and to approximate. Math. Control. Signals Syst. 10, 31\u201340 (1997)","journal-title":"Math. Control. Signals Syst."},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Yoccoz, J.-C.: Continued fraction algorithms for interval exchange maps: an introduction. In: Frontiers in Number Theory, Physics, and Geometry I, pp. 401\u2013435. Springer, Berlin (2006)","DOI":"10.1007\/978-3-540-31347-2_12"},{"key":"1_CR44","doi-asserted-by":"publisher","first-page":"1477","DOI":"10.1017\/S0143385797086215","volume":"17","author":"A Zorich","year":"1997","unstructured":"Zorich, A.: Deviation for interval exchange transformations. Ergod. Theory Dyn. Syst. 17, 1477\u20131499 (1997)","journal-title":"Ergod. Theory Dyn. Syst."}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61739-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,15]],"date-time":"2024-08-15T22:46:12Z","timestamp":1723761972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61739-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030617387","9783030617394"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61739-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"15 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reachability Problems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rp2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.irif.fr\/~rp2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}