Правильная рекурсивная грамматика или левая рекурсивная?

Question

Правильная рекурсивная грамматика или левая рекурсивная?

0

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

Просто, возвращаясь через пару лет, эта ситуация напоминает мне немного грамматики Паскаля против C/C++, это левое и правильное.

Но я не собираюсь делать этого, моя цель - реализовать простой парсер для языка разметки для таких документов, как Markdown.

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

user2485710 03 июнь 2014, в 23:28

Источник

Теги:

c++

c

parsing

markup

3 ответа

Ещё вопросы

Jerry Coffin · Answer 1 · 2014-06-03T19-23-00.000Z

Рекурсивная рекурсивная или левая рекурсия в основном сводится к тому, как вы собираетесь внедрять парсер.

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

Если вы собираетесь делать синтаксический анализатор снизу вверх, вы обычно хотите использовать левую рекурсию. Анализаторы нижнего уровня обычно генерируются с помощью генератора синтаксического анализатора, такого как Yacc или Bison, большинство из которых могут обрабатывать правильную рекурсию, если это необходимо, но могут обрабатывать левую рекурсию несколько более эффективно.

Не могли бы вы назначить определенное место для грамматики PEG ( en.wikipedia.org/wiki/Parsing_expression_grammar )? Я имею в виду, если я собираюсь написать парсер для PEG, я могу предположить, что что-то будет работать лучше, чем другие варианты? Я могу сократить варианты до меньшего числа или более конкретной области?
@ user2485710: Извините, но случайно я не уверен.
нет прямого опыта о грамматиках ПЭГ?
@ user2485710: Я немного поиграл с ними, но это все.
PEG не требуют левосторонней рекурсии (как в грамматике LL), хотя есть некоторые реализации, которые могут справиться с ней в основном путем преобразования грамматики в нерекурсивную форму. Поскольку PEG допускают непосредственное закрытие * / +, проблема необходимости левой рекурсии для левоассоциативных операций менее важна, чем с грамматиками LL
@ChrisDodd ценой того, чтобы быть немного ОТ, можете ли вы назвать хороший генератор синтаксического анализатора в C / C ++ для грамматики PEG? Я хотел бы иметь ссылку для использования в качестве отправной точки, чтобы формально определить, о чем я говорю здесь.
@ user2485710: boost :: spirit использует PEG грамматику / парсинг для своего генератора синтаксического анализатора

Andro · Answer 2 · 2014-06-03T20-14-00.000Z

1

Ну, есть два основных типа грамматик:

LL(k) = Left to tight, leftmost derivation, k symbols look ahead
LR(k) = Left to right, rightmost derivation, k symbols look ahead

Парсеров LR гораздо труднее писать вручную, однако они более мощные, чем LL-парсеры. Если вы смотрите на некоторые популярные инструменты генератора парсера:

ANTLR : a LL parser
BISON:  a LALR(1) parser (a type of LR parser but a bit less powerful)
CUP:    a LALR(1) parser (outputs Java / C# code)

Andro 03 июнь 2014, в 20:14

0

спасибо, у меня уже есть некоторые имена для уже доступных парсеров или библиотек и инструментов, которые могут генерировать парсер. Моя настоящая проблема в том, что грамматики PEG, похоже, не очень популярны, и, например, я не могу найти эквивалент бизона или antlr для грамматики PEG, может быть, я просто что-то неправильно понимаю, или эти грамматики не так популярны, как левые или правильные грамматики.
user2485710 03 июнь 2014, в 21:40
0

Ну, я до сих пор работал только с CUP и Bison и сумел написать паскаль-компилятор, так что все это довольно мощно. ИМХО, хороший лексер (подсказка по гибкой подсказке) и хороший генератор синтаксических анализаторов удовлетворят все ваши потребности, когда дело доходит до создания новых языков надежным способом :)
Andro 03 июнь 2014, в 21:44
0

хорошо спасибо в любом случае
user2485710 03 июнь 2014, в 21:48
1

Обратите внимание, что LL (k) является подмножеством LR (k) - все грамматики LL (k) являются LR (k). Кроме того, хотя грамматика описывает язык, существует много грамматик, которые описывают любой язык. Тот факт, что грамматика не является LL (k) (или LR (k)), не означает, что не существует более простой грамматики для того же языка, который является LL (k) (или LR (k))
Chris Dodd 03 июнь 2014, в 22:53

Показать ещё 2 комментария

user3344003 · Answer 3 · 2014-06-03T19-19-00.000Z

1

Это зависит от того, какой тип парсера вы используете. Если вы используете тип LL, вы должны использовать правильную рекурсию.

Если вы используете тип LR, вы можете использовать левую или правую рекурсию. Однако левая рекурсия минимизирует глубину стека.

user3344003 03 июнь 2014, в 19:19

0

что вы подразумеваете под "типом парсера", сколько типов парсера существует?
user2485710 03 июнь 2014, в 21:29
0

Существует много типов парсеров. Две основные группы - LL и LR. У них есть подгруппы, такие как LR (1), LALR (1).
user3344003 03 июнь 2014, в 21:30
0

так вот почему компилятор Pascal использует меньше памяти, а компилятор C ++ обычно требует больше памяти? Как насчет реализации и насколько сложно реализовать данный парсер?
user2485710 03 июнь 2014, в 21:35
0

Кроме того, предполагая, что моя грамматика является грамматикой PEG, какие парсеры могут удовлетворить мои требования?
user2485710 03 июнь 2014, в 21:36
0

Нет, это не то, почему компилятор Pascal использует меньше памяти. Это потому, что Паскаль намного проще, а также имеет четко определенный синтаксис. Паскаль против C ++ не имеет ничего общего с левой и правой рекурсией.
user207421 03 июнь 2014, в 21:44
0

@EJP Я помнил, что объявления Паскаля выглядят как «противоположность», как в C ++ и наоборот, такого рода слева и справа. Мне нужно изучить это немного более очевидно.
user2485710 03 июнь 2014, в 21:51
0

«Такого рода левый и правый» о самом языке. Ваш вопрос касается грамматики в тех местах, где у вас есть выбор левой или правой рекурсии: например, выражения.
user207421 03 июнь 2014, в 22:25

Показать ещё 5 комментариев