Моделирование счетчиковых машин двухголовочными автоматами

A method of modeling the Minsky counter machine behaviour by a two-head finite automaton is proposed.