Ослабленная проблема Бернсайда для многообразий полугрупп

Найден алгоритм, проверяющий по любой коночной системе полугрупповых тождеств, будет ли порядок каждой конечной полугруппы, удовлетворяющей этой системе тождеств, ограничен функцией (рекурсивной функцией) от числа порождающих.