|
Моделирование и анализ информационных систем, 2008, том 15, номер 4, страницы 42–55
(Mi mais115)
|
|
|
|
Алгоритмы для проблемы ограниченности счетчиковых машин
Е. В. Кузьмин, Д. Ю. Чалый Ярославский государственный университет
Аннотация:
Обсуждаются алгоритмы, которые могут быть применены для решения задачи ограниченности счетчиковых машин Минского. Предлагается полиномиальный алгоритм для решения проблемы ограниченности односчетчиковых машин Минского, использующий объем памяти, соизмеримый с объемом, необходимым для представления самой машины.
Ключевые слова:
счетчиковые машины Минского, проблема ограниченности, алгоритмы поиска цикла в периодической последовательности, верификация моделей.
Поступила в редакцию: 02.11.2008
Образец цитирования:
Е. В. Кузьмин, Д. Ю. Чалый, “Алгоритмы для проблемы ограниченности счетчиковых машин”, Модел. и анализ информ. систем, 15:4 (2008), 42–55
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais115 https://www.mathnet.ru/rus/mais/v15/i4/p42
|
Статистика просмотров: |
Страница аннотации: | 261 | PDF полного текста: | 102 | Список литературы: | 41 |
|