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

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

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

Т, если автомат завершил распознавание конструкции успешно;

Р, если автомат обнаружил без продвижения по входному потоку, что данная конструкция отсутствует;

• Е, если начато распознавание конструкции (т. е. произошло продвиже­ние по входному потоку), но автомат завершил работу, выяснив, что данная конструкция неправильна.

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

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

Новости

  • 1
  • 2
Prev Next

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

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

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

24.01.2016

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

Реклама