Framework using abstract grammar transformations, theory-based algorithms, and graph-inspired canonization to detect and explain (in-)equivalence of context-free grammars, evaluated on educational datasets.
A pilot study of the use of LogEx, lessons learned
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale evaluation of the learning environment. In this paper we describe this study, together with the outcomes, which teach us valuable lessons for the large scale evaluation.
fields
cs.FL 1years
2024 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Detecting and Explaining (In-)equivalence of Context-Free Grammars
Framework using abstract grammar transformations, theory-based algorithms, and graph-inspired canonization to detect and explain (in-)equivalence of context-free grammars, evaluated on educational datasets.