Мартыненко Б.К. Синтаксически управляемая обработка данных. Изд. 2-е, дополн

Подождите немного. Документ загружается.

251

Запуск подсистемы производится по команде Design[Name], где Name —

имя файла, содержащего TSL-спецификацию

160

. В результате на экране

появляется заставка подсистемы проектирования, представленная на рис.П.1.

Рис. П.1. Вид заставки подсистемы проектирования.

После ее сброса клавишей Esc, открывается панель подсистемы

проектирования с главным меню вверху и подсказками внизу. Эта панель

пуста, если имя TSL-спецификации не было задано (рис. П.2), или в нее

вставлено окно редактора с указанной TSL-спецификацией, если при запуске

подсистемы проектирования так или иначе было задано имя файла TSL-

спецификации (рис.П.3). В этом случае можно немедленно начать ее

редактирование или переходить к выполнению других операций.

Рис. П.2. Вид панели подсистемы проектирования.

160

По умолчанию подразумевается расширение .grm. В противном случае расширение должно быть указано явно.

252

Рис. П.3. Вид окна редактора с загруженной TSL-спецификацией.

Функции подсистемы. Здесь мы только перечислим функции, представленные

в главном меню подсистемы проектирования:

≅ Выдача справки о текущей версии ТК SYNTAX (рис. П.4).

Рис. П.4. Вид справки о версии ТК SYNTAX.

Рис.П.5. Меню File. Рис.П.6. Меню Edit. Рис.П.7. Меню Graph.

File Открывает системное выпадающее меню (рис. П.5), которое содержит

следующие команды:

253

Load Загрузка файла в окно редактора. При выполнении этой команды открывается

диалоговое окно, предоставляющее выбор файлов из текущего каталога с

расширениями .grm.

Save Сохранение на диске спецификации, находящейся в окне редактора, под текущим

именем (если текущее имя не задано, эта команда эквивалентна команде Save as).

Save as Сохранение на диске спецификации, находящейся в окне редактора, под именем,

заданным в диалоговом окне этой команды.

New Открывает окно для написания новой TSL-спецификации.

Get Info Открывает окно со следующей информацией

161

имя главной спецификации,

каталог управляющих граф-схем,

каталог управляющих таблиц,

каталог диагностик,

каталог прототестов,

каталог листингов,

свободная оперативная память.

Change dir Назначение текущего каталога.

DOS shell Выход в среду DOS (возврат в среду ТК по команде exit).

Exit Выход из подсистемы проектирования.

Edit Открывает подменю (рис.П.6), которое содержит следующие команды:

Undo Отмена последнего изменения.

Find Поиск ближайшего вхождения образца.

Replace Замена текущего вхождения заданного образца заданным текстом.

Search again Повторный поиск следующего вхождения образца.

Graph Открывает выпадающее подменю (рис.П.7), которое содержит

следующие команды:

Create Генерация управляющей граф-схемы по управляющей RBNF-грамматике.

Check Проверка приведенности управляющей RBNF-грамматики

162

Рис.П.8. Меню Tab. Рис.П.9.Меню Diagnost. Рис.П.10. Меню Tests

Tab Открывает выпадающее подменю (рис.П.8), которое содержит

следующие команды:

Forward pass Генерация управляющей таблицы прямого просмотра.

Balance Проверка внешней балансировки таблицы прямого просмотра.

Reduce Исключение левосторонней рекурсии из управляющей КС-грамматики.

Backward pass Генерация управляющей таблицы обратного просмотра.

Minimize Оптимизация управляющей таблицы процессора.

161

Показанные установки могут быть изменены в том же окне.

162

Точнее, проверяется, во-первых, что каждый терминальный или нетерминальный символ грамматики выводим

из начального нетерминала грамматики; во-вторых, что из каждого нетерминала выводится по крайней мере одна (хотя

бы пустая) терминальная цепочка.

254

Рис. П.11. Меню Listing. Рис. П.12. Меню Options. Рис. П.13. Меню Window.

Diagnost Открывает выпадающее подменю (рис.П.9), которое содержит

следующие команды:

Generate

Генерация диагностических сообщений

163

периода процессирования. При этом

используется шаблон, заданный по команде Options / Diagnost.

Edit

Редактирование диагностических сообщений "на фоне" управляющей

грамматики.

Tests Открывает выпадающее подменю (рис.П.10), которое содержит

следующие команды:

Generate

Генерация (прото-) теста. В открывающемся диалоговом окне отмечаются те

конструкции, для которых требуется генерировать тесты (прототесты).

Edit

Редактор теста

164

(поддерживает доработку прототеста до исполнимого теста).

Listing Открывает выпадающее подменю (рис.П.11), которое содержит

следующие команды:

Create

Генерация листинга, содержащего документы по процессору. Состав листинга и

направление его выдачи (в файл или на принтер) задается при помощи команды

Options / Listing.

View

Просмотр листинга на экране компьютера. Эта функция выполнима, если

