Abstract
We introduce the notion of equation on trees, generalizing the corresponding notion for words, and we develop the first steps of a theory of tree equations. The main result of the paper states that, if a pair of trees is the solution of a tree equation with two indeterminates, then the two trees are both powers of the same tree. As an application, we show that a tree can be expressed in a unique way as a power of a primitive tree. This extends a basic result of combinatorics on words to trees. Some open problems are finally proposed.
Preview
Unable to display preview. Download preview PDF.
References
S. Eilenberg. Automata, Languages and Machines. Vol. A, Academic Press, 1974.
C. C. Elgot, S. L. Bloom, R. Tindell. “On the algebraic structure of rooted trees”. J. Comput. System Sci. 16, pagg. 362–399, 1978.
D. Giammarresi, S. Mantaci, F. Mignosi, A. Restivo. “Periodicities on trees”. Preprint, 1995.
D. Giammarresi, S. Mantaci, F. Mignosi, A. Restivo. “A periodicity theorem for trees”. Proc. 13th World Computer Congress — IFIP '94, Amburgo, Germania, 1994; vol. A-51 pagg. 473–478. Elsevier Science B. V. (North-Holland), 1994.
J. Jaffar. “Minimal and complete word unification”. J. ACM vol. 37; pagg. 47–85, 1990.
A. Lentin, M. P. Schützenberger. “A combinatorial problem in the theory of free monoids”. Proc. of the University of North Carolina; pagg. 67–85, 1967.
M. Lothaire. Combinatorics on Words. Addison-Wesley, Reading, MA 1983.
R. C. Lyndon, M. P. Schützenberger. “The equation a m=b n c p in a free group”. Michigan Math. J. vol. 9; pagg. 289–298, 1962.
G. S. Makanin. “The problem of solvability of equations in a free semigroup”. Math, USSR Sbornik vol. 32; pagg. 129–198, 1977. (in AMS, 1979).
M. Nivat. “Binary tree codes”. Tree automata and languages; pagg. 1–19 Elsevier Science Publishers B. V. (North-Holland), 1992.
J. Thatcher. “Tree automata,an informal survey” in A. Aho (ed.), Currents in the theory of computing, Pretence Hall, 1973.
W. Thomas. “Logical aspects in the theory of tree languages” in B. Courcelle (ed.), Proceedings ninth colloquium on Trees in Algebra and Programming, Cambridge University Press, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mantaci, S., Restivo, A. (1996). Equations on trees. In: Penczek, W., Szałas, A. (eds) Mathematical Foundations of Computer Science 1996. MFCS 1996. Lecture Notes in Computer Science, vol 1113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61550-4_169
Download citation
DOI: https://doi.org/10.1007/3-540-61550-4_169
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61550-7
Online ISBN: 978-3-540-70597-0
eBook Packages: Springer Book Archive