Cтраница 4
Система GEOBASE, вероятно, достигла такого состояния, когда ее дальнейшее развитие посредством специальных расширений уже невозможно. Синтаксический анализатор системы хотя и основан на продуманной технологии анализа по парам различий, слишком громоздок и сложен. Читать код синтаксического анализатора трудно. Все это заставляет нас обратиться к формальным методам, которые будут рассматриваться в следующей главе. [46]
Но сейчас имеет смысл отложить на время исследование этого механизма и перейти к изучению работы оставшейся части программы. Мы вернемся к синтаксическому анализатору в конце главы, а более подробно методы синтаксического анализа будут рассмотрены в гл. [47]
Так как отношения в базе данных определяются с помощью SQL-интерфейса, то атрибуты имеют соответствующий тип. Эта типизация используется синтаксическим анализатором системы PRISMAlog для дополнительной проверки корректности программы. Отрицание допускается для стратифицированных программ, в которых отрицание интерпретируется как разность множеств. Это означает, что отрицание требует двух предикатов в теле правила, которые сравнимы по объединению. [48]
Чтобы понять, как функционирует синтаксический анализатор, удобнее всего рассмотреть шаблоны, однако, они не дают непосредственного представления о механизме программирования. Имеется другой уровень обработки под уровнем шаблонов. Для обработки большинства запросов синтаксический анализатор системы GEOBASE передает часть своей работы некоторой иерархии низкоуровневых правил, каждое из которых выполняет определенный элемент задачи синтаксического анализа. Этот метод носит название синтаксический анализ по парам различий, и в следующей главе мы подробно обсудим его; здесь же достаточно лишь сказать в общих чертах. [49]
Семантический анализатор обычно разделяется на ряд более мелких семантических анализаторов, каждый из которых предназначается для одного конкретного типа программной конструкции. Например, описания массивов могут обрабатываться одним анализатором, арифметические выражения - другим, а инструкции goto - третьим. Соответствующий семантический анализатор вызывается синтаксическим анализатором, как только последний распознает синтаксическую единицу, требующую обработки. [50]
Все существующие интерфейсы на естественном языке имеют специфические проблемные области и специфические типы вопросов. Они разрабатываются после тщательного изучения круга вопросов, которые могут быть заданы. Затем эта информация встраивается в синтаксический анализатор. [51]
Фактически шаблон является нормализированной формой первоначального запроса. Структура была воспринята правильно, а лишняя или случайная информация игнорировалась. После преобразования вопроса в эту форму синтаксическим анализатором система использует функцию под названием eval для получения доступа к базе данных и выдаче ответов. [52]