|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Принцип декомпозиции и алгоритмическая неразрешимость для моноидов Клини с делениямитезисы доклада
- Автор: Кузнецов С.Л.
- Сборник: Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов
- Тезисы
- Год издания: 2021
- Издательство: Тверской государственный университет
- Местоположение издательства: Тверь
- Первая страница: 176
- Последняя страница: 180
- DOI: 10.26456/mfcsics-21-26
- Аннотация: В работе рассматривается специальный класс моноидов с делениями и итерацией Клини — а именно, удовлетворяющих принципу декомпозиции итерации. Доказана \Sigma^0_1-полнота его инэквациональной теории; также показано, что существуют моноиды с делениями и итерацией, не удовлетворяющие принципу декомпозиции.
- Добавил в систему: Кузнецов Степан Львович