3. Семантика динамических систем
Чтобы использовать преимущества "формального" подхода, можно сразу представить схему взаимоотношений для далее рассматриваемых абстракций.
Технические системы - реально существующие и служащие основой абстракции здесь рассматриваемых динамических систем, среди которых будут подробно рассматриваться системы мгновенного действия (И-СЛЕДУЕТ системы и ЛИБО-СЛЕДУЕТ системы рассматриваются отдельно).
Однако, основное внимание будет сосредоточено на ещё более узком классе автоматов мгновенного действия, введение которых обусловлено необходимостью рассмотривать некие регулярные правила усложнения.
Но и этого оказывается мало, поскольку часть таких систем может при испытаниях приводить к очевидно абсурдному поведению - к ошибке.
Приходится поэтому определять ещё более узкий класс корректных автоматов мгновенного действия для которых уже будут строго определены формулы и соответствующая им семантика.
А описание произвольных автоматов мгновенного действия будет называться просто записью.
Проверку, является ли рассматриваемый автомат в том числе корректными осуществляет алгоритм синтеза.
Соответственно, и поведение строго определяется только для корректного автомата.
Именно (корректное!) поведение предполагает для разработчика работу с монотонно раширяющимися смыслами, формализованными здесь через характерные черты согласованной системы.