Using Context-Free Grammars to Scaffold and Automate Feedback in Precise Mathematical Writing.
Jason XiaCraig B. ZillesPublished in: SIGCSE (1) (2023)
Keyphrases
- context free grammars
- grammatical inference
- context free languages
- context free
- predicate invention
- regular languages
- covering arrays
- attribute grammars
- grammar induction
- syntactic pattern recognition
- formal languages
- lexical semantics
- xml schema
- closure properties
- neural network
- machine learning
- tree automata
- regular expressions
- genetic algorithm
- data mining