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

L>Вот на этом предлагаю прекратить дискуссию.
L>Все такие самоуверенные "как бы нет", наигравшись вдоволь со state explosion, рано или поздно соглашаются, что как бы да.

Как бы её можно было и не продолжать после того, как вы проигнорировали просьбу привести пример.

И я не сомневаюсь, что у вас длинее, но сомневаюсь, что вы помните работу Harel-а про statecharts.