Получены необходимые и достаточные условия для вербальной и экзистенциальной замкнутости подгруппы свободной нильпотентной группы конечного ранга и вычислимости нильпотентных групп конечных размерностей и подгрупп группы унитреугольных матриц. Установлено существование главной вычислимой нумерации класса всех вычислимых нильпотентных групп конечных размерностей. Получены нижние оценки на временную сложность распознавания всей теории булевых алгебр, так и ее фрагмента. Изучены младшие классы полиномиально-ограниченной иерархии языков. Доказано, что число классов Р-иерархии языков конечно. Установлено совпадение классов языков, распознаваемых за экспоненциальное время, с классом языков, распознаваемых с полиномиальной памятью. Усовершенствован полиномиальный алгоритм Визинга-Назарца для классификации вершин простого связного графа, разбивающий множество его вершин на орбиты, при условии, что граф удовлетворяет определенным требованиям.*