FormalLanguageConstrainedPathQuerying / FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes

Убрать явные маркеры конца строки в грамматиках

Ouverte
#4 0 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
Langage dominant
TeX
Étoiles
6
Forks
12
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

В разделе про LR-алгоритмы грамматики дополняются стартовым правилом `S' -> S $` с явным маркером конца строки. Это расползается в LR-автоматы и таблицы. Так ли они нужны? Унифицировать с остальными разделами.

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.