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

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

§ 3.2. ПРОГРАММИРОВАНИЕ ОТ СОСТОЯНИЙ

Это — пожалуй, самый старый стиль программирования. Он соответ­ствует теоретическому понятию конечного автомата (изучаемому в кур­се дискретной математики, см., напр., Минский [58] и Приложение А). На этот стиль программирования наталкивает само устройство существующих вычислительных машин, которое представляют собой гигантские конечные автоматы.

В общераспространенных языках С, Pascal, Adaесть все средства для того, чтобы воспользоваться таким стилем, но писать прямо на алгорит­мическом языке программы в этом стиле не рекомендуется, поскольку их представление получается ненаглядным и, соответственно, их модификация затруднена. В значительной степени ориентированы на такой стиль машин­ные языки и, соответственно, языки ассемблера. Имеется много систем, в которых такие программы автоматически или полуавтоматически генери­руются по графовому или табличному представлению, более органичному для такого стиля. Например, в системе UML [96, 51] одна из моделей дает возможность преобразовать диаграмму состояний и переходов в заготовку программы.

Суть программирования от состояний можно охарактеризовать следую­щим образом. Определяются:

множество так называемых состояний, которые может принимать ко­нечный автомат;

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

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

(состояние, внешнее воздействие)

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама