Cтраница 3
Таким образом, формальные грамматики по существу нейтральны по отношению к процессам порождения и допускания. Обычное деление грамматик на порождающие и распознающие имеет естественное историческое объяснение. [31]
Подчеркнем, что формальная грамматика не является алгоритмом. [32]
Взаимосвязь и подчиненность формальных грамматик и методов их анализа показана на рис. 5.29. Наверху иерархии находится грамматика непосредственно составляющих. [33]
Применение основных положений формальных грамматик позволяет авторам, а вслед за ними и читателям выполнить построение компилятора о языка XPL и других компонентов СПТ. [34]
Другой важный класс формальных грамматик - д о-м и н а ц и о н н ы е грамматики, позволяющие порождать цепочки, одновременно строя для них деревья подчинения. [35]
Чтобы пояснить понятие формальной грамматики, рассмотрим два примера. [36]
A порождается некоторой формальной грамматикой T ( V, А, я), если и только если он рекурсивно перечислим. [37]
Как обычно в формальных грамматиках, под символом понимается минимальная по числу знаков строка, используемая в данной грамматике или в описываемом ей языке, которая имеет самостоятельное значение. [38]
Мы рассмотрим два вида формальных грамматик, называемых соответственно индуктивными порождающими грамматиками и дедуктивными порождающими грамматиками. [39]
Различают распознающие, порождающие и преобразующие формальные грамматики. Грамматика называется распознающей, если для любой рассматриваемой цепочки элементов из U она может решить, является ли эта цепочка правильной ( допустимой) или нет, и в случае положительного ответа распознать структуру цепочки. [40]
Различают распознающие, порождающие и преобразующие формальные грамматики. [41]
По характеру своего аппарата теория формальных грамматик во многом близка к теории алгоритмов и теории автоматов. Более других разработаны те типы формальных грамматик, к-рые служат для характеризации множества грамматически правильных предложений языка и приписывания этим предложениям синтаксич. [42]
Языки ключевых слов с использованием формальных грамматик [74] среди языков второго класса наиболее приспособлены к ведению сложных вычислительных процессов. Они достаточно близки по синтаксису к естественным языкам и в значительной степени могут обладать свойствами языков программирования, за исключением ( в силу линейности) возможности построения рекурсивных форм. Грамматика этих языков выражается с помощью нормальной Бэкусовой формы. К недостаткам их относятся жесткая привязка к предметной области, а также необходимость основательного изучения пользователем. [43]
Эти две формулы Бекуса являются формальной грамматикой, определяющей очень простой язык. Любая цепочка букв в А является словом, а значит и предложением нашего языка. [44]
Некоторые формы метасинтаксического языка называют формальными грамматиками. [45]