The Modeling of Counter Machines by Two-Head Finite Automata
https://doi.org/10.18255/1818-1015-2012-5-69-73
Abstract
A method of modeling the Minsky counter machine behaviour by a two-head finite automaton is proposed.
About the Authors
E. V. Kuzmin
Ярославский государственный университет им. П.Г. Демидова
Russian Federation
д-р физ.-мат. наук, профессор
Russian Federation
д-р физ.-мат. наук, профессор
V. A. Sokolov
Ярославский государственный университет им. П.Г. Демидова
Russian Federation
д-р физ.-мат. наук, профессор
Russian Federation
д-р физ.-мат. наук, профессор
References
1. Котов В. Е., Сабельфельд В. К. Теория схем программ. М.: Наука, Физматлит, 1991. 248 с.
2. Кузьмин Е. В. Счетчиковые машины: Уч. пособ. Ярославль: ЯрГУ, 2010. 128 с.
3. Минский М. Вычисления и автоматы. М.: Мир, 1971. 268 c.
4. Хопкрофт Д., Мотвани Р., Ульман Д. Введение в теорию автоматов, языков и вычислений. 2-е изд.: Пер. с англ. М.: Вильямс, 2002. 528 с.
5. Rosenberg A. On Multi-Head Finite Automata // Proc. of the 5th Ann. Symp. on Switch. Theory and Log. Design, 1963. P. 221–228.
Review
For citations:
Kuzmin E.V., Sokolov V.A. The Modeling of Counter Machines by Two-Head Finite Automata. Modeling and Analysis of Information Systems. 2012;19(5):69-73. (In Russ.) https://doi.org/10.18255/1818-1015-2012-5-69-73
Views:
913
Email this article 