Equivalence problems for transducers with a bounded number of states
scientific article; zbMATH DE number 1263012