УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Отчет по теме: "Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода". Этап 3. "Применение автоматного подхода для программной реализации вычислительных алгоритмов"

Научный руководитель темы – докт. техн. наук, профессор Шалыто А.А.

Отсюда можно скачать отчет в формате PDF (560 Kb)

Цель настоящего этапа работы является разработка технологии автоматного программирования применительно к вычислительным алгоритмам.

В работе используется вычислительная модель, расширяющая машину Тьюринга за счет использования структурного автомата вместо абстрактного и замены ленты произвольным множеством входных и выходных воздействий, реализуемых в виде функций (подпрограмм).

Предлагается метод преобразования итеративных программ в автоматные программы, который также может быть применен для преобразования неструктурированных схем алгоритмов в автоматные программы. Показано, что рассматриваемый метод обладает некоторыми достоинствами по сравнению с методом Ашкрофта-Манны. Метод иллюстрируется примерами.

Также предлагается метод преобразования программ с явной рекурсией в итеративные автоматные программы. Метод иллюстрируется на примерах классических задач, решаемых с применением рекурсий.

Отчет содержит 93 страницы, 50 рисунков, 20 источников литературы.