Статья в сборнике "Математические вопросы кибернетики" №22, Москва, 2024
Авторы:Алешин С.В., Бабин Д.Н., Часовских А.А.
Автоматы: полнота, выразимость, применение
Аннотация:
Исследование выразительных свойств в классах дискретных управляющих систем стало важнейшим направлением развития российской школы кибернетики, одним из основателей которой является Сергей Всеволодович Яблонский. Особый интерес представляют классы широко применяемых, в частности, для моделирования интегральных схем, конечных автоматов. В работе приведен обзор результатов исследований выразительных свойств автоматов, полученных в рамках научной школы С.В. Яблонского и его единомышленников со времени ее основания.
Ключевые слова:
конечный автомат, полнота, выразимость, операции суперпозиции, операции композиции, замкнутый класс, предполный класс, критериальная система, линейный автомат
