A Regular and Complete Notion of Delay for Comparing Executions of Streaming String Transducers

The authors introduce a novel notion of delay that can be used to regularly and completely compare executions of streaming string transducers, a powerful class of string-to-string transducers.