Logics for Reversible Regular Languages and Semigroups with Involution.
Paul GastinAmaldev ManuelR. GovindPublished in: DLT (2019)
Keyphrases
- regular languages
- regular expressions
- context free languages
- grammatical inference
- finite automata
- decision problems
- context free grammars
- positive data
- markov chain
- pac learning
- np hard
- pattern matching
- databases
- inductive inference
- finite state machines
- xml schema
- state space
- query language
- decision makers
- equivalence queries