Формальная грамматика
Cтраница 2
Какая формальная грамматика используется для описания языка Алгол-60 и в чем ее суть. [16]
Термин формальная грамматика представляет собой общее название нескольких типов исчислений, используемых в математической лингвистике для описания строения естественных языков, а также некоторых искусственных языков, в частности языков программирования. Под грамматиками в математической лингвистике понимают некоторые специальные системы правил, задающие ( или характеризующие) множества цепочек ( конечных последовательностей) символов. [17]
Теория формальных грамматик и языков является основным разделом математической лингвистики - специфической математической дисциплины, ориентированной на изучение структуры естественных и искусственных языков. [18]
 |
НФБ-грамматика для простых операторов присваивания в Алголе. [19] |
Применение формальной грамматики для определения синтаксиса языка программирования имеет большое значение как для специалистов, использующих язык, так и для специалистов, занимающихся его реализацией. Это дает возможность пользователю получать ответы на тонкие вопросы относительно вида программы, пунктуации и структуры. Разработчик транслятора может выделить все возможные случаи структур вводимых программ, которые допускаются в этом языке и с которыми его транслятору, следовательно, придется иметь дело. Тогда и у программиста, и у разработчика транслятора есть общепризнанное определение, которым они могут воспользоваться для разрешения споров о допустимых синтаксических конструкциях. Формальное синтаксическое определение помогает также устранить небольшие синтаксические различия между отдельными реализациями языка. [20]
Теория формальных грамматик изучает способы описания закономерностей, характеризующих уже не отдельный текст, а всю совокупность правильных текстов того или иного языка. Формальные грамматики - это абстрактные системы, позволяющие с помощью единообразных процедур получать правильные тексты данного языка вместе с описанием их структуры. Формальные грамматики наиболее разработанных типов представляют собой системы ( устройства), к-рые позволяют порождать или распознавать множества конечных последовательностей ( цепочек), интерпретируемые обычно как множества правильных предложении, а также сопоставлять входящим в эти множества цепочкам описания их синтаксич. [21]
Между обычными и формальными грамматиками имеется существенное различие. [22]
В формальных грамматиках - выводимая строка, содержащая нетерминальные символы. [23]
Это делает формальные грамматики сравнительно простыми с точки зрения их логического строения и облегчает изучение их свойств. [24]
Следовательно, формальные грамматики имеют дело с абстракциями, возникающими в результате обобщения таких стандартных лингвистических понятий, как словоформа, словосочетание и предложение. Из определенного набора символов ( обозначающих, например, все словоформы русского языка) можно строить произвольные цепочки; одни из них естественно считать правильными, или допустимыми, а другие - неправильными, или недопустимыми. [25]
Строгое описание формальной грамматики само требует не. В нашем случае мы описываем язык логических формул, исполь-вуя метаязык металингвистических формул. Список металингвистических формул называют синтаксисом описываемого языка. [26]
В теории формальных грамматик элементы словаря V обычно обозначают прописными ( большими) буквами латинского алфавита. [27]
Если переменные формальной грамматики соотнесены синтаксическим категориям грамматики естественного языка, то синтаксическое дерево отражает грамматический анализ фразы. Дерево на рис. 5.1 дробит фразу на глагол и две вложенные группы существительных, каждая из которых содержит местоимение, прилагательное и существительное. Грамматический анализ является основой семантического анализа. [28]
Выбор между формальными грамматиками и синтаксическими диаграммами зависит от конкретной ситуации. Диаграммы более наглядны, зато грамматики позволяют более легко формализовать процессы и являются гибким средством формирования и записи языковых структур. [29]
Одновременно с формальными грамматиками, моделирующими преобразования языковых объектов, появляются конструкции для формального. Кроме того, на множествах объектов одного уровня возникают классификации и отношения, во многом сходные с категориями традиционной грамматики. [30]
Страницы: 1 2 3 4