Abstract
The triangle conjecture states that codes formed by words of the form \(a^i b a^j\) are either commutatively equivalent to a prefix code or not included in a finite maximal code. Thanks to computer exploration, we exhibit new examples of such non-commutatively prefix codes. In particular, we improve a lower bound in a bounding due to Shor and Hansel. We discuss in the rest of the article the possibility of those codes to be included in a finite maximal code.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Berstel, J., Perrin, D., Reutenauer, C.: Codes and Automata, vol. 129. Cambridge University Press, Cambridge (2010)
De Felice, C.: A note on the factorization conjecture. Acta Informatica 50(7–8), 381–402 (2013)
Hansel, G.: Baionnettes et cardinaux. Discrete Math. 39(3), 331–335 (1982)
Perrin, D., Schützenberger, M.-P.: Codes et sous-monoïdes possédant des mots neutres. In: Theoretical Computer Science. LNCS, vol. 48, pp. 270–281. Springer, Heidelberg (1977). https://doi.org/10.1007/3-540-08138-0_23
Restivo, A., Salemi, S., Sportelli, T.: Completing codes. RAIRO-Theoret. Inf. Appl. 23(2), 135–147 (1989)
Sands, A.D.: Replacement of factors by subgroups in the factorization of abelian groups. Bull. Lond. Math. Soc. 32(3), 297–304 (2000)
Sardinas, A.A., Patterson, G.W.: A necessary and sufficient condition for unique decomposition of coded messages. In: Proceedings of the Institute of Radio Engineers, vol. 41, no. 3, pp. 425–425 (1953)
Shor, P.W.: A counterexample to the triangle conjecture. J. Comb. Theory Ser. A 38(1), 110–112 (1985)
Zhang, L., Shum, K.P.: Finite maximal codes and triangle conjecture. Discrete Math. 340(3), 541–549 (2017)
Acknowledgements
The author wants to thank Dominique Perrin for introducing him to the commutatively prefix conjecture, also his Ph.D. supervisors Samuele Giraudo and Jean-Christophe Novelli.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Cordero, C. (2019). A Note with Computer Exploration on the Triangle Conjecture. In: Martín-Vide, C., Okhotin, A., Shapira, D. (eds) Language and Automata Theory and Applications. LATA 2019. Lecture Notes in Computer Science(), vol 11417. Springer, Cham. https://doi.org/10.1007/978-3-030-13435-8_30
Download citation
DOI: https://doi.org/10.1007/978-3-030-13435-8_30
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-13434-1
Online ISBN: 978-3-030-13435-8
eBook Packages: Computer ScienceComputer Science (R0)