3.1. Системы мгновенного действия
Системы мгновенного действия - вид динамических систем, в основе абстракции которых также лежат их технические прообразы.
А значит, имеет место выделение конструкции и поведения, что требует обращения к внешнему окружению, главной составляющей которого являются внешние переменные и их значения.
Также предполагается, что к системе извне поступает сигнал активности (активен / пассивен), а вовне от неё может идти признак ошибки.
Главной составляющей собственно системы мгновенного действия являются её операторы, которые:
- образованы парами <собственная переменная, собственное значение>
-
при поступлении
сигнал активности проверяет на совпадение
значений собственной и
внешней переменной:
- если фиксируется совпадение, оператор его подтверждает
- если совпадения нет, оператор формирует признак ошибки
| Вход | Выход | |||
| активность | значения внешней переменной/собственное | подтверждение | ошибка | |
| + | совпадают | + | - | |
| + | НЕ совпадают | - | ERROR | |
| - | совпадают | - | - | |
| - | НЕ совпадают | - | - | |
Тем самым, с каждой системой ассоциируются непустые множества её собственных переменных и их значений, принадлежащих всем её операторам.
Оператору далее при определении формальной системы будет соответствовать атом.
Кроме того, с оператором неким внешним образом связан его идентификатор, уникальный для данной системы, что сделано для того, чтобы можно было говорить об общих операторах разных систем, участвующих, однако в одном эксперименте.
Пока здесь неопределёнными остаются способы распространения сигнал активности от внешнего окружения до операторов.
См. Пример ...