einige Fehler in Grammatiken als Syntaxfehler deklararieren

Diese Regeln enthalten ein Zeichen, das weder Terminal noch Nichtterminal ist:

mkSet
[ ( "S", "(S)")]

Sollte das nicht eher ein Syntaxfehler sein?

---

Ja könnte man so sehen.

Zunächst ist Syntaxfehler = der Parser lehnt es ab.

Alles weitere erfordert Nachprogrammierung.