Построение и исследование полугруппы конечного автомата PRIтезисы доклада