2 citations · 3 across the 12 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
NILE: Formalizing Natural-Language Descriptions of Formal Languages
Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken +1
This paper explores how natural-language descriptions of formal languages can be compared to their formal representations and how semantic differences can be explained. This is mot…
cs.FL2024
Detecting and Explaining (In-)equivalence of Context-Free Grammars
Marko Schmellenkamp, Thomas Zeume, Sven Argo +3
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 la…