Любая группа G может быть задана с помощью порождающих элементов и соотношений между ними. При этом основным оказывается вопрос о существовании алгоритма для распознавания, представляют ли два слова от порождающих один и тот же элемент в G или нет. В статье приведены примеры, сформулирована проблема и описаны недавние результаты исследований сложности проблемы слов для групп
