The word problem for a semi-Thue system is undecidable in general; this result is sometimes known as the Post-Markov theorem.
Проблема слів для системи semi-Thue в цілому нерозв'язна; цей результат іноді називають теоремою Пост-Маркова.