A profinite approach to complete bifix decodings of recurrent languages

References

[1] J. Almeida, Finite Semigroups and Universal Algebra, Ser. Algebra 3, World Scientific, River Edge, 1994. 10.1142/2481Search in Google Scholar

[2] J. Almeida, Dynamics of finite semigroups, Semigroups, Algorithms, Automata and Languages, World Scientific, River Edge (2002), 269–292. 10.1142/9789812776884_0009Search in Google Scholar

[3] J. Almeida, Profinite semigroups and applications, Structural Theory of Automata, Semigroups, and Universal Algebra, NATO Sci. Ser. II Math. Phys. Chem. 207, Springer, Dordrecht (2005), 1–45. 10.1007/1-4020-3817-8_1Search in Google Scholar

[4] J. Almeida and A. Costa, Infinite-vertex free profinite semigroupoids and symbolic dynamics, J. Pure Appl. Algebra 213 (2009), no. 5, 605–631. 10.1016/j.jpaa.2008.08.009Search in Google Scholar

[5] J. Almeida and A. Costa, Presentations of Schützenberger groups of minimal subshifts, Israel J. Math. 196 (2013), no. 1, 1–31. 10.1007/s11856-012-0139-4Search in Google Scholar

[6] J. Almeida and A. Costa, A geometric interpretation of the Schützenberger group of a minimal subshift, Ark. Mat. 54 (2016), no. 2, 243–275. 10.1007/s11512-016-0233-7Search in Google Scholar

[7] J. Almeida, A. Costa, J. C. Costa and M. Zeitoun, The linear nature of pseudowords, Publ. Mat. 63 (2019), no. 2, 361–422. 10.5565/PUBLMAT6321901Search in Google Scholar

[8] J. Almeida, A. Costa, R. Kyriakoglou and D. Perrin, On the group of a rational maximal bifix code, Forum Math. 32 (2020), no. 3, 553–576. 10.1515/forum-2018-0270Search in Google Scholar

[9] J. Almeida, A. Costa, R. Kyriakoglou and D. Perrin, Profinite Semigroups and Symbolic Dynamics, Lecture Notes in Math. 2274, Springer, Cham, 2020. 10.1007/978-3-030-55215-2Search in Google Scholar

[10] J. Almeida and M. V. Volkov, Subword complexity of profinite words and subgroups of free profinite semigroups, Internat. J. Algebra Comput. 16 (2006), no. 2, 221–258. 10.1142/S0218196706002883Search in Google Scholar

[11] Z. Almeĭda, Profinite groups associated with weakly primitive substitutions (in Russian), Fundam. Prikl. Mat. 11 (2005), no. 3, 13–48; translation in J. Math. Sci 144 (2007), no. 2 3881–3903. Search in Google Scholar

[12] J. Berstel, C. De Felice, D. Perrin, C. Reutenauer and G. Rindone, Bifix codes and Sturmian words, J. Algebra 369 (2012), 146–202. 10.1016/j.jalgebra.2012.07.013Search in Google Scholar

[13] J. Berstel, D. Perrin and C. Reutenauer, Codes and Automata, Encyclopedia Math. Appl. 129, Cambridge University, Cambridge, 2010. 10.1017/CBO9781139195768Search in Google Scholar

[14] V. Berthé, C. De Felice, F. Dolce, J. Leroy, D. Perrin, C. Reutenauer and G. Rindone, Acyclic, connected and tree sets, Monatsh. Math. 176 (2015), no. 4, 521–550. 10.1007/s00605-014-0721-4Search in Google Scholar

[15] V. Berthé, C. De Felice, F. Dolce, J. Leroy, D. Perrin, C. Reutenauer and G. Rindone, Maximal bifix decoding, Discrete Math. 338 (2015), no. 5, 725–742. 10.1016/j.disc.2014.12.010Search in Google Scholar

[16] V. Berthé, C. De Felice, F. Dolce, J. Leroy, D. Perrin, C. Reutenauer and G. Rindone, The finite index basis property, J. Pure Appl. Algebra 219 (2015), no. 7, 2521–2537. 10.1016/j.jpaa.2014.09.014Search in Google Scholar

[17] R. Bowen and J. Franks, Homology for zero-dimensional nonwandering sets, Ann. of Math. (2) 106 (1977), no. 1, 73–92. 10.2307/1971159Search in Google Scholar

[18] M. Boyle, Algebraic aspects of symbolic dynamics, Topics in Symbolic Dynamics and Applications (Temuco 1997), London Math. Soc. Lecture Note Ser. 279, Cambridge University, Cambridge (2000), 57–88. 10.1017/CBO9780511758959.004Search in Google Scholar

[19] M. Boyle, Positive K-theory and symbolic dynamics, Dynamics and Randomness (Santiago 2000), Nonlinear Phenom. Complex Systems 7, Kluwer Academic, Dordrecht (2002), 31–52. 10.1007/978-94-010-0345-2_2Search in Google Scholar

[20] M. Boyle, Personal communication, 2022. Search in Google Scholar

[21] A. Costa, Conjugacy invariants of subshifts: An approach from profinite semigroup theory, Internat. J. Algebra Comput. 16 (2006), no. 4, 629–655. 10.1142/S0218196706003232Search in Google Scholar

[22] A. Costa and B. Steinberg, Profinite groups associated to sofic shifts are free, Proc. Lond. Math. Soc. (3) 102 (2011), no. 2, 341–369. 10.1112/plms/pdq024Search in Google Scholar

[23] A. Costa and B. Steinberg, The Karoubi envelope of the mirage of a subshift, Comm. Algebra 49 (2021), no. 11, 4820–4856. 10.1080/00927872.2021.1931263Search in Google Scholar

[24] N. P. Fogg, Substitutions in Dynamics, Arithmetics and Combinatorics, Lecture Notes in Math. 1794, Springer, Berlin, 2002. 10.1007/b13861Search in Google Scholar

[25] J. Franks, Flow equivalence of subshifts of finite type, Ergodic Theory Dynam. Systems 4 (1984), no. 1, 53–66. 10.1017/S0143385700002261Search in Google Scholar

[26] H. Goulet-Ouellet, Freeness of Schützenberger groups of primitive substitutions, Internat. J. Algebra Comput. 32 (2022), no. 6, 1101–1123. 10.1142/S0218196722500473Search in Google Scholar

[27] H. Goulet-Ouellet, Pronilpotent quotients associated with primitive substitutions, J. Algebra 606 (2022), 341–370. 10.1016/j.jalgebra.2022.05.021Search in Google Scholar

[28] K. Henckell, J. Rhodes and B. Steinberg, A profinite approach to stable pairs, Internat. J. Algebra Comput. 20 (2010), no. 2, 269–285. 10.1142/S0218196710005650Search in Google Scholar

[29] R. P. Hunter, Some remarks on subgroups defined by the Bohr compactification, Semigroup Forum 26 (1983), no. 1–2, 125–137. 10.1007/BF02572826Search in Google Scholar

[30] K. H. Kim and F. W. Roush, Williams’s conjecture is false for reducible subshifts, J. Amer. Math. Soc. 5 (1992), no. 1, 213–215. 10.1090/S0894-0347-1992-1130528-4Search in Google Scholar

[31] K. H. Kim and F. W. Roush, The Williams conjecture is false for irreducible subshifts, Ann. of Math. (2) 149 (1999), no. 2, 545–558. 10.2307/120975Search in Google Scholar

[32] R. Kyriakoglou and D. Perrin, Profinite semigroups, preprint (2017), https://arxiv.org/abs/1703.10088. Search in Google Scholar

[33] D. Lind and B. Marcus, An Introduction to Symbolic Dynamics and Coding, Cambridge University, Cambridge, 1995. 10.1017/CBO9780511626302Search in Google Scholar

[34] S. Margolis, M. Sapir and P. Weil, Irreducibility of certain pseudovarieties, Comm. Algebra 26 (1998), no. 3, 779–792. 10.1080/00927879808826163Search in Google Scholar

[35] B. Parry and D. Sullivan, A topological invariant of flows on 1-dimensional spaces, Topology 14 (1975), no. 4, 297–299. 10.1016/0040-9383(75)90012-9Search in Google Scholar

[36] D. Perrin, Groups, languages and dendric shifts, Developments in Language Theory, Lecture Notes in Comput. Sci. 11088, Springer, Cham (2018), 60–73. 10.1007/978-3-319-98654-8_5Search in Google Scholar

[37] J. Rhodes and B. Steinberg, Closed subgroups of free profinite monoids are projective profinite groups, Bull. Lond. Math. Soc. 40 (2008), no. 3, 375–383. 10.1112/blms/bdn017Search in Google Scholar

[38] J. Rhodes and B. Steinberg, The q-Theory of Finite Semigroups, Springer Monogr. Math., Springer, New York, 2009. 10.1007/b104443Search in Google Scholar

[39] L. Ribes and P. Zalesskii, Profinite Groups, 2nd ed., Ergeb. Math. Grenzgeb. (3) 40, Springer, Berlin, 2010. 10.1007/978-3-642-01642-4Search in Google Scholar

[40] R. F. Williams, Classification of subshifts of finite type, Ann. of Math. (2) 98 (1973), 120–153; errata, Ann. of Math. (2) 99 (1974), 380–381. Search in Google Scholar