Decidability of DPDA Language Equivalence via First-Order Grammars.
Petr JancarPublished in: LICS (2012)
Keyphrases
- natural language
- visual languages
- context free
- programming language
- description logics
- mildly context sensitive
- language learning
- higher order
- model theoretic
- grammatical inference
- conditional logic
- formal language
- predicate calculus
- context sensitive
- phrase structure
- type checking
- decision procedures
- knowledge base
- linear temporal logic
- representation language
- context free grammars
- language processing
- first order logic
- query containment
- quantifier elimination
- context dependent
- theorem proving