Непейвода Н.Н. Программирование. Раздел 1

Непейвода Н.Н. Программирование. Страница 111

Подзадачи могут обмениваться данными только с помощью обращения к объектам из общей части их информационных пространств.

Информационные потоки должны протекать не ортогонально, а со­гласно иерархии структур управления; мы должны четко видеть для каждого блока программы, что он имеет на входе и что он дает на выходе. Таким образом, свойства каждого логически завершенного фрагмента программы должны ясно осознаваться и в идеале чет­ко описываться в самом тексте программы и в сопровождающей ее документации.

Описание переменных, представляющих перерабатываемые объекты, а также других, вспомогательных переменных при структурном про­граммировании строго подчиняется разбиению задачи на подзадачи.

Все признаки действуют на своем структурном месте и соответству­ют идеальным сущностям, которые, согласно парадоксу изобретателя, должны вводиться для эффективного решения задачи.

Структурное программирование лучше всего описано теоретически, но частные описания не сведены в единую систему. Одни книги трактуют его с точки зрения программиста, другие — с точки зрения теоретика. Так что даже здесь единой системы взглядов еще нет, хотя, видимо, все основания для ее формирования уже имеются.

Необходимо помнить, что структурное программирование, как правило, плохо подходит для описания систем глобальных действий. Это выявилось уже в теории. А именно, в теореме о структурировании схем программ, доказанной Бемом и Джакопини, вводились дополнительные локальные бу­левские переменные, в совокупности которых, по сути дела, запоминалось состояние программы. Без введения дополнительных переменных невозмож­но структурировать даже следующий цикл с двумя выходами (см. рис. 3.4).

В общее употребление структурное программирование вошло после по­пуляризировавшей его работы Э. Дейкстры, в которой, к сожалению, на указанные нами ограничения не было даже намека, так же, как и на ограни­чения, вытекающие из самой теоремы БемаДжакопини. Применение струк­турных переходов, которые ввел в практику и теорию Д. Кнут (откопавший оригинальную работу БемаДжакопини и четко выделивший ограничения дейкстровского структурного подхода14), избавляет от многих недостатков, присущих методике Дейкстра. Структурные переходы — переходы лишь вперед и на более высокий уровень структурной иерархии управления, ни в каком случае не выводящие нас за пределы данного модуля.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама