| 
Формальная постановка задачи структуризации алгоритмов
| Авторы: Иванова Г.С. | Опубликовано: 03.05.2014 |
| Опубликовано в выпуске: #3(60)/2005 | |
| DOI: | |
| Раздел: Информатика и вычислительная техника | |
| Ключевые слова: | |
Проанализированы характеристические особенности структурных алгоритмических конструкций, предложены математические модели как самих конструкций, так и структурных алгоритмов в целом. Определено понятие факторизации фрагмента алгоритма и аксиоматика этой операции. Выявленные свойства структурного алгоритма и формальная постановка задачи структуризации неструктурного являются основой для автоматизированного решения задачи структуризации алгоритмов.
