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

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

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



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






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


Дискретный анализ и исследование операций, 2012, том 19, выпуск 2, страницы 3–18 (Mi da679)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

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

М. Н. Вялыйa, А. А. Рубцовb

a Вычислительный центр РАН, Москва, Россия
b Московский физико-технический институт, Долгопрудный, Россия
Список литературы:
Аннотация: Работа посвящена двум алгоритмическим задачам, связанным с анализом поведения конечного автомата при чтении сверхслова (бесконечной последовательности): достигает ли автомат принимающего состояния и достигает ли он принимающего состояния бесконечно часто. Первая задача возникает при анализе моделей обобщённого недетерминизма, а вторая – при анализе разрешимости монадических теорий второго порядка. Получены новые условия разрешимости для этих задач. Доказано, что всякая задача регулярной реализуемости (проверки выполнимости некоторого регулярного свойства на заданном множестве слов) алгоритмически эквивалентна некоторой задаче о достижении автоматом принимающего состояния при чтении сверхслова. Библиогр. 11.
Ключевые слова: сверхслово, регулярный язык, алгоритмическая разрешимость, монадическая теория.
Статья поступила: 06.06.2011
Переработанный вариант: 09.09.2011
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.53
Образец цитирования: М. Н. Вялый, А. А. Рубцов, “Алгоритмическая разрешимость задач о поведении автоматов на сверхсловах”, Дискретн. анализ и исслед. опер., 19:2 (2012), 3–18
Цитирование в формате AMSBIB
\RBibitem{VyaRub12}
\by М.~Н.~Вялый, А.~А.~Рубцов
\paper Алгоритмическая разрешимость задач о~поведении автоматов на сверхсловах
\jour Дискретн. анализ и исслед. опер.
\yr 2012
\vol 19
\issue 2
\pages 3--18
\mathnet{http://mi.mathnet.ru/da679}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2978609}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/da679
  • https://www.mathnet.ru/rus/da/v19/i2/p3
  • Эта публикация цитируется в следующих 2 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Дискретный анализ и исследование операций
    Статистика просмотров:
    Страница аннотации:537
    PDF полного текста:164
    Список литературы:48
    Первая страница:19
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024