4) Формальная система - конечное множество принятых по соглашению символов, называемых
формулами и термами (выражения), и конечное число точных правил оперирования этими символами, которые дают возможность образовать из символов некоторые комбинации.
Рассмотрим одно из формальных представлений систем управления. Для этого введем понятие формальной модели.
Назовем формальной моделью:
Компоненты формальной модели имеют следующий смысл:
М - множество элементов модели, соответствующих элементам предметной области, называемое носителем модели
P1,P2,..Pn - предикаты, отображающие наличие того или иного отношения между элементами предметной области.