Синтаксическое определение

Cтраница 2

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

Грамматический анализатор, работающий сверху вниз, для распознавания и интерпретации допустимых предложений использует синтаксическое определение языка. Он управляется синтаксисом и ориентирован на достижение некоторой цели. На каждой стадии цель заключается в том, чтобы установить, являются ли рассматриваемые строки допустимыми символами языка, а предложение - допустимой сентенциальной формой. [17]

Нетрудно проверить, что т с т, и в следующем пункте будет доказано, что синтаксическое определение совпадает с семантическим. [18]

Там, где слова, введенные таким способом, используются где-либо в тексте, они относятся к соответствующему синтаксическому определению. Кроме того, некоторые формулы приведены по нескольку раз. [19]

Заметим, что данное изложение отличается от АЛГОЛа тем, что здесь не рассматриваются так называемые строки и не дается синтаксическое определение операций следования, описателей и спецификаторов. Если на основе данного руководства будет получено общее представление об АЛГОЛе, то эти усложняющие детали легко могут быть поняты читателем, так как они не несут в себе новых понятий. [20]

Идентификатор процедуры играет здесь очевидную роль - он указывает процедуру, к которой производится обращение, а с помощью списка фактических параметров, синтаксическое определение которого аналогично определению любого списка, задаются те конкретные значения и объекты, к которым должна быть применена данная процедура. [21]

Символические обозначения для логических операций. [22]

Синтаксическое определение числа было проведено выше в качестве примера использования метаязыка. [23]

Каждая процедура задается с помощью описания процедуры, приводимого в начале одного из блоков, объемлющего все обращения к данной процедуре, которые в АЛГОЛе осуществляются с помощью указателей функции или операторов процедуры. Синтаксическое определение описания процедуры мы дадим сначала для случая, когда обращение к ней производится с помощью оператора процедуры. [24]

Арифметическое выражение КОБОЛа, как и в АЛГОЛе, является правилом для получения числового значения. Его синтаксическое определение совпадает с определением простого арифметического выражения в АЛГОЛе. [25]

Очевидно, что метаязык и язык должны - быть отличимы один от другого. Для синтаксических определений в языке Бэкуса, который в данном случае по отношению к ИЯП ИСС является метаязыком, применяется специальная металингвистическая символика. [26]

Мы уже говорили о том, что алгоритмический язык не должен допускать неоднозначности понимания любого алгоритма, записанного на этом языке. Словесные же синтаксические определения, которые мы использовали ранее, довольно громоздки и не всегда точны. [27]

Для разработки абдуктив-ного алгоритма требуется синтаксическая теория, которая позволяет выполнять реальное вычисление простейших объяснений. Дадим такое синтаксическое определение объяснения, и покажем, как может быть разработана абдуктивная процедура в зависимости от типа убеждения А. [28]

Работа Диаграммы. [29]

Это определение означает, что идентификатор состоит из одного или более символов, из которых первый должен быть буквой, а остальные могут быть буквами или цифрами. Если задано это синтаксическое определение, то Диаграмма будет правильно опознавать идентификаторы, но при этом возникнут большие потери при использовании процедуры рекурсивного определения для задачи опознавания, которая может быть решена простым прямым просмотром. На практике перед синтаксическим анализом следует выполнять лексический анализ. На этапе лексического анализа такие синтаксические объекты, как идентификаторы, числа и разделители, опознаются при прямом просмотре и передаются для синтаксического анализа как законченные величины. Аналогично, арифметические выражения, удовлетворяющие некоторым правилам, также могут анализироваться прямым просмотром ( см. разд. [30]

Страницы: 1 2 3 4