Closure Properties of Unrestricted Grammars - Formally Verified.

Martin Dvorak Jasmin Blanchette

Published in: CoRR (2023)

Keyphrases

closure properties
context free grammars
expressive power
tree automata
context free
query language
conjunctive queries
structural properties
grammatical inference
finite state
relational databases
hidden markov models
dynamic programming
sufficient conditions
context dependent