Keyphrases
- formal language
- formal languages
- specification language
- natural language
- visual languages
- programming language
- operational semantics
- mildly context sensitive
- action language
- context free grammars
- modal logic
- language processing
- language learning
- high level
- context free
- phrase structure
- conceptual model
- target language
- highly modular
- formal specification
- representation language
- formal verification
- modelling language
- grammar induction
- context free languages
- linear temporal logic
- natural language processing
- tree grammars