Abstract
This paper presents an introduction to Makanin's Algorithm, and discusses its potential role in the core of a programming system. The basic notions and steps are described via some examples. Some simplifications and improvements to this algorithm leading to an effective implementation are described. Particular attention is paid to the description of the elimination of equations with schemes which have no solution, the strategy of the construction of the algorithm's tree, the representation of position equations, and the resolution of systems of linear diophantine equations (SLDE). This last problem is presented here as a direct application of Gomory's algorithm finding integer solutions to SLDE. Our implementation of Makanin's algorithm presents an interactive system written in LISP and running on LISP Machine, and on VAX.
This work was also supported by the Greco de Programmation du CNRS and the PRC Programmation Avancée et Outils pour l'Intelligence Artificielle.
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), University of Rouen (1987). And Rapport LITP 87-25, University of Paris-7 (1987).
H. Abdulrab: Equations in Words. RAIRO d'Informatique Théorique, vol. 24, n. 2, p. 109–130 (1990).
H. Abdulrab: On the normalization lemma of Makanin's Algorithm. Research Rapport, LIR (1990).
H. Abdulrab, J-P. Pécuchet: Solving Word Equations, Journal of Symbolic Computation,(1989) 8, 499–521.
A. Colmeraur: Une Introduction à PROLOG-3. Faculté des sciences de Luminy, Marseille. Juillet (1987).
F. Fages, G. Huet: Complete Sets of Unifiers and Matchers 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 (1963).
Yu. I. Hmelevskii: Equations in Free Semigroups. Trudy Mat. In st. Steklov, 107, (1971).
T. Ito, T. Yuasa: Some Non-Standard Issues on LISP Standardization. International workshop on LISP evolution and standardization. AFCET, Paris (1988).
G.S. Makanin: The Problem of Solvability of Equations in a Free Semigroup. Mat. Sb. 103(145) (1977) p. 147–236 English transl. in Math. USSR Sb. 32 (1977).
M. Minoux: Programmation Mathmatique: Thorie et Algorithmes, Dunod, (1983). Mat. Sb. 103(145) (1977) p. 147–236 English transl. in Math. USSR Sb. 32 (1977).
J.P. Pécuchet: Équations Avec Constantes et Algorithme de Makanin. (Thèse), University of Rouen, (1981).
A. Robinson: A Machine-Oriented Logic Based on The Resolution Principle. Journal of the ACM, 12 decembre (1965).
F. Rouaix: Une Impleméntation de l'Algorithme de Makanin en CAML. Mémoire de DEA d'Informatique, University of Paris-7, (1987).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abdulrab, H. (1992). Implementation of Makanin's Algorithm. In: Schulz, K.U. (eds) Word Equations and Related Topics. IWWERT 1990. Lecture Notes in Computer Science, vol 572. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55124-7_3
Download citation
DOI: https://doi.org/10.1007/3-540-55124-7_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55124-9
Online ISBN: 978-3-540-46737-3
eBook Packages: Springer Book Archive