Подробное описание документа

Статья

Иванова Г. С.
Формальная постановка задачи структуризации алгоритмов / Иванова Г. С. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2005. - № 3. - С. 64-73.

Читать онлайн

Скачать документ

Полнотекстовый документ

vestnikprib.bmstu.ru/catalog/it/hidden/370.html

https://vestnikprib.bmstu.ru/catalog/it/…

Аннотация

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

УДК
519.712 Кибернетические вопросы теории алгоритмов

Авторы МГТУ

Иванова Галина Сергеевна

Статья опубликована в следующих изданиях

с. 64-73

Журнал

Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - ISSN 0236-3933 (print). - ISSN 2687-0614 (web).
№ 3. - 2005.

подробнее