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