Characterization of omega-Regular Languages by Monadic Second-Order Formulas.
Hideki YamasakiMasako TakahashiKojiro KobayashiPublished in: Theor. Comput. Sci. (1986)
Keyphrases
- regular languages
- context free languages
- grammatical inference
- regular expressions
- finite automata
- decision problems
- context free grammars
- positive data
- deductive databases
- pac learning
- pattern matching
- context free
- finite state machines
- sample complexity
- fixpoint
- database
- matching algorithm
- object oriented
- lower bound
- computational complexity