Малые конечные лабиринты приводят к модели решения задачи, имитируемой конечными автоматами. Любая площадка лабиринта соответствует некоторому состоянию автомата, а коридоры — переходам автомата из состояния в состояние под воздействием входного сигнала и с учетом того состояния (той площадки лабиринта), где автомат сейчас находится. Входной сигнал имитирует те решения, которые принимает ЛПР при выборе коридора лабиринта. При этом ЛПР может создать систему управления объектом также в виде некоторого конечного (детерминированного или вероятностного) автомата. Подобная схема управления показана на рис. 1.3. [c.19]
Модель объекта в виде ДСС также была разработана в МЭИ в конце шестидесятых годов. С некоторыми свойствами ДСС, не отраженными в 2.7, можно познакомиться в работах [2.20 2.21]. Методы синтеза детерминированных конечных автоматов хорошо известны (см., например [2.22]). С синтезом вероятностных автоматов можно познакомиться по монографии [2.23]. [c.260]