Вопросы с тегом 'context-free-grammar'

В теории формального языка не зависящая от контекста грамматика (CFG) - это грамматика, на которую распространяется особое ограничение: левая часть (LHS) состоит из одного нетерминального символа. CFG способны представлять набор контекстно-свободных языков (CFL).
20

Является ли С++ контекстно-зависимым или контекстно-зависимым?

Я часто слышу утверждения, что С++ - это контекстно-зависимый язык. Возьмем следующий пример: a b(c); Это определение переменной или объявление функции? Это зависит от значения символа c. Если c - переменная, то a b(c); определяет переменную с им...
29 янв. '13 в 18:05
1

Признавательная способность "современных" регулярных выражений

Какой класс языков действительно распознает реальные современные регулярные выражения? Всякий раз, когда существует группа захвата неограниченной длины с обратной ссылкой (например, (.*)_\1), регулярное выражение теперь соответствует нерегулярному ...
30 янв. '11 в 3:33
8

Бесплатные бесплатные грамматики

Я изучаю тест на свои компьютерные языки, и есть одна идея, с которой я сталкиваюсь. Я понял, что обычные грамматики проще и не могут содержать двусмысленности, но не могут выполнять много задач, требуемых для языков программирования. Я также понял,...
18 февр. '09 в 3:46
2

Что такое бесплатная грамматика контекста?

Может кто-нибудь объяснить мне, что такое контекстная свободная грамматика? Посмотрев на запись в Википедии, а затем на запись в Википедии о формальной грамматике, я остался совершенно и полностью одурманен. Кто-нибудь будет так любезным объяснить, ч...
15 июл. '11 в 21:17
1

Разница между парсером LL и рекурсивным спусками?

Недавно я пытался научить себя, как работают парсеры (для языков/контекстно-свободных грамматик), и большинство из них, похоже, имеет смысл, за исключением одного. Я сосредоточил свое внимание, в частности, на LL (k) грамматиках, для которых два осно...
25 июн. '09 в 15:32
7

Является ли грамматика D действительно свободной от контекста?

Я размещал это в группе новостей D несколько месяцев назад, но по какой-то причине ответ никогда меня не убедил, поэтому я подумал, что попрошу его здесь. Грамматика D, по-видимому, контекстно-зависимая. Однако грамматика С++ не существует (даже ...
08 авг. '11 в 13:04
8

Какие языки программирования не имеют контекста?

Или, чтобы быть более точным: какие языки программирования определены без контекстной грамматики? Из того, что я собираю, С++ не является контекстно-свободным из-за таких вещей, как макросы и шаблоны. Моя кишка говорит мне, что функциональные языки ...
22 мая '09 в 15:31
3

В чем разница между анализом LALR и LR?

Я понимаю, что LR и LALR - алгоритмы синтаксического анализа снизу вверх, но какая разница между двумя? Чем отличается различие между LR (0), LALR (1) и LR (1)? Как определить, является ли грамматика LR (0), LALR (1) или LR (1)?
29 окт. '13 в 16:09
2

Как Java, С++, С# и т.д. Обойти эту конкретную синтаксическую двусмысленность с помощью <и>?

Раньше я думал, что С++ был "странным" со всеми неопределенностями с < и >, но после попытки реализовать парсер я думаю, что нашел пример, который разбивает примерно на каждый, который использует < и > для общих типов: f(g<h, i>...
19 янв. '13 в 8:29
3

хомская иерархия в простом английском

Я пытаюсь найти простое (то есть неформальное) объяснение 4 уровней формальных грамматик (неограниченный, контекстно-зависимый, контекстно-свободный, регулярный), как указано Хомским. Это был период с тех пор, как я изучал формальные грамматики, и р...
06 дек. '11 в 9:57
2

Каковы различия между PEG и CFG?

На этой странице wikipedia: Основное различие между контекстно-свободные грамматики и разбор грамматика выражений состоит в том, что PEG оператор выбора. Если первая альтернатива преуспевает, вторая альтернатива игнорируется. Таким образом, выбор н...
31 мар. '11 в 13:59
3

Контекстно-свободные грамматики против контекстно-зависимых грамматик?

Может кто-нибудь объяснить мне, почему грамматики [контекстная грамматика и контекстно-зависимая грамматика] такого типа принимают строку? То, что я знаю, Контекстно-грамматическая грамматика - формальная грамматика, в которой каждое правило прои...
23 нояб. '11 в 1:55
5

Существует ли стандартная грамматика С++?

Указывает ли стандарт на официальную грамматику С++? Я искал, но ничего не нашел. Кроме того, я хочу немного прочитать о грамматике С++, например, какую категорию грамматик она вписывает и т.д. Полезны ссылки, указывающие на меня в правильном напра...
17 мая '10 в 14:21
2

Предикатная логика в Хаскелле

Я использовал следующую структуру данных для представления пропозициональной логики в Haskell: data Prop = Pred String | Not Prop | And Prop Prop | Or Prop Prop | Impl Prop Prop | Equiv Prop Prop deriving (Eq, O...
12 июл. '10 в 13:14
6

Почему синтаксический анализ снизу вверх чаще, чем синтаксический анализ сверху вниз?

Кажется, что парсеры с рекурсивным спусками не только просты в объяснении, но и простейшие в дизайне и обслуживании. Они не ограничены грамматиками LALR (1), и сам код может быть понят простым смертным. Напротив, анализаторы с нижним индексом имеют о...
30 нояб. '10 в 17:05