Four-valued monitorability of ω-regular languages.
Zhe ChenYunyun ChenRobert M. HieronsYifan WuPublished in: CoRR (2020)
Keyphrases
- regular languages
- context free languages
- regular expressions
- grammatical inference
- finite automata
- decision problems
- pac learning
- context free grammars
- positive data
- context free
- finite state machines
- inductive inference
- pattern matching
- uniform distribution
- state space
- equivalence queries
- training data
- decision trees
- statistical queries
- query language
- database systems