Approximate Automata for Omega-Regular Languages.
Rayna DimitrovaBernd FinkbeinerHazem TorfahPublished in: CoRR (2020)
Keyphrases
- regular languages
- regular expressions
- finite automata
- grammatical inference
- context free languages
- decision problems
- context free grammars
- positive data
- finite state automata
- pac learning
- context free
- finite state machines
- equivalence queries
- pattern matching
- positive and negative
- optimal policy
- database
- membership queries
- semi supervised
- upper bound
- query language
- special case