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

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

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



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






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


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

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

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

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

a Вычислительный центр РАН, Москва, Россия
b Московский физико-технический институт, Долгопрудный, Россия

Аннотация: Работа посвящена двум алгоритмическим задачам, связанным с анализом поведения конечного автомата при чтении сверхслова (бесконечной последовательности): достигает ли автомат принимающего состояния и достигает ли он принимающего состояния бесконечно часто. Первая задача возникает при анализе моделей обобщённого недетерминизма, а вторая – при анализе разрешимости монадических теорий второго порядка. Получены новые условия разрешимости для этих задач. Доказано, что всякая задача регулярной реализуемости (проверки выполнимости некоторого регулярного свойства на заданном множестве слов) алгоритмически эквивалентна некоторой задаче о достижении автоматом принимающего состояния при чтении сверхслова. Библиогр. 11.

Ключевые слова: сверхслово, регулярный язык, алгоритмическая разрешимость, монадическая теория.

Полный текст: PDF файл (292 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.53
Статья поступила: 06.06.2011
Переработанный вариант: 09.09.2011

Образец цитирования: М. Н. Вялый, А. А. Рубцов, “Алгоритмическая разрешимость задач о поведении автоматов на сверхсловах”, Дискретн. анализ и исслед. опер., 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://www.ams.org/mathscinet-getitem?mr=2978609}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/da679
  • http://mi.mathnet.ru/rus/da/v19/i2/p3

    ОТПРАВИТЬ: 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

    Эта публикация цитируется в следующих статьяx:
    1. Н. Н. Корнеева, “Автоматные преобразования префиксно разрешимых и разрешимых по Бюхи сверхслов”, Изв. вузов. Матем., 2016, № 7, 55–65  mathnet; N. N. Korneeva, “Automata transformations of prefix decidable and decidable by Buchi superwords”, Russian Math. (Iz. VUZ), 60:7 (2016), 47–55  crossref  isi
    2. Н. Н. Корнеева, “Структура степеней конечно-автоматных преобразований префиксно разрешимых сверхслов”, Изв. вузов. Матем., 2016, № 9, 90–95  mathnet; N. N. Korneeva, “The structure of degrees of finite automaton transformations of prefix decidable superwords”, Russian Math. (Iz. VUZ), 60:9 (2016), 79–83  crossref  isi
  • Дискретный анализ и исследование операций
    Просмотров:
    Эта страница:320
    Полный текст:93
    Литература:34
    Первая стр.:19

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019