Finite-valued Streaming String Transducers.
Emmanuel FiliotIsmaël JeckerChristof LödingAnca MuschollGabriele PuppisSarah WinterPublished in: LICS (2024)
Keyphrases
- finite automata
- regular expressions
- pattern matching
- finite state automata
- finite number
- string matching
- data structure
- data streams
- valued logic
- edit distance
- grammatical inference
- video streaming
- streaming data
- knowledge base
- data streaming
- real time
- real time streaming
- classical logic
- peer to peer
- case study
- learning algorithm
- information retrieval
- neural network