FormalLanguageConstrainedPathQuerying / FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes

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

Offen
#4 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
Vorherrschende Sprache
TeX
Sterne
6
Forks
12
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

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

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.