Моделирование и анализ информационных систем
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Моделирование и анализ информационных систем, 2008, том 15, номер 4, страницы 42–55 (Mi mais115)  

Алгоритмы для проблемы ограниченности счетчиковых машин

Е. В. Кузьмин, Д. Ю. Чалый

Ярославский государственный университет
Список литературы:
Аннотация: Обсуждаются алгоритмы, которые могут быть применены для решения задачи ограниченности счетчиковых машин Минского. Предлагается полиномиальный алгоритм для решения проблемы ограниченности односчетчиковых машин Минского, использующий объем памяти, соизмеримый с объемом, необходимым для представления самой машины.
Ключевые слова: счетчиковые машины Минского, проблема ограниченности, алгоритмы поиска цикла в периодической последовательности, верификация моделей.
Поступила в редакцию: 02.11.2008
УДК: 519.7
Образец цитирования: Е. В. Кузьмин, Д. Ю. Чалый, “Алгоритмы для проблемы ограниченности счетчиковых машин”, Модел. и анализ информ. систем, 15:4 (2008), 42–55
Цитирование в формате AMSBIB
\RBibitem{KuzCha08}
\by Е.~В.~Кузьмин, Д.~Ю.~Чалый
\paper Алгоритмы для проблемы ограниченности счетчиковых машин
\jour Модел. и анализ информ. систем
\yr 2008
\vol 15
\issue 4
\pages 42--55
\mathnet{http://mi.mathnet.ru/mais115}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mais115
  • https://www.mathnet.ru/rus/mais/v15/i4/p42
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Моделирование и анализ информационных систем
    Статистика просмотров:
    Страница аннотации:261
    PDF полного текста:102
    Список литературы:41
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024