Practical Proofs of Parsing for Context-free Grammars.
Harjasleen MalvaiGregory NevenAndrew MillerSiam HussainPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- context free grammars
- grammatical inference
- context free
- syntactic pattern recognition
- context free languages
- tree adjoining
- visual languages
- grammar induction
- semantic parsing
- covering arrays
- predicate invention
- attribute grammars
- regular languages
- artificial intelligence
- finite automata
- production rules
- regular expressions
- database systems
- metadata