Здравствуйте, Холодный, Вы писали:

Х>Работа предложенной машины можно представить алгоритмом только по выполнению какой-то ветки где порядок определен последовательностью подписок событий оказавшимися истинными по факту выполнения.

Собятия/подписка и т.д. — это уже более высокоуровневые сущности архитектурного плана, не обязательно было называть их именно так, ведь раздача ролей в некотором роде сужает область оперирования.

В основе лежит тот или иной метод абстракции подпрограмм+данных, плюс доступ к этим абстракциям через какой-нибудь способ ассоциации (в ООП через адрес объекта, в ФП через пару — {указатель_на_функцию, указатель_на_захваченные_данные}.

Я уже когда-то на пальцах пытался объяснить тебе же, что именно ты предлагаешь.
Рядом повторная попытка:
http://www.rsdn.org/forum/philosophy/8325045.1