1. Оптимизации. Из наиболее очевидных мне видятся:
1) упрощенные ДКА (позволяющие не входить в заведомо не разбираемые для текущего символа подправила);
2) точках отсечения (позволяющие не откатываться до нуля, а выдавать сообщения об ошибках и обнулять хэш-таблицу мемоизации, если таковая будет использоваться).
2. Генерацию осмысленных сообщений об ошибках при этом не понижая (существенно) производительности парсера.
3. Мемоизацию. Можно ли создать алгоритм который статически вычислит правила требующие мемоизации? Конечно можно мемоизировать все нетермиальные правила не удовлетворяющие LL(1), но боюсь, что это будет не очень эффективно.
4. Динамическое расширение. Точнее о том, как реализовать остальные пункты при этом не потеряв возможности реализовать динамическое расширение парсера?
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
