FormalLanguageConstrainedPathQuerying / FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes
Убрать явные маркеры конца строки в грамматиках
未关闭
- 主要语言
- TeX
- 星标
- 6
- 派生
- 12
- PR 合并指标
- 30 天内没有已合并 PR
描述
В разделе про LR-алгоритмы грамматики дополняются стартовым правилом `S' -> S $` с явным маркером конца строки. Это расползается в LR-автоматы и таблицы. Так ли они нужны? Унифицировать с остальными разделами.
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。