Hostname: page-component-cb9f654ff-kl2l2 Total loading time: 0 Render date: 2025-08-23T14:20:19.227Z Has data issue: false hasContentIssue false

Towards parametrizing word equations

Published online by Cambridge University Press:  15 April 2002

H. Abdulrab
Affiliation:
LIR/INSA de Rouen, BP. 08, 76131 Mont-Saint-Aignan Cedex, France.
P. Goralčík
Affiliation:
LIFAR, Université de Rouen, place E. Blondel, 76821 Mont-Saint-Aignan Cedex, France.
G. S. Makanin
Affiliation:
Steklov Mathematical Institute, Vavilova 42, 117966 Moscow GSP-1, Russia.
Get access

Abstract

Classically, in order to resolve an equation uv over a freemonoid X*, we reduce it by a suitable family $\cal F$ of substitutionsto a family of equations ufvf, $f\in\cal F$ , each involving lessvariables than uv, and then combine solutions of ufvfinto solutions of uv. The problem is to get $\cal F$ in a handyparametrized form. The method we propose consists in parametrizing thepath traces in the so called graph of prime equations associated touv. We carry out such a parametrization in the case the primeequations in the graph involve at most three variables.

Information

Type
Research Article
Copyright
© EDP Sciences, 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Jaffar, J., Minimal and Complete Word Unification. J. ACM 37 (1990) 47-85. CrossRef
Yu.I. Hmelevskii, Equations in free semigroups. Trudy Mat. Inst. Steklova 107 (1971); English Translation in Proc. Steklov Inst. Math. 107 (1971) 1976.
A. Lentin, Équations dans les monoïdes libres. Gautier-Villars, Paris (1972).
M. Lothaire, Combinatorics on Words. Addison-Wesley (1983).
G.S. Makanin, The problem of solvability of equations in a free semigroup. Mat. Sbornik 103 (1977) 147-236 (in Russian); English Translation in Math. USSR Sbornik 32 (1977) 128-198.
G.S. Makanin, On general solution of equations in free semigroups, in Proc. of IWWERT'91, edited by H. Abdulrab and J.P. Pécuchet. Springer, Lecture Notes in Comput. Sci. 677 , 1-5.
Plotkin, G., Building-in Equational Theories. Machine intelligence 7 (1972) 73-90.