The modeling of counter machines by two-head finite automata

E. V. Kuzmin, Valery A. Sokolov. The modeling of counter machines by two-head finite automata. Automatic Control and Computer Sciences, 47(7):541-544, 2013. [doi]

Abstract

Abstract is missing.