https://datadosen.com/en/Log-space_transducer