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

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

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

Какое представление графа состояний лучше всего использовать? Как всегда, ответ на этот вопрос зависит от сложности графа, статичности либо динамичности его и того, для каких целей требуется спецификация в виде графа состояний. Понятно, что важнейшей для нас промежуточной целью является программа на алгоритмическом языке. Но подходы к построению такой программы могут быть различными. Существует две принципиально различные позиции:

трансляционная— структура управления программы определяется графом состояний;

интерпретационная— строится специальная программа, которая вос­принимает некое представление графа как задание для интерпретации.

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

Наименование состояния — входы в таблицу;

Условие (срабатывания) перехода — логическое выражение или слу­жебное слово failure, которое указывает на действие, выполняемое, если ни одно из условий не срабатывает;

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама