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

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

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



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






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


Изв. вузов. Матем., 2016, номер 7, страницы 55–65 (Mi ivm9134)  

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

Автоматные преобразования префиксно разрешимых и разрешимых по Бюхи сверхслов

Н. Н. Корнеева

Казанский (Приволжский) федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия

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

Ключевые слова: сверхслово, префиксная разрешимость, разрешимость по Бюхи, монадические теории, автоматные преобразования, степени, атом.

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-01-31200 мол_a
Министерство образования и науки Российской Федерации 1.2045.2014
Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект № 14-01-31200 мол_a) и за счет финансовых средств субсидии, выделенной Казанскому (Приволжскому) федеральному университету на выполнение государственного задания в сфере научной деятельности, проект № 1.2045.2014.


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

Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 2016, 60:7, 47–55

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

Тип публикации: Статья
УДК: 510.53
Поступила: 18.12.2014

Образец цитирования: Н. Н. Корнеева, “Автоматные преобразования префиксно разрешимых и разрешимых по Бюхи сверхслов”, Изв. вузов. Матем., 2016, № 7, 55–65; Russian Math. (Iz. VUZ), 60:7 (2016), 47–55

Цитирование в формате AMSBIB
\RBibitem{Kor16}
\by Н.~Н.~Корнеева
\paper Автоматные преобразования префиксно разрешимых и разрешимых по Бюхи сверхслов
\jour Изв. вузов. Матем.
\yr 2016
\issue 7
\pages 55--65
\mathnet{http://mi.mathnet.ru/ivm9134}
\transl
\jour Russian Math. (Iz. VUZ)
\yr 2016
\vol 60
\issue 7
\pages 47--55
\crossref{https://doi.org/10.3103/S1066369X16070070}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000409301300007}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84975862651}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ivm9134
  • http://mi.mathnet.ru/rus/ivm/y2016/i7/p55

    ОТПРАВИТЬ: 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, № 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
  • Известия высших учебных заведений. Математика Russian Mathematics (Izvestiya VUZ. Matematika)
    Просмотров:
    Эта страница:90
    Полный текст:10
    Литература:11
    Первая стр.:5

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