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

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

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


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




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

Вестник Тверского государственного университета. Серия: Прикладная математика, 2016, выпуск 1, страницы 103–115 (Mi vtpmk8)  
Теоретические основы информатики

О применении конечных автоматов к исследованию разрешимости теории с оператором фиксированной точки

А. С. Золотов

Тверской государственный университет
PDF полного текста (343 kB)
Список литературы:
PDF
HTML
Аннотация: Мы исследуем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования. Для формул с двумя кластерами мы строим конечный автомат для языка, состоящего из слов, соответствующих минимальной фиксированной точке.
Ключевые слова: разрешимость, оператор фиксированной точки, конечный автомат.
Поступила в редакцию: 15.01.2016
Исправленный вариант: 08.02.2016
Реферативные базы данных:
Тип публикации: Статья
УДК: 533.6, 517.95
Образец цитирования: А. С. Золотов, “О применении конечных автоматов к исследованию разрешимости теории с оператором фиксированной точки”, Вестник ТвГУ. Серия: Прикладная математика, 2016, № 1, 103–115
Цитирование в формате AMSBIB
\RBibitem{Zol16}
\by А.~С.~Золотов
\paper О применении конечных автоматов к исследованию разрешимости теории с оператором фиксированной точки
\jour Вестник ТвГУ. Серия: Прикладная математика
\yr 2016
\issue 1
\pages 103--115
\mathnet{http://mi.mathnet.ru/vtpmk8}
\elib{https://elibrary.ru/item.asp?id=25584216}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/vtpmk8
  • https://www.mathnet.ru/rus/vtpmk/y2016/i1/p103
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Вестник Тверского государственного университета. Серия: Прикладная математика
    Статистика просмотров:
    Страница аннотации:145
    PDF полного текста:66
    Список литературы:55
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024