листинг направлялся в файл, а не на принтер.

Options Открывает выпадающее подменю (рис. П.12), которое содержит

следующие команды, позволяющие производить настройку подсистемы

проектирования:

Editor

Настройка редактора (сохранять / не сохранять исходную версию

редактируемого файла, использовать / не использовать режим AutoIndent).

Tab

(В настоящее время не реализована).

Diagnost

Настройка генератора диагностических сообщений (установка рамки

формата диагностических сообщений, включение или выключение

генерации диагностик для подавляемых состояний).

Tests

Настройка генератора тестов (установка порядка теста, выбор режима

выдачи контекстных символов в листинг теста).

Listing

Настройка генератора листинга: выбор документов, включаемых в листинг;

задание числа строк на странице; выбор направления выдачи листинга (в

файл или на принтер).

163

Для оптимизированной версии процессора, если оптимизированные управляющие таблицы построены, а в

противном случае — для обычной версии.

164

Пока не реализован.

255

Directories

Задание каталогов (Directories), в которых сохраняются файлы с

управляющими граф-схемами, управляющими таблицами, диагностиками,

(прото-) тестами, листингами.

Environment

Выбор предпочтений (Preferences), режимов экрана (Screen Mode) и мышки

(Mouse).

Save Options

Сохранение установленных режимов.

Retrieve Options

Восстановление ранее сохраненных режимов.

Window Открывает выпадающее подменю (рис.П.13), которое содержит

следующие команды:

Size / Move

Изменение размеров окна и его перемещение по экрану.

Zoom

Максимальное раскрытие окна.

Tile

Мозаичное выстраивание окон.

Cascade

Каскадное выстраивание окон.

Переключение на следующее окно.

Переключение на предыдущее окно.

Закрытие активного окна.

Далее кратко описываются функциональные компоненты подсистемы

проектирования.

Редактор TSL-спецификаций предназначен для их подготовки, просмотра

и модификации

165

. Он готов к работе, как только в панели подсистемы открыто

окно редактора, пустое (по команде

File / New) — для набора новой

спецификации, или содержащее TSL-спецификацию (загруженную по команде

File / Load), которую требуется изменить.

Для одновременной работы над несколькими спецификациями можно открыть

несколько окон редактора. При этом все операции, инициируемые командами

меню, относятся к TSL-спецификации, находящейся в активном окне (активное

окно выделено "двойной" рамкой), а переключение между окнами

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

Имеются обычные возможности для редактирования, такие, как вставка, замена

или удаление символов, разбиение и слияние строк, удаление, перемещение и

копирование фрагментов текста, поиск и замена заданного текста. Есть

возможность отмены последнего исправления.

Содержимое окна редактора может быть сохранено в любой момент, когда оно

активно, под текущим (по команде

Save) или новым (по команде Save as …)

именем со стандартным расширением .grm или с произвольным другим

расширением

166

Генератор управляющих граф-схем служит для преобразования TSL-

спецификаций в форму управляющих граф-схем и для проверки приведенности

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

Create,

подменю Graph главного меню подсистемы проектирования или последова-

тельностью комбинации клавиш Alt+G

и клавиши C, когда в окне редактора

165

Фактически редактор можно использовать для редактирования любых текстовых (ASCII) файлов.

166

Рекомендуется использовать стандартное расширение .grm, так как во многих случаях это избавит

пользователя от необходимости указывать его явно.

256

находится соответствующая TSL-спецификация. Все время, пока выполняется

функция Graph / Create, на экране находится окно статуса с заголовком Graph

(рис.П.14), показывающее, какая часть задачи выполнена на текущий момент.

Рис. П.14. Вид окна технологической компоненты Graph

во время выполнения команды Create.

Генератор управляющих граф-схем анализирует текущую TSL-специфи-

кацию и в случае обнаружения формальной ошибки выдает краткое

диагностическое сообщение в специальной (красной) строке ошибок в верхней

части экрана (рис.П.15).

Рис. П.15. Вид окна технологической компоненты Graph с

диагностическим сообщением о бесконтекстной ошибке.

257

При этом курсор указывает место ошибки в TSL-спецификации (строка 6

TSL-спецификации на рис.П.15). В это время по клавише F1 можно получить

контекстную справку об ошибке (рис. П.16).

Рис. П.16. Вид окна технологической компоненты Graph

с контекстной справкой об ошибке.

При благополучном исходе, о котором сообщается сигналом Success в окне

Graph, результатом является файл с текущим именем спецификации и

расширением .grh, содержащий двоичный код управляющей граф-схемы.

После этого рекомендуется проводить дополнительную проверку граф-

схемы на приведенность, используя команду

Graph / Check. Недостижимые

символы, обнаруженные в каком-либо из четырех словарей грамматики,

нетерминалы, для которых не существуют определяющие их правила, а также

нетерминалы, порождающие пустые языки, указываются в открывающемся в

таком случае окне сообщений (рис. П.17).

Генератор управляющих таблиц предназначен для построения

управляющих таблиц управляющих процессоров по управляющим граф-

схемам. Он может быть запущен, когда в окне редактора находится

соответствующая TSL- спецификация и управляющая граф-схема для нее

построена.

Фактически генератор управляющих таблиц обладает четырьмя функциями,

вынесенными в подменю компоненты Tab. В зависимости от того,

предполагается ли однопросмотровая или челночная обработка, использование

первоначальных или оптимизированных управляющих таблиц, в этом подменю

выбираются команды

Forward pass — для построения управляющих таблиц

прямого просмотра,

Balance — для проверки адекватности построенной

таблицы прямого просмотра,

Backward pass — для построения управляющей

таблицы обратного просмотра,

Minimize — для оптимизации управляющей

таблицы только прямого просмотра (если таблица обратного просмотра не

строилась) или для совместной оптимизации таблиц прямого и обратного

просмотров (если они обе построены).

258

Рис. П.17. Вид окна технологической компоненты Graph после выполнения

команды Graph / Check, обнаружившей неприведенность грамматики.

Функция Forward pass. При выполнении этой функции производится

проверка соблюдения следующих ограничений, накладываемых на

управляющую грамматику (граф-схему):

недопустимость использования начального нетерминала в правой части

какого-либо правила;

2) недопустимость левосторонней рекурсивности;

3) недопустимость нетерминалов, которые не используются ни в одном

выводе;

4) недопустимость непродуктивных нетерминалов (из каждого

нетерминала должна выводится по крайней мере одна терминальная,

хотя бы пустая, цепочка;

5) недопустимость непродуктивных петель в каждой компоненте графа;

6) синтаксическая балансировка;

7) семантическая балансировка.

Некоторые из этих проверок выполняются во время предварительного

анализа управляющей граф-схемы, другие — по ходу построения управляющей

таблицы. При обнаружении нарушения требований, предъявляемых к

управляющей грамматике, на экране появляется окно, содержащее

диагностическое сообщение об обнаруженном дефекте.

Процесс построения управляющей таблицы прямого просмотра состоит из

нескольких этапов. О каждом из них пользователь извещается специальным

окном статуса, в котором находится индикация степени завершенности

соответствующей подзадачи (как, например, показано на рис.П.18). Наиболее

тяжелый этап — разложение состояний, может быть приостановлен в любой

момент нажатием клавиши Scroll Lock. В этом случае создается файл с

текущим именем и расширением .fpd

. Этот файл используется для

продолжения работы в

другое время.

259

Рис. П.18. Вид окна технологической компоненты Tab

во время выполнения команды Forward pass

Если никакие из перечисленных требований не нарушены, то в конце

процесса образуется файл с текущим именем и расширением .fp, содержащий

двоичный код управляющей таблицы прямого просмотра. Об успешном

завершении процесса пользователь оповещается сигналом Success,

появляющимся в окне статуса.

Если прямой просмотр реализуется сплайновым, а не конечным

процессором

167

, то построенная управляющая таблица подвергается последней

проверке при помощи технологической функции

Balance.

Функция Balance. Cодержательный смысл последней проверки

168

осуществляемой этой функцией, состоит в том, чтобы гарантировать

детерминизм сплайнового процессора прямого просмотра относительно

выбора между движением, использующим входной символ, и

ε-движением. В

терминологии синтаксической структуры предложений входного языка это

соответствует возможности однозначного отнесения каждого данного

вхождения входного символа только к конструкциям одного и того же уровня.

Разумеется, выполнение команды

Balance осмысленно, когда все

предыдущие этапы успешно завершены, т.е. получен файл с расширением .fp.

После подачи команды

Balance появляется диалоговое окно (рис. П.19) с

запросом номера состояния, с которого требуется начать проверку внешней

балансировки. После указания желательного номера

169

(по умолчанию

установлено значение 1) необходимо нажать клавишу Enter.

167

Попытка выполнить команду Balance для явнорегулярной грамматики приводит к появлению окна с

сообщением о неуместности применения этой команды.

168

Проверяется условие, называемое внешней балансировкой.

169

Задавать номер, отличный от 1, необходимо только в том случае, если требуется продолжить проверку,

прерванную ранее нажатием клавиши Scroll Lock.

260

Рис.П.19. Вид диалогового окна команды Balance.

Во время исполнения команды Balance на экране находится окно статуса с

индикацией степени завершенности процесса проверки и номером состояния,

для которого идет проверка в текущий момент. Об успешности проверки

пользователь извещается сигналом Success в окне статуса. В случае

обнаружения внешнего дисбаланса появляется специальное окно (рис.П.20) с

сообщением о том, в каких состояниях и по каким входным символам

нарушена внешняя балансировка. Все такие случаи можно просмотреть,

нажимая кнопку Continue, или отказаться от их просмотра, нажав кнопку

Terminate. По кнопке Help можно получить контекстную справку (рис.П.21).

Рис. П.20. Вид сообщения о внешнем дисбалансе.