K
https://hackage.haskell.org/package/parsec - любые парсеркомбинаторы можно рассматривать как LL(*), только заданные не в форме таблиц
Size: a a a
2021 May 24
K
LR всё равно мощнее)
РС
Видел целую пейпу о том, что он сложнее и для EBNF его написать это целая пытка:)
h
ну. если типы предикатов в диапозоне однозначны и не конфликтуют с другими ветками парсинга, то проблем не вижу. А вот если от кол-ва предикатов зависит ветвление, то сомневаюсь, что LL(1) такое получиться без заморочек спарсить
K
А его не надо писать для EBNF, надо для BNF и транслятор EBNF->BNF
K
Второе я тоже писал, кстати
h
@gmike_music, а можете привести пример проблемы?
РС
А как это транслировать если там например A{3,} - а может повторяться от 3 до бесконечного количества раз
K
Как
https://github.com/Heimdell/LR/blob/master/src/Typed.hs
aaa(a*), очевидно. А устранение *, +, ? и | есть в коде у меня:https://github.com/Heimdell/LR/blob/master/src/Typed.hs
K
для
a+ создаётся новое правило a_plus = a a_plus | aРС
По определению LL после того как мы определили нужное правило, мы должны удалить элемент из стека. А в данном случае мы его не удаляем, а инкремитируем счётчик повторений, чтобы потом сравнить с диапазоном?
K
Для врождений
a? - дублируется исходноеa = b? c ->a = b c
a = c
h
А есть closing и opening delimeter'ы?
РС
Кстати, это какой-то другой вид грамматики? В BNF, EBNF не терминал определяется один раз, т.е. там не пишут
A= B
A= $
A= B
A= $
РС
А что имеется в виду?) Нигде не видел их упоминания)
K
Это форма грамматики, которую я использую, чтобы не писать
=>
|.a = b? c
=>
a = b c | c
h
сразу скажу, что я просто не шарю за парсер-генераторы. поэтому термины их мне неизвестны.
я только самописные делал под определенные синтаксисы.
имею в виду, что если у вас начинается последовательность, у которой, к примеру, есть определяющий начальный токен
я только самописные делал под определенные синтаксисы.
имею в виду, что если у вас начинается последовательность, у которой, к примеру, есть определяющий начальный токен
( и закрывающий ), то вы парсите элементы до конца файла, пока не найдете закрывающий ). наверное такое себе решение...РС
Это как раз First и Follow. Они есть, да
h
тогда в чем проблема?
h
skip First
while not EOF
if Follow: break
// Parse element...
skip Follow