Формальная постановка задачи структуризации алгоритмов - page 1

СПИСОК ЛИТЕРАТУРЫ
1. Г о л ь д е н б е р г Л . М. Цифровая обработка сигналов / Л. М. Гольденберг,
Б.Д. Матюшкин, М.Н . Поляк. – М.: Радио и связь, 1985.
2. T h e S c i e n t i s t and Engineer’s Guide to Digital Signal Processing.
Second Edition / Ed. by S. W. Smith. – California Technical Publishing, 1999.
http://www.dspguide.com/
.
3. B l a h u t R. E. Fast algorithms for digital signal processing / R.E. Blahut. – Addison-
Wesley, 1985.
4. N u m e r i c a l Recipes in C. The Art of Scientific Computing. Second Edition /
W.H. Press, S.A. Teukolsky, W.T. Vetterling, B.P. Flannery. – Cambridge University
Press, 1988.http://www.library.cornell.edu/nr/
.
5. A r n d t, J. Algorithms for programmers: ideas and source code. – 2002.
http://www.jjj.de/ .
Статья поступила в редакцию 5.07.2005
УДК 681.3:519.6
Г. С. И в а н о в а
ФОРМАЛЬНАЯ ПОСТАНОВКА ЗАДАЧИ
СТРУКТУРИЗАЦИИ АЛГОРИТМОВ
Проанализированы характеристические особенности структурных
алгоритмических конструкций, предложены математические мо-
дели как самих конструкций, так и структурных алгоритмов в це-
лом . Определено понятие факторизации фрагмента алгоритма и
аксиоматика этой операции. Выявленные свойства структурного
алгоритма и формальная постановка задачи структуризации не-
структурного являются основой для автоматизированного реше-
ния задачи структуризации алгоритмов.
Одним из принципов построения технологичных программ счи -
тается структурное программирование [1], которое предполагает при
разработке программ на универсальных процедурных языках высоко-
го уровня использование только так называемых “структурных” кон-
струкций . К структурным относят три основные конструкции: сле-
дование, ветвление и цикл с условием на входе (“ цикл-пока”), и три
дополнительные: выбор, цикл с заданным количеством повторений
(“ счетный”) и цикл с условием на выходе (“цикл-до”). Из накоплен-
ного кнастоящему времени опыта структурного программирования
следует, что технологичность программ, составленных с использова-
нием только этих структур, гораздо выше, чем в том случае, когда
разработчикиспользует неструктурное программирование . Это связа-
но с тем , что структурные программы легче анализировать, они со-
держат меньше ошибок, проще тестируются и отлаживаются. Однако
64 ISSN 0236-3933. ВестникМГТУ им . Н.Э. Баумана. Сер. “Приборостроение”. 2005. № 3