Abstract
Makanin's algorithm [9], [3] decides whether an equation in words has a solution or not. The aim of this paper is to describe some new results in the field of solving equations in words.
E.m: mcvax!inria!geocub!abdulrab
Preview
Unable to display preview. Download preview PDF.
References
H. ABDULRAB: Résolution d'équations sur les mots: étude et implémentation LISP de l'algorithme de Makanin. (Thèse), Université de Rouen 1987. Et Rapport LITP 87-25, mai 1987.
H. ABDULRAB: Implementation of Makanin's algorithm. Rapport LITP 87-72, Octobre 1987.
H. ABDULRAB, J-P. PÉCUCHET: Solving word equation, to appear in special issue of Journal of Symbolic Computation.
F. FAGES, G. HUET: Complete sets of unifiers and matcher in equational theories, Theoretical Computer Science, 43, 1986, p. 189–200.
W. M. FARMER: A Unification Algorithm for Second-order Monadic Terms, The Mitre Corporation, Bedford, Massachusettes, 10, 1986.
R.E. GOMORY: An algorithm for integer solutions to linear programs, Recent advances in mathematical programming, Eds R.L Graves et P. Wolfe. p. 269–302.
A. LENTIN: Équations dans les monoides libres. — Gauthier-Villars, Paris, 1972.
M. LOTHAIRE: Combinatorics on Words. — Addison-Wesley Publishing Company, 1983.
G.S. MAKANIN: The problem of solvability of equations in a free semigroup Mat. Sb. 103(145) (1977) 147–236 English transl. in Math. USSR Sb. 32 (1979).
J.P. PÉCUCHET: Équations avec constantes et algorithme de Makanin (Thèse), Université de Rouen, 1981.
J.P. PÉCUCHET: Solutions principales et rang d'un système d'équations avec constantes dans le monoide libre, Discrete Mathematics, 48, 1984, p. 253–274.
D. PERRIN: Equations in words. — A survey, (to appear), 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abdulrab, H. (1989). Equations in words. In: Gianni, P. (eds) Symbolic and Algebraic Computation. ISSAC 1988. Lecture Notes in Computer Science, vol 358. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51084-2_49
Download citation
DOI: https://doi.org/10.1007/3-540-51084-2_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51084-0
Online ISBN: 978-3-540-46153-1
eBook Packages: Springer Book Archive