Deciding FO-definability of Regular Languages.
Agi KuruczVladislav RyzhikovYury SavateevMichael ZakharyaschevPublished in: RAMiCS (2021)
Keyphrases
- regular languages
- regular expressions
- context free languages
- grammatical inference
- finite automata
- fixpoint
- decision problems
- context free grammars
- pac learning
- first order logic
- query language
- finite state machines
- positive data
- pattern matching
- deductive databases
- context free
- learning tasks
- model checking
- sample size
- logic programs
- equivalence queries
- dynamic programming
- knowledge base