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

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

Таблицы переходов и состояний являются естественным способом про­граммирования для модуля, имеющего дело с глобальными операциями над некоторой средой (эти глобальные операции сами, как правило, программи­руются в другом стиле). Для программирования от состояний характерно go 1:о, и здесь оно на месте.

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

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

действия, в которых исполняется вызов процедуры либо оператор и по­сле которых автомат однозначно переходит в следующее состояние;

распознаватели, которые проверяют значение переменной либо предика­та и затем передают управление по разным адресам;

ё) соединения, в которые имеется несколько входов и один выход;

е) выход, попав в который, программа заканчивает работу.

Представление программ в виде блоксхем было целесообразно для мно­гих классов программ, писавшихся в машинных кодах без средств автомати­зации программирования. Блоксхемы являлись тогда основным средством планирования разработки программ и их документирования. Традиционные блоксхемы являются, в частности, предметом изучения в теоретическом программировании (см. книги Котова [44, 45]).

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама