Hostname: page-component-7b7567c8c-2n9c9 Total loading time: 0 Render date: 2026-11-15T10:44:38.888Z 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 u ≈ v over a freemonoid X*, we reduce it by a suitable family $\cal F$ of substitutionsto a family of equations uf ≈ vf, $f\in\cal F$ , each involving lessvariables than u ≈ v, and then combine solutions of uf ≈ vfinto solutions of u ≈ v. 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 tou ≈ v. 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