Cтраница 4
В компиляторах не уделяется должного внимания значению-выражений, высказываний и описаний. Применение контекстно-свободных грамматик для описания фрагментов языков ведет к важным достижениям в единообразии как спецификации, так и реализации. Однако, хотя это вполне оправдывается в простых случаях, попытки распространить этот подход на более сложные области могут затормозить научный прогресс. Возникают серьезные проблемы при использовании грамматик: для описания самоизменяющихся или саморасширяющихся языков с применением процессов исполнения наряду со спецификациями. Невозможно описать синтаксически - иначе говоря, статически - допустимые выражения языка, который изменяется. Конечно, должны быть описаны механизмы расширения-синтаксиса, однако если они задаются в терминах такого современного языка сопоставления с образцом, как Снобол, Convert [6] или Matchless [7] то не должно быть различия между программой грамматического разбора и описанием собственно языка. Будущие языки программирования станут R большей степени сосредоточиваться на целях и в меньшей степени на процедурах, специфицированных программистом. [46]
Грамматика G есть конечное множество правил, которые рекурсивно определяют предложения языка. В контекстно-свободной грамматике все правила имеют вид Л - ip, где А - нетерминальный символ, г э - непустая цепочка в N JT. С помощью правила Л - э цепочка в N JT вида фЛф порождает цепочку Ф ф, где ф и ф - цепочки в N ( JT. Язык L ( G), порожденный G, есть множество цепочек в Т, которые порождены 5 - цепочкой, состоящей из единственного специального нетерминального символа. Язык, порожденный контекстно-свободной грамматикой, называется контекстно-свободным языком. [47]
Приблизительно в то же самое время Ноам Хомский [1959] ввел аналогичную форму - контекстно-свободную грамматику - для определения синтаксиса естественного языка. Формы НФБ и контекстно-свободная грамматика по существу эквивалентны, различия касаются только обозначений. Этим и объясняется принятая в работах по синтаксису взаимозаменяемость терминов НФБ-грамматика и контекстно-свободная грамматика. [48]