Equivalence of Finite-Valued Streaming String Transducers Is Decidable.
Anca MuschollGabriele PuppisPublished in: ICALP (2019)
Keyphrases
- finite automata
- datalog programs
- regular expressions
- query containment
- valued logic
- function symbols
- first order logic
- string matching
- data streams
- finite state automata
- pattern matching
- guarded fragment
- streaming data
- query answering
- linear separability
- data structure
- grammatical inference
- context free grammars
- video streaming
- real time streaming
- tight complexity bounds
- proximity graph
- database
- tree automata
- suffix tree
- hamming distance
- query evaluation
- real time