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

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

В теории данный эффект концептуальной противоречивости проявляется в неразрешимости большинства естественных свойств схем программ. Од­нако все основные свойства оказываются разрешимыми, если все функции одноместные и переменная всего одна (схемы Янова). Как же проинтерпре­тировать такой теоретический результат?

Поскольку в схеме Янова все присваивания имеют видx:=f(x),где ме­няется лишь функция, можно воспринимать переменную х как глобальное состояние среды вычислений, что еще раз подтверждает, что стиль програм­мирования от состояний эффективен, если все действия глобальные (или, по крайней мере, рассматриваются лишь с точки зрения их глобальных эффек­тов), а присваивания по самой своей природе — локальные действия.

Подводя итоги сказанного, дадим рекомендации по выбору представ­ления. Использование схем Янова целесообразно тогда, когда переходов в программе относительно немного, условия многообразны, и использование табличного или графового представления лишь затемняет структуру. Если же условия однообразны, а переходов много, то лучше подходит графовое представление. Если же граф переходов практически является полным, то лучше всего воспользоваться табличным представлением.

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама