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

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

Заметим, что, операции в программировании от состояний глобальны, а условия локальны. Проверка условия не изменяет состояния всей системы (ни одного из ее параметров или характеристик), она лишь ведет нас в то или иное состояние самой программы.

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

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

разом, состояние памяти вычислительной системы вполне может рассмат­риваться как внешняя характеристика по отношению к программе, которая в ней работает.

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

Внимание!

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама