Transforming a single-valued transducer into a Mealy machine

From MaRDI portal
Publication:1267709