Detecting and explaining (in)equivalence of context-free grammars

We propose a scalable framework for deciding, proving, and explaining (in)equivalence of context-free grammars. We present an implementation of the framework and evaluate it on large data sets collected within educational support systems. Even though the equivalence problem for context-free language...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-07
Hauptverfasser:	Schmellenkamp, Marko, Zeume, Thomas, Argo, Sven, Kiefer, Sandra, Siems, Cedric, Stebel, Fynn
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Context free languages Equivalence Grammars Support systems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!