×

zbMATH — the first resource for mathematics

The problem of solvability of equations in a free semigroup. (English) Zbl 0396.20037

MSC:
20M05 Free semigroups, generators and relations, word problems
68W99 Algorithms in computer science
03B25 Decidability of theories and sets of sentences
PDF BibTeX XML Cite
Full Text: DOI