论文信息 - On Word Equations and Makanin's Algorithm - 字舞流文

On Word Equations and Makanin's Algorithm

We give a short survey of major results and algorithms in the field of solving word equations, and describe the central algorithm of Makanin.

Habib Abdulrab | Jean-Pierre Pécuchet

[1] François Fages,et al. Complete Sets of Unifiers and Matchers in Equational Theories , 1983, CAAP.

[2] G. Makanin. The Problem of Solvability of Equations in a Free Semigroup , 1977 .

[3] Michael H. Albert,et al. A Proof of Ehrenfeucht's Conjecture , 1985, Theor. Comput. Sci..

[4] G. Makanin. EQUATIONS IN A FREE GROUP , 1983 .

[5] Habib Abdulrab. Résolution d'équations sur les mots : étude et implémentation Lisp de l'algorithme de Makanin , 1987 .

[6] C. Kirchner. From Unification in Combination of Equational Theories to a New AC-Unification Algorithm , 1989 .

[7] Habib Abdulrab. Solving word equations , 1990, RAIRO Theor. Informatics Appl..

[8] A. Lentin. Équations dans les monoïdes libres , 1972 .