论文信息 - RECOGNITION OF THE RANK OF EQUATIONS IN A FREE SEMIGROUP

RECOGNITION OF THE RANK OF EQUATIONS IN A FREE SEMIGROUP

An algorithm is constructed which calculates the rank of any coefficient-free equation in a free semigroup (coefficient-free word equation). Bibliography: 10 titles.

G S Makanin

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

[2] G S Makanin. On the Rank of Coefficientless Equations in Four Unknowns in a Free Semigroup , 1976 .

[3] Iu I Khmelevskiĭ. Equations in free semigroups , 1976 .

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