|
Шалыто, А. А. Преобразование итеративных алгоритмов в автоматные [Текст] / А. А. Шалыто, Н. И. Туккель // Программирование. – 2002. – № 5. – 12-26.
Показано, что схема произвольного итеративного алгоритма (программы) может быть реализована оператором do-while, телом которого является оператор switch, изоморфно реализующий граф переходов конечного автомата, построенный формально по указанной схеме |