Abstract
In this paper we examine Brzozowski’s conjecture for the two-generated free Burnside semigroup satisfying x 2 = x 3. The elements of this semigroup are classes of equivalent words, and the conjecture claims that all elements are regular languages. The case of the identity x 2 = x 3 is the only one, for which Brzozowski’s conjecture is neither proved nor disproved. We prove the conjecture for all the elements containing an overlap-free or an “almost” overlap-free word. In addition, we show that all but finitely many of these elements are “big” languages in terms of growth rate.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bakirov, M.F., Sukhanov, F.V.: Thue-Morse words and \(\mathcal D\)-structure of the free Burnside semigroup. Proc. Ural State Univ. Ser. Mathematics and Mechanics 18(3), 5–19 (2000) (Russian)
Brzozowski, J., Culik, K., Gabrielian, A.: Classification of non-counting events. J. Computer and System Sci. 5, 41–53 (1971)
Brzozowski, J.: Open problems about regular languages. In: Formal language theory: perspectives and open problems, pp. 23–47. Academic Press, New York (1980)
Green, J. A., Rees, D.: On semigroups in which x r = x. Proc. Cambridge Phil. Soc. 48, 35–40 (1952)
Guba, V.S.: The word problem for the relatively free semigroups satisfying t m = t m + n with m ≥ 4 or m ≥ 3, n = 1. Internat. J. Algebra Comput. 3(2), 125–140 (1993)
Guba, V.S.: The word problem for the relatively free semigroups satisfying t m = t m + n with m ≥ 3. Internat. J. Algebra Comput. 3(3), 335–348 (1993)
Kad’ourek, L., Polák, J.: On free semigroups satisfying x r ≃ x. Simon Stevin 64(1), 3–19 (1990)
do Lago, A.P.: On the Burnside semigroups x n = x n + m. Internat. J. Algebra Comput. 6(2), 179–227 (1996)
do Lago, A.P.: Maximal groups in free Burnside semigroups. In: Lucchesi, C.L., Moura, A.V. (eds.) LATIN 1998. LNCS, vol. 1380, pp. 70–81. Springer, Heidelberg (1998)
do Lago, A.P., Simon, I.: Free Burnside semigroups. RAIRO Theoret. Inform. Appl. 35(6), 579–595 (2001)
de Luca, A., Varricchio, S.: On non-counting regular classes. In: Proc. ICALP 1990. LNCS, vol. 443, pp. 74–87. Springer, Berlin (1990)
McCammond, J.: The solution to the word problem for the relatively free semigroups satisfying t a = t a + b with a ≥ 6. Internat. J. Algebra Comput. 1(1), 1–32 (1991)
Plyushchenko, A.N.: Overlap-free words and the two-generated free Burnside semigroup satisfying x 2 = x 3. Siberian Electron. Math. Rep. 6, 166–181 (2009)
Plyushchenko, A.N.: On the word problem for the free Burnside semigroups satisfying x 2 = x 3. Russian Math, Iz. Vuz. (2011) (submitted)
Plyushchenko, A.N., Shur, A.M.: Almost overlap-free words and the word problem for the free Burnside semigroup satisfying x 2 = x 3. In: Proceedings of WORDS 2007, Marseille, France, pp. 245–253 (2007)
Plyushchenko, A.N., Shur, A.M.: Almost overlap-free words and the word problem for the free Burnside semigroup satisfying x 2 = x 3. Internat. J. Algebra Comput. (submitted), http://arxiv.org/abs/1102.4315
Shur, A.M.: Overlap-free words and Thue-Morse sequences. Internat. J. Algebra Comput. 6(3), 353–367 (1996)
Thue, A.: Uber die gegenseitige Lage gleicher Teile gewisser Zeichentreihen. Norske Videnskabssellskabets Skrifter I Mat. Nat. Kl. 1, 1–67 (1912)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Plyushchenko, A.N., Shur, A.M. (2011). On Brzozowski’s Conjecture for the Free Burnside Semigroup Satisfying x 2 = x 3 . In: Mauri, G., Leporati, A. (eds) Developments in Language Theory. DLT 2011. Lecture Notes in Computer Science, vol 6795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22321-1_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-22321-1_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22320-4
Online ISBN: 978-3-642-22321-1
eBook Packages: Computer ScienceComputer Science (R0)