Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

PDF

CPS Theory

2010

Articles 1 - 1 of 1

Full-Text Articles in Engineering

Expressiveness Of Streaming String Transducers, Rajeev Alur Jan 2010

Expressiveness Of Streaming String Transducers, Rajeev Alur

Departmental Papers (CIS)

Streaming string transducers define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and uses a finite set of variables that range over strings from the output alphabet. At every step, the transducer processes an input symbol, and updates all the variables in parallel using assignments whose right-hand-sides are concatenations of output symbols and variables with the restriction that a variable can be used at most once in a right-hand-side expression. It has been shown that streaming string transducers operating on strings over infinite data domains are of interest ...