Closure Properties of General Grammars - Formally Verified.

Martin Dvorak Jasmin Blanchette

Published in: ITP (2023)

Keyphrases

closure properties
expressive power
context free grammars
tree automata
special case
context free
knowledge base
conjunctive queries
structural properties
finite automata