Approximate Automata for Omega-Regular Languages.
Rayna DimitrovaBernd FinkbeinerHazem TorfahPublished in: ATVA (2019)
Keyphrases
- regular languages
- regular expressions
- finite automata
- grammatical inference
- context free languages
- decision problems
- context free grammars
- pac learning
- positive data
- finite state automata
- finite state machines
- pattern matching
- context free
- query language
- database
- matching algorithm
- sample size
- efficient learning
- theoretical analysis
- markov chain
- equivalence queries
- computational complexity