The Containment Problem for Unambiguous Register Automata.
Antoine MottetKarin QuaasPublished in: CoRR (2018)
Keyphrases
- automata theoretic
- regular path queries
- conjunctive queries
- regular expressions
- cellular automata
- probabilistic automata
- finite automata
- query containment
- finite state
- finite state machines
- query evaluation
- lattice gas
- finite automaton
- neural network
- temporal logic
- query optimization
- finite state automata
- expert systems
- set valued attributes
- formal language theory
- information systems