Объект исследования: вычислимые нильпотентные группы и классы полиномиально ограниченной иерархии языков. Найдены критерии конструктивизируемости и позитивной определенности нильпотентной R[p]-группы без кручения ступени 2. Установлено, что задача о выполнимости является полной по Куку среди задач, входящих в полиномиально ограниченную иерархию.