Ответ: Как я понимаю, программа на таком языке не будет являться линейным описанием алгоритма как на Си когда операторы выполняются в том же порядке как написано в программе...Наверное потребуется какая-то более специфическая форма представления, упрощающая описание машины состояний