Конечно-определенные полугруппы и алгоритмыдиссертация