The Modeling of Counter Machines by Two-Head Finite Automata

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

Bibliographic Details
Main Authors: E. V. Kuzmin, V. A. Sokolov
Format: Article
Language:English
Published: Yaroslavl State University 2015-03-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/57