Обычные и контекстно-свободные грамматики


98

Я готовлюсь к экзамену по компьютерным языкам , и есть одна идея, что у меня проблемы с головой.

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

У меня проблемы с пониманием того, как я могу получить все вышеперечисленное, зная, что обычные нетерминалы грамматики могут отображаться на терминал или нетерминал, за которым следует терминал, или что контекстно-свободный нетерминал отображается на любую комбинацию терминалов и нетерминалов .

Может ли кто-нибудь помочь мне собрать все это вместе?

Ответы:


70

Обычная грамматика бывает линейной справа или слева, тогда как контекстно-свободная грамматика - это в основном любая комбинация терминалов и нетерминалов. Следовательно, вы можете видеть, что обычная грамматика - это подмножество контекстно-свободной грамматики.

Так, например, палиндром имеет форму

S->ABA
A->something
B->something

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

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


13
Во-первых: обычные грамматики могут быть неоднозначными (пример от Кая Кученбекера: S -> aA | aB, B -> a, A -> a). Единственное, что есть только один способ размещения узлов в синтаксическом дереве (например, неоднозначность ассоциативности не существует, когда используется обычная грамматика). Во-вторых: у нетерминала может быть более одной правой стороны (A -> a, A -> aA; и wikipedia даже включает epsilon в качестве третьей альтернативы: en.wikipedia.org/wiki/Regular_grammar )
user764754

1
двусмысленность возникает, когда предложение может быть получено из вашей грамматики более чем одним путем. просто наличие более одного производственного правила для нетерминала не делает грамматику неоднозначной
Суджой

11
Этот пример на самом деле неверен. Если мы представим себе полные правила , чтобы быть A-> a | cи B->bзатем эта грамматика позволяет не-палиндромов. Например, я мог бы произвести: S->ABA->aBA->abA->abc. Проблема в том, что в первом правиле мы хотим создавать не две переменные, а два терминала. Возможная грамматика, допускающая палиндромы:S -> aSa | bSb | a | b
gdiazc

Существуют палиндромы, которые можно выразить с помощью обычной грамматики: палиндромы, состоящие из одного символа. Например, S -> aSa | eи a(aa)*aоба описывают обычный язык. Это показывает, что CFG может описывать регулярный язык, даже если он нарушает левую или правую линейность. По общему признанию, это не такой уж очевидный палиндром ..
Martijn

Если подумать, этот ответ на самом деле неверен. В нем говорится, что «контекстно-свободная» грамматика - это, по сути, любая комбинация терминалов и нетерминалов ». Однако tu ^ nvw ^ mxy ^ kz - это комбинация терминалов и нетерминалов, но не контекстно-независимая.
Чарли Мартин

58

Думаю, вы хотите подумать о различных прокачивающих леммах. Регулярный язык можно распознать конечным автоматом. Контекстно-свободный язык требует стека, а контекстно-зависимый язык требует двух стеков (что равносильно тому, что он требует полной машины Тьюринга).

Итак, если мы подумаем о лемме о накачке для обычных языков , то, по сути, она говорит о том, что любой регулярный язык можно разбить на три части: x , y и z , где все экземпляры языка находятся в xy * z (где * - это повторение Клини, т. е. 0 или более копий y .) По сути, у вас есть один «нетерминал», который можно расширить.

А что насчет контекстно-свободных языков? Для контекстно-свободных языков существует аналогичная лемма о перекачке, которая разбивает строки в языке на пять частей, uvxyz , и где все экземпляры языка находятся в uv i xy i z для i ≥ 0. Теперь у вас есть два "нетерминала". "которые можно воспроизвести или прокачать, если у вас будет то же самое число .


10
Контекстно-зависимый язык не требует полной машины Тьюринга. Достаточно линейно ограниченного автомата. Это машина Тьюринга, лента которой конечна, размер ограничен некоторой линейной функцией на входной строке.
Дэйв Кларк,

16

Разница между обычной и контекстно-свободной грамматикой: (N, Σ, P, S): терминалы, нетерминалы, продукции, начальное состояние Терминальные символы

● элементарные символы языка, определенные формальной грамматикой

● abc

Нетерминальные символы (или синтаксические переменные)

● заменены группами терминальных символов согласно правилам продукции

● ABC

регулярная грамматика: правая или левая правильная грамматика правая регулярная грамматика, все правила подчиняются формам

  1. B → a, где B - нетерминал в N, а a - терминал в Σ.
  2. B → aC, где B и C лежат в N, а a принадлежит Σ.
  3. B → ε, где B находится в N, а ε обозначает пустую строку, то есть строку длины 0

левая обычная грамматика, все правила подчиняются формам

  1. A → a, где A - нетерминал в N, а a - терминал в Σ
  2. A → Ba, где A и B принадлежат N, а a принадлежит Σ.
  3. A → ε, где A находится в N, а ε - пустая строка

контекстно-свободная грамматика (CFG)

○ формальная грамматика, в которой каждое производственное правило имеет вид V → w

○ V - одиночный нетерминальный символ

○ w - строка терминалов и / или нетерминалов (w может быть пустым)


5

Обычная грамматика: - грамматика, содержащая следующую продукцию, - это RG:

V->TV or VT
V->T

где V = переменная и T = клемма

RG может быть левой линейной грамматикой или правой линейной грамматикой, но не средней линейной грамматикой.

Как мы знаем, все RG являются линейной грамматикой, но только Left Linear или Right Linear Grammar являются RG.

Обычная грамматика может быть неоднозначной.

S->aA|aB
A->a
B->a

Неоднозначная грамматика: - для строки x существует более одного LMD или более RMD, или более одного дерева синтаксического анализа, или одного LMD и одного RMD, но оба производят разные деревья синтаксического анализа.

                S                   S

              /   \               /   \
             a     A             a     B
                    \                   \
                     a                   a

эта грамматика неоднозначна, потому что два дерева синтаксического анализа.

CFG: - Грамматика называется CFG, если ее Производство имеет форму:

   V->@   where @ belongs to (V+T)*

DCFL: - как мы знаем, все DCFL - это грамматика LL (1), а все LL (1) - это LR (1), так что это никогда не будет двусмысленным. поэтому DCFG никогда не будет двусмысленным.

Мы также знаем, что все RL являются DCFL, поэтому RL никогда не будет двусмысленным. Обратите внимание, что RG может быть неоднозначным, а RL - нет.

CFL: CFL Может быть, а может и нет.

Примечание: RL никогда не бывает неоднозначным по своей сути.


4

Регулярные выражения

  • Основы лексического анализа
  • Представляйте обычные языки

Контекстно свободные грамматики

  • Основа парсинга
  • Представляйте языковые конструкции

введите описание изображения здесь


Нет, это краткое описание, пожалуйста, прочтите еще раз и проверьте изображение.
Ахмед Салем

3

Грамматика не зависит от контекста, если все продукционные правила имеют форму: A (то есть левая часть правила может быть только одной переменной; правая часть не ограничена и может быть любой последовательностью терминалов и переменных). Мы можем определить грамматику как 4-кортеж, где V - конечный набор (переменные), _ - конечный набор (терминалы), S - начальная переменная, а R - конечный набор правил, каждое из которых является отображением
Регулярная грамматика V может быть либо правой, либо левой линейной, тогда как контекстно-свободная грамматика - это в основном любая комбинация терминалов и нетерминалов. следовательно, мы можем сказать, что регулярная грамматика - это подмножество контекстно-свободной грамматики. После этих свойств мы можем сказать, что набор контекстно-свободных языков также содержит набор обычных языков.


-1

По сути, обычная грамматика - это подмножество контекстно-свободной грамматики, но мы не можем сказать, что каждая контекстно-свободная грамматика является обычной грамматикой. В основном контекстно-свободная грамматика неоднозначна, а обычная грамматика может быть неоднозначной.


-4

обычный грамматик никогда не бывает двусмысленным, потому что он либо линейный слева, либо линейный справа, поэтому мы не можем составить два дерева решений для обычного грамматика, поэтому он всегда однозначен. но кроме обычной грамматики, все они могут быть или не быть регулярными


4
@dinesh Обычная грамматика может быть неоднозначной. Напомним, что грамматика неоднозначна, если существует два разных синтаксических дерева и что синтаксическое дерево помечено. Следовательно, изоморфные деревья - это разные деревья. Т.е. простая грамматика типа S -> aA | aB, B -> a, A -> a неоднозначно, поскольку существует два синтаксических дерева для слова «aa», которые изоморфны, но разные.
Kai Kuchenbecker
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.