Equivalence of finite-valued streaming string transducers is decidable.
Anca MuschollGabriele PuppisPublished in: CoRR (2019)
Keyphrases
- finite automata
- datalog programs
- regular expressions
- query containment
- valued logic
- function symbols
- data streams
- finite state automata
- guarded fragment
- edit distance
- string matching
- data structure
- query answering
- first order logic
- real time
- transitive closure
- pattern matching
- streaming data
- finite state machines
- video streaming
- linear separability
- context free grammars
- finite number
- equivalence relation
- propositional logic
- logic programs
- query language