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

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

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

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

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

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

естественная — та, что естественна для человека, читающего программу. если написано if(a > 0) then print("positive integer"), то даже человек, первый раз читающий эту конструкцию, догадается о ее семантике. теперь проделайте то же самое со switch/case — угу.