maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2012-5-69-73mais-57Research ArticleОригинальные статьиArticlesМоделирование счетчиковых машин двухголовочными автоматамиThe Modeling of Counter Machines by Two-Head Finite AutomataКузьминЕгор ВладимировичKuzminE. V.

д-р физ.-мат. наук, профессор

д-р физ.-мат. наук, профессор

kuzmin@uniyar.ac.ruСоколовВалерий АнатольевичSokolovV. A.

д-р физ.-мат. наук, профессор

д-р физ.-мат. наук, профессор

sokolov@uniyar.ac.ruЯрославский государственный университет им. П.Г. ДемидоваРоссияЯрославский государственный университет им. П.Г. ДемидоваRussian Federation2012040320151956973Copyright © Кузьмин Е.В., Соколов В.А., 20152015Кузьмин Е.В., Соколов В.А.Kuzmin E.V., Sokolov V.A.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/57

Проводится моделирование работы счетчиковых машин Минского с помощью двухголовочных автоматов.

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

счетчиковые машиныдвухголовочные автоматымоделированиеcounter machinestwo-head finite automatamodelingРФФИ, Федеральная целевая программа «Кадры»ReferencesКотов В. Е., Сабельфельд В. К. Теория схем программ. М.: Наука, Физматлит, 1991. 248 с.Котов В. Е., Сабельфельд В. К. Теория схем программ. М.: Наука, Физматлит, 1991. 248 с.Кузьмин Е. В. Счетчиковые машины: Уч. пособ. Ярославль: ЯрГУ, 2010. 128 с.Кузьмин Е. В. Счетчиковые машины: Уч. пособ. Ярославль: ЯрГУ, 2010. 128 с.Минский М. Вычисления и автоматы. М.: Мир, 1971. 268 c.Минский М. Вычисления и автоматы. М.: Мир, 1971. 268 c.Хопкрофт Д., Мотвани Р., Ульман Д. Введение в теорию автоматов, языков и вычислений. 2-е изд.: Пер. с англ. М.: Вильямс, 2002. 528 с.Хопкрофт Д., Мотвани Р., Ульман Д. Введение в теорию автоматов, языков и вычислений. 2-е изд.: Пер. с англ. М.: Вильямс, 2002. 528 с.Rosenberg A. On Multi-Head Finite Automata // Proc. of the 5th Ann. Symp. on Switch. Theory and Log. Design, 1963. P. 221–228.Rosenberg A. On Multi-Head Finite Automata // Proc. of the 5th Ann. Symp. on Switch. Theory and Log. Design, 1963. P. 221–228.

The authors declare that there are no conflicts of interest present.