Abstract
Although it is decidable whether or not a word equation is satisfiable, due to Makanin’s results, the structure of all solutions in general is difficult to describe. In particular, it was proved by Hmelevskii that the solutions of xyz=zvx cannot be finitely parametrized, contrary to the case of equations in three unknowns. In this paper we give a short, elementary proof of Hmelevkii’s result. We also give a simple, necessary, non-sufficient condition for an equation to be non-parametrizable.
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
Choffrut, C.: Equations in Words. In: Lothaire, M. Combinatorics on words, ch. 9. Encyclopedia of Mathematics and its applications, vol. 17, Addison-Wesley Publishing Co., Reading (1983)
Diekert, V.: Makanin’s algorithm. In: Lothaire, M. (ed.) Algebraic combinatorics on words, ch. 12. Encyclopedia of Mathematics and its applications, vol. 90, Cambridge University Press, Cambridge (2002)
Hmelevskii, J.I.: Equations in free semigroups. Translated by G. A. Kandall from the Russian original: Trudy Mat. Inst. Steklov. 107, 1–270 (1971) American Mathematical Society, Providence, R.I. (1976)
Karhumäki, J.: On cube-free ω-words generated by binary morphisms. Discrete Appl. Math. 5, 279–297 (1983)
Lentin, A.: Equations in free monoids. In: Nivat, M. (ed.) Automata, languages and programming, pp. 67–85 (1972)
Lothaire, M.: Combinatorics on words. Encyclopedia of Mathematics and its applications, vol. 17, Addison-Wesley Publishing Co, Reading (1983)
Lothaire, M.: Algebraic combinatorics on words. Encyclopedia of Mathematics and its applications, vol. 90. Cambridge University Press, Cambridge (2002)
Markov, A.A.: The theory of algorithms. Trudy Math. Inst. Steklov 42 (1954)
Makanin, G.S.: The problem of solvability of equations in a free semigroup. Math, USSR Sbornik 32, 129–198 (1977)
Makanin, G.S.: Equations in a free group. Izv. Akad. Nauk SSSR Ser. Mat. 46, 1199–1273 (1982) In Russian. English translation in: Math. USSR-Izv. 21, 483–546 (1983)
Makanin, G.S.: Decidability of the universal and positive theories of a free group. Izv. Akad. Nauk SSSR Ser. Mat. 48, 735–749 (1984) (in Russian), English translation in: Math. USSR-Izv. 25, 75–88 (1985)
Mignosi, F., Pirillo, G.: Repetitions in the Fibonacci infinite word. RAIRO Inform. Theor. Appl. 26, 199–204 (1992)
Plandowski, W.: Satisfiability of word equations with constants is in NEXPTIME. In: Annual ACM Symposium on Theory of Computing, pp. 721–725. ACM, New York (1999)
Plandowski, W.: Satisfiability of word equations with constants is in PSPACE. In: 40th Annual Symposium on Foundations of Computer Science, pp. 495–500. IEEE Computer Soc., Los Alamitos (1999) Final version in JACM (to appear)
Plotkin, G.: Building in equational theories. Machine Intelligence 7, 73–90 (1972)
Razborov, A.A.: On systems of equations in a free group. Izv. Akad. Nauk SSSR Ser. Mat. 48, 779–832 (1984) (in Russian), English translation in: Math. USSR-Izv. 25, 115–162 (1985)
Weinbaum, C.M.: Word equation ABC = CDA, B ≠ D. Pacific J. Math. 213(1), 157–162 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petre, E. (2004). An Elementary Proof for the Non-parametrizability of the Equation xyz=zvx . In: Fiala, J., Koubek, V., Kratochvíl, J. (eds) Mathematical Foundations of Computer Science 2004. MFCS 2004. Lecture Notes in Computer Science, vol 3153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-28629-5_63
Download citation
DOI: https://doi.org/10.1007/978-3-540-28629-5_63
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22823-3
Online ISBN: 978-3-540-28629-5
eBook Packages: Springer Book Archive