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

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

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



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






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


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

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

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

Ярославский государственный университет

Аннотация: Обсуждаются алгоритмы, которые могут быть применены для решения задачи ограниченности счетчиковых машин Минского. Предлагается полиномиальный алгоритм для решения проблемы ограниченности односчетчиковых машин Минского, использующий объем памяти, соизмеримый с объемом, необходимым для представления самой машины.

Ключевые слова: счетчиковые машины Минского, проблема ограниченности, алгоритмы поиска цикла в периодической последовательности, верификация моделей.

Полный текст: PDF файл (361 kB)
Список литературы: PDF файл   HTML файл
УДК: 519.7
Поступила в редакцию: 02.11.2008

Образец цитирования: Е. В. Кузьмин, Д. Ю. Чалый, “Алгоритмы для проблемы ограниченности счетчиковых машин”, Модел. и анализ информ. систем, 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}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais115
  • http://mi.mathnet.ru/rus/mais/v15/i4/p42

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:172
    Полный текст:71
    Литература:27
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021