Личный кабинет
Подробное описание документа
Статья в журнале
Иванова Г. С.
Формальная постановка задачи структуризации алгоритмов / Иванова Г. С. // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2005. - № 3. -
Проанализированы характеристические особенности структурных алгоритмических конструкций, предложены математические модели как самих конструкций, так и структурных алгоритмов в целом. Определено понятие факторизации фрагмента алгоритма и аксиоматика этой операции. Выявленные свойства структурного алгоритма и формальная постановка задачи структуризации неструктурного являются основой для автоматизированного решения задачи структуризации алгоритмов.
