A characterization of automata and a direct product decomposition

From MaRDI portal
Publication:1230609