Тождества Проблема

Алгоритмическая проблема распознавания равенства (тождества) слов в алгебраич. системе ( группе, подгруппе и др.) с заданной образующей и определяющими соотношениями.