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


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

Просмотров: 264

Обратные ссылки

  • Обратные ссылки не определены.


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)