Морфизмы реакции для автоматов в категорияхдиссертация