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

Cтраница 4

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

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

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

НФБ-грамматика для простых операторов присваивания в Алголе. [49]

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

Прежде чем перейти к подробному описанию этих типов операторов, необходимо познакомиться с понятиями меток, составные операторов и блоков. Напомним, что операторы разделяются точками с запятой. Так, оператор S; означает выполнить вычисления, вызываемые S. Часто бывает необходимо снабдить оператор меткой, или наименованием, L аналогично адресу команды. Из синтаксического определения, приведенного в предыдущем разделе, видно, что метка L может быть идентификатором или целым без знака. [51]

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