Каноническая реализация совокупностей морфизмов реакции для автоматов в категорияхстатья