Теорема о структурированной программе
-
Доказательство Бема-Якопини
- Доказательство, что любая программа может быть преобразована в структурированную программу без добавления дополнительных переменных.
- Основано на теории графов потока управления и применимо к любому языку программирования.
-
Применение и критика
- Используется для доказательства возможности преобразования неструктурированных программ в структурированные.
- Вызвало дискуссии о целесообразности структурированного программирования и привело к пуристскому подходу.
- Некоторые ученые считают, что структурированное программирование должно быть основным подходом с самого начала.
-
Проблемы и уточнения
- Прямое применение теоремы может привести к введению дополнительных переменных и дублированию кода.
- Существуют методы устранения goto из программ, но они не всегда сохраняют структуру исходной программы.
-
Применение к Cobol
- IBM разработала инструмент для структурирования кода COBOL, основанный на алгоритме Бема-Якопини.
- Инструмент включает этапы определения блоков, присвоения меток входа и выхода, использования 0 для возврата и 1 для входа.
-
Дальнейшее чтение
- Статья не содержит списка дальнейшего чтения, но предлагает читателям самостоятельно изучить дополнительные материалы.
Полный текст статьи: