Keyphrases
- abstract machine
- data model
- grammatical inference
- context free grammars
- higher order
- theorem proving
- natural language
- visual languages
- syntactic pattern recognition
- finite state automata
- equational theories
- context free languages
- context free
- tree grammars
- stochastic grammar
- tree adjoining
- mildly context sensitive
- expert systems
- machine learning
- high level
- case study
- knuth bendix
- artificial intelligence
- genetic algorithm
- databases
- data sets