Пример 23
Содержание (FireFox,Safari)

Пример 23

Пусть к таблице простого автомата А1
А1=активен x=1

добавляются таблицы автоматов A2 и A3:
А2=активен x=2

и
А3=активен А1=активен А2=пассивен x=1
А3=активен А1=пассивен А2=активен x=3

Если эти записи рассматривать как конструкцию, то общее поведение, выраженное в записи совмесного эксперимента, становится "невозможным", поскольку неясно, какое значение (1 или 3) должна принимать переменная x в моменты активности А2.