https://123dok.org/document/zwvr8d5g-minimizing-resources-of-sweeping-and-streaming-string-transducers.html