Научный руководитель темы – докт. техн. наук, профессор Шалыто А.А.
Отсюда можно скачать отчет в формате PDF (560 Kb)
Цель настоящего этапа работы является разработка технологии автоматного программирования применительно к вычислительным алгоритмам.
В работе используется вычислительная модель, расширяющая машину Тьюринга за счет использования структурного автомата вместо абстрактного и замены ленты произвольным множеством входных и выходных воздействий, реализуемых в виде функций (подпрограмм).
Предлагается метод преобразования итеративных программ в автоматные программы, который также может быть применен для преобразования неструктурированных схем алгоритмов в автоматные программы. Показано, что рассматриваемый метод обладает некоторыми достоинствами по сравнению с методом Ашкрофта-Манны. Метод иллюстрируется примерами.
Также предлагается метод преобразования программ с явной рекурсией в итеративные автоматные программы. Метод иллюстрируется на примерах классических задач, решаемых с применением рекурсий.
Отчет содержит 93 страницы, 50 рисунков, 20 источников литературы.