Золотов, А.С. (2016) О ПРИМЕНЕНИИ КОНЕЧНЫХ АВТОМАТОВ К ИССЛЕДОВАНИЮ РАЗРЕШИМОСТИ ТЕОРИИ С ОПЕРАТОРОМ ФИКСИРОВАННОЙ ТОЧКИ. Вестник ТвГУ. Серия: Прикладная математика (1). С. 103-115. ISSN 1995-0136
![[thumbnail of elibrary_25584216_81086709 103-115.pdf]](http://eprints.tversu.ru/style/images/fileicons/application_pdf.png "elibrary_25584216_81086709 103-115.pdf") |
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 On: | 02 Авг 2018 14:21 |
| Последнее изменение: | 02 Авг 2018 14:21 |
Repository Staff Only: item control page