> -- Евгений Темиргалеев писал(а):
> У Вас, имхо, тот же автомат, только закодирован не по стандартному шаблону... И не определено значение охраны цикла в первый раз.
Значение охраны, да, неопределено. Надо бы определить. Просто исходный текст такой: Error и stop - глобальные переменные, неизвестно как они инициализируются и кто их изменяет. Там и переменная RA не инициализирована.
Что касается автомата, то он тут не причем, хотя можете его разглядеть при желании.
Всё дело в том, что никто не сформулировал инвариант цикла. В моём решении он такой (неформально, естественно): есть указатель на команду, который задан переменными RA и first. Инвариант: команды от начала последовательности до указателя выполнены.