LogoРепозиторий Тверского госуниверситета

О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ

Золотов, А.С. (2016) О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (1). С. 103-115. ISSN 1995-0136

[img] PDF - Опубликованная версия
351kB

Абстракт

Мы исследуем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих равенства, в теории целых чисел с функцией следования. Для формул с двумя кластерами мы строим конечный автомат для языка, состоящего из слов, соответствующих минимальной фиксированной точке

Абстракт (англ.)

We investigate effective elimination of the fixed point operator in a theory of integers with a single successor function.We construct a finite-state machine for a language containing words matching the least fixed point

Тип объекта:Статья
Сведения об авторах:Золотов Александр Сергеевич аспирант кафедры информатики Тверского государственного университета.
Ключевые слова:разрешимость, оператор фиксированной точки, ко- нечный автомат
Ключевые слова (англ.):decidability, fixed point operator, finite-state machine
Категории:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.65 Логико-математические теории > 510.652 Формальная арифметика. Формальная теория чисел
Подразделения:Университеты > Тверской государственный университет > Факультеты > ПМиК > Кафедра информатики
ID Code:7854
Deposited By: С.Б. Федорова
Deposited On:02 Авг 2018 14:21
Последнее изменение:02 Авг 2018 14:21

Repository Staff Only: item control page