Space-Efficient Bimachine Construction Based on the Equalizer Accumulation Principle

Stefan Gerdjikov, Stoyan Mihov, Klaus U. Schulz

Algorithms for building bimachines from functional transducers found in the literature in a run of the bimachine imitate one successful path of the input transducer. Each single bi…