Characterization of omega-Regular Languages by First-Order Formulas.
Kojiro KobayashiMasako TakahashiHideki YamasakiPublished in: Theor. Comput. Sci. (1984)
Keyphrases
- regular languages
- context free languages
- grammatical inference
- regular expressions
- finite automata
- horn clauses
- context free
- context free grammars
- decision problems
- first order logic
- positive data
- pac learning
- data management
- fixpoint
- statistical queries
- query language
- uniform distribution
- finite state machines
- relational learning
- reinforcement learning
- lower bound
- computational complexity