Thus semi-Thue systems constitute a natural framework for solving the word problem for monoids and groups.
Таким чином, системи Thue є природною основою для вирішення проблеми слів для моноїдів та груп.