Keyphrases
- formal language
- modal logic
- natural language
- logic programming
- context free grammars
- classical logic
- grammatical inference
- multi valued
- automated reasoning
- mildly context sensitive
- finite state automata
- computational properties
- data sets
- natural language processing
- case study
- digital circuits
- artificial intelligence
- information retrieval
- proof theory
- stochastic grammar
- machine learning