Logical formulas and four subclasses of omega-regular languages.
Kojiro KobayashiMasako TakahashiHideki YamasakiPublished in: Automata on Infinite Words (1984)
Keyphrases
- regular languages
- logical formulas
- regular expressions
- grammatical inference
- context free languages
- finite automata
- decision problems
- predicate logic
- knowledge base
- context free grammars
- partial order
- first order logic
- pac learning
- positive data
- pattern matching
- natural language
- finite state machines
- temporal logic
- context free
- utility function
- optimal policy
- description logics
- query language
- statistical queries
- inductive inference
- domain knowledge
- learning problems
- training data
- machine learning