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