The problem of solvability of equations in a free semigroup
Abstract
In this paper we construct an algorithm recognizing the solvability of arbitrary equations in a free semigroup. Bibliography: 4 titles.
Submission history
[v1] 1977