translets -- Parsing-Diagnose bei Permutationsoperatoren und
Nicht-Determinismus

Abstrakt:

Translets ist eine Java-Bibliothek zur einfachen Realisierung von
Parsern für kleine DSLs, z.B. zum Einlesen komplexerer
benutzerdefinierter Datentypen.  Um auch für reine Domänen-Experten
handhabbar zu sein, unterstützen sie robustes Verhalten in der
Definition und Anwendung, u.a. durch non-deterministisches Parsieren,
und leiten ausführliche Diagnose-Informationen im Falle von
Parsierungs-Fehlschlägen ab.

Dies führt zu kombinatorischen Explosionen, wenn der
Permutationsoperator und epsilon-Produktionen auf einander
treffen. Wir präsentieren eine neuartige Visualisierung der
Parsierungsresultate und einen Algorithmus, der diese Explosion
vermeidet.