Keyphrases
- formal languages
- theoretical framework
- mathematical foundations
- mathematical theory
- expressive power
- theoretical basis
- formal models
- formal language
- formal model
- knowledge representation languages
- formal methods
- formal descriptions
- language identification
- general theory
- grammatical inference
- cross lingual
- databases