On the representation of finite deterministic 2-tape automata

From MaRDI portal
Publication:1960654