Почему реализация Earley с SPPF это не выход, а Marpa и Perl6 - тупик развития:
[html]<a href="http://blog.reverberate.org/2013/09/ll-and-lr-in-context-why-parsing-tools.html">http://blog.reverberate.org/2013/09/ll-and-lr-in-context-why-parsing-tools.html</a>[/html]

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

тут надо различать КС-языки и КС-грамматики. алгоритм Earley разберёт все КС-языки, но если грамматика была написана неоднозначной, то в итоге образуется SPPF (причём неизвестно каким образом) и что тогда с этим лесом делать?

Earley хорош тем, что он всё делает на лету. И можно даже менять саму грамматику в середине процесса разбора. Но практически это неясно как и зачем.

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

Было бы заманчиво всё-таки сделать такой генератор для грамматики EBNF по стандарту (с операцией вычитания).
Это было бы продвижением (конкурентным преимуществом) по сравнению с bison. И тогда мотивация уткина была бы применима (что у меня тоже поэтессы и преферанс).
Но есть два "но".

1) не ясно как всё-таки работать с вычитаниями регулярных выражений
2) МихалНик говорит, что надо забить на автоматы, потому что они только для контекстно-свободных языков, а конечная цель у нас приближение к русскому (который контекстно-зависимый)

Отредактировано Лис (2017-11-08 14:51:26)

Да что Вы, Уткин, понимаете в хитрых планах? Вот мой:
1) пишем генератор с поддержкой вычитания
2) пишем в конкурсную документацию соответствие стандарту ISO EBNF
3) выигрываем конкурс, потому что больше таким никто не заморачивался

вопрос непонятен, пожалуйста, задайте его в развёрнутом виде.