A Formalisation of the Normal Forms of Context-Free Grammars in HOL4.
Aditi BarthwalMichael NorrishPublished in: CSL (2010)
Keyphrases
- context free grammars
- normal form
- grammatical inference
- database design
- functional dependencies
- theorem prover
- relational databases
- context free languages
- context free
- formal methods
- nested relations
- production rules
- covering arrays
- regular expressions
- data dependencies
- attribute grammars
- xml schema
- tree automata
- prime implicates
- natural language
- knowledge base
- artificial intelligence