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

(∀GУС
i ∈ B (G УС )) GУС
i = ∅, i ∈ I,
(∀G УС
i ∈ B(GУС )) (G УС
i ∈ GB ∨ GУС
i ∈ GBF ),
i∈I
G У C
i = G У C ,
(∀GУ C
i , G У C
i+1 ∈ B (GУС ))(XУС
i ∩ X УС
i+1 = ∅ & U УС
i ∩ U УС
i+1 =
= Ui,i+1 ∅ |Ui,i+1| = 1), i, i + 1 ∈ I,
(∀GУ C
i , G У C
j ∈ B (GУС ))(XУС
i ∩ X УС
j = ∅ & U УС
i ∩ U УС
i+1 = ∅),
i, j ∈ I, j = i ± 1,
или, другими словами
factork (GУ C ) = G0F .
Сформулированные полные наборы инвариантов базовых струк -
турных конструкций алгоритмов в виде характеристик их моделей —
кусков ориентированного графа — обеспечивают возможность ана-
лиза свойств и характеристик алгоритма, в том числе и обнаружения
неструктурностей и их структуризации. Выявленные свойства струк -
турного алгоритма и формальная постановка задачи структуризации
неструктурного являются основой для автоматизированного решения
задачи структуризации алгоритмов.
СПИСОК ЛИТЕРАТУРЫ
1. Д а л У., Д е й к с т р а Э., Х о о р К. Структурное программирование. – М.:
Мир, 1975.
2. Г л у ш к о в В. М. Теория автоматов и формальные преобразования программ
// Кибернетика. – 1965. – № 5. – C. 1–9.
3. Г л у ш к о в В. М., Ц е й т л и н Г. Е., Ю щ е н к о Е. Л. Алгебра. Языки .
Программирование. – Киев: Наукова думка, 1978. – С. 157–173.
4. A s h c r o f t E., M a n n a Z. The translation of GOTO Programs to WHILE Programs
// Proc. IFIP Congress 71, Lubljana, Yugoslavia, August 23–28, 1971. – Amsterdam:
North-Holland Publ. Co. – 1972. – V. 1. – № 1. – P. 250–255.
5. K o s a r a j u S. R. Analysis of Structured Programs // J. Computer and System Sci.
– 1974. – V. 9. – № 2. – P. 232–255.
6. K n u t h D. E., F l o y d R. W. Notes on avoiding GOTO statements // Inform.
Processing Letters. – 1971. – № 1. – P. 23–31.
7. M a r t i n J. L. Generalized structured programming // AFIPS Conf. Proc. – Chicago,
1974. – V. 43. – P. 665–669.
8. M i l l s H. D. Mathematical foundation for structured programming // IBM Tech.
Rep. 1972. FSC-72-6012. – P. 34.
9. P e t e r s o n W. W., K a s a m i T., T o k u r a N. On the capabilities of the WHILE,
REPEAT, and EXIT statements // Comm. ACM. – 1973. – V. 16. – № 8. – P. 503–512.
72 ISSN 0236-3933. ВестникМГТУ им . Н.Э. Баумана. Сер. “Приборостроение”. 2005. № 3