Four-Valued Monitorability of ømega-Regular Languages.
Zhe ChenYunyun ChenRobert M. HieronsYifan WuPublished in: ICFEM (2020)
Keyphrases
- regular languages
- context free languages
- regular expressions
- grammatical inference
- finite automata
- decision problems
- context free grammars
- pac learning
- positive data
- statistical queries
- positive and negative
- finite state machines
- pattern matching
- context free
- xml schema
- inductive inference
- databases
- utility function
- equivalence queries
- query language