Sufficient equivalence condition for \(n\)-tape automata

From MaRDI portal
Publication:1842391