Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar.
Akio FujiyoshiMasakazu SuzukiSeiichi UchidaPublished in: AISC/MKM/Calculemus (2008)
Keyphrases
- context free grammars
- tree automata
- grammatical inference
- syntactic pattern recognition
- context free
- context free languages
- formal languages
- regular expressions
- databases
- covering arrays
- natural language sentences
- model checking
- tree bank
- regular languages
- production rules
- genetic programming
- fuzzy logic
- relational databases
- machine learning