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

X>>Тут немного иначе нужно думать, немного другими абстракциями.
X>>Есть набор состояний, допустим S = { State1, State2, ... , StateN }
X>>Есть регистр (R), который содержит текущее состояние.
X>>На группу состояний S' — подгруппа S, или на одно любое состояние из S
X>>есть набор инструкций или одна инструкция.
X>>После завершения работы инструкций, выходим из обработки состояний или продолжаем работу.
X>>В принципе если представить такими абстракциями, то более понятно все будет.

__>и вы, серьезно, считаете это "естественной семантикой"

Смотря что считать естественной семантикой.
Если есть goto, label и switch case break default.
То наверно не стоит одно с другим мешать.

P.S. Х... тоже гвозди можно забивать, но никто этого не делает.