Моделирование счетчиковых машин двухголовочными автоматами
https://doi.org/10.18255/1818-1015-2012-5-69-73
Аннотация
Проводится моделирование работы счетчиковых машин Минского с помощью двухголовочных автоматов.
При поддержке: РФФИ, Федеральная целевая программа «Кадры»
Об авторах
Егор Владимирович Кузьмин
Ярославский государственный университет им. П.Г. Демидова
Россия
д-р физ.-мат. наук, профессор
Россия
д-р физ.-мат. наук, профессор
Валерий Анатольевич Соколов
Ярославский государственный университет им. П.Г. Демидова
Россия
д-р физ.-мат. наук, профессор
Россия
д-р физ.-мат. наук, профессор
Список литературы
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.
Рецензия
Для цитирования:
Кузьмин Е.В., Соколов В.А. Моделирование счетчиковых машин двухголовочными автоматами. Моделирование и анализ информационных систем. 2012;19(5):69-73. https://doi.org/10.18255/1818-1015-2012-5-69-73
For citation:
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
Просмотров:
906
Послать статью по эл. почте 