|
Ученые записки Казанского университета. Серия Физико-математические науки, 2018, том 160, книга 4, страницы 731–737
(Mi uzku1491)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Вычислимая вложимость классов алгебраических структур с отношением конгруэнтности
С. Ватевa, Х. Ганчевa, И. Ш. Калимуллинb a Софийский университет имени святого Климента Охридского, г. София, 1504, Болгария
b Казанский (Приволжский) федеральный университет,
г. Казань, 420008, Россия
Аннотация:
В работе показано, что между вычислимой вложимостью классов алгебраических структур, основанной на операторах перечисления, и тьюринговой вложимостью имеется промежуточное понятие, основанное на использовании неинъективных представлениях алгебраических структур. Проблема экивалентности этого понятия инъективной вычислимой вложимости связана с проблемой эффективной факторизации структуры с помощью оператора перечисления.
Ключевые слова:
оператор перечисления, тьюринговый оператор, алгебраическая структура, атомная диаграмма.
Поступила в редакцию: 11.09.2018
Образец цитирования:
С. Ватев, Х. Ганчев, И. Ш. Калимуллин, “Вычислимая вложимость классов алгебраических структур с отношением конгруэнтности”, Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки, 160, № 4, Изд-во Казанского ун-та, Казань, 2018, 731–737
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/uzku1491 https://www.mathnet.ru/rus/uzku/v160/i4/p731
|
Статистика просмотров: |
Страница аннотации: | 297 | PDF полного текста: | 112 | Список литературы: | 26 |
|