Формальные языки, грамматики и автоматы1 / Konspekt / SECTION2 / part21

Пред.Страница   След.Страница   Раздел   Содержание

2.  КОНТЕКСТНО-СВОБОДНЫЕ ГРАММАТИКИ И АВТОМАТЫ.  2.1 Приведенные грамматики. Из четырех типов грамматик контекстно-свободные грамматики являются наиболее важными с точки зрения приложений к языкам программирования и компиляции. С помощью КС-грамматики можно определить большую часть структуры языка программирования. При построении грамматик, задающих конструкции языков программирования, часто приходится прибегать к их преобразованию, чтобы порождаемый язык приобрел нужную структуру, поэтому вначале рассмотрим несколько достаточно простых, но важных преобразований КС-грамматик. Первый вид преобразования связан с удалением из грамматики бесполезных символов. Бесполезные символы в грамматике могут оказаться в следующих случаях: а) если символ не может быть получен при выводе,

б) если из символа не может быть получена конечная терминальная цепочка (получается бесконечная цепочка или нет правил,приводящих к терминальной цепочке). Вначале рассмотрим алгоритм выявления символов, из которых нельзя вывести конечные

цепочки. Пред.Страница  След.Страница   Раздел   Содержание