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

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

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


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




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

Известия высших учебных заведений. Математика, 2016, номер 7, страницы 55–65 (Mi ivm9134)  
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

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

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

Казанский (Приволжский) федеральный университет, ул. Кремлевская, д. 18, г. Казань, 420008, Россия
PDF полного текста (216 kB) Список цитирования (1)
Список литературы:
PDF
HTML
Аннотация: Показано, что множество префиксно разрешимых сверхслов замкнуто относительно конечно-автоматных и асинхронно автоматных преобразований. Доказано существование атома, состоящего из префиксно разрешимых сверхслов с неразрешимой монадической теорией (т.е. не разрешимых по Бюхи), в структуре степеней конечно-автоматных и структуре степеней асинхронно автоматных преобразований. Также доказано существование атома, состоящего из сверхслов с разрешимой монадической теорией (разрешимых по Бюхи), в структуре степеней асинхронно автоматных преобразований.
Ключевые слова: сверхслово, префиксная разрешимость, разрешимость по Бюхи, монадические теории, автоматные преобразования, степени, атом.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-01-31200 мол_a
Министерство образования и науки Российской Федерации 1.2045.2014
Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований (проект № 14-01-31200 мол_a) и за счет финансовых средств субсидии, выделенной Казанскому (Приволжскому) федеральному университету на выполнение государственного задания в сфере научной деятельности, проект № 1.2045.2014.
Поступила: 18.12.2014
Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 2016, Volume 60, Issue 7, Pages 47–55
DOI: https://doi.org/10.3103/S1066369X16070070
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.53
Образец цитирования: Н. Н. Корнеева, “Автоматные преобразования префиксно разрешимых и разрешимых по Бюхи сверхслов”, Изв. вузов. Матем., 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{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000409301300007}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84975862651}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ivm9134
  • https://www.mathnet.ru/rus/ivm/y2016/i7/p55
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Известия высших учебных заведений. Математика Russian Mathematics (Izvestiya VUZ. Matematika)
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024