|
Проблемы передачи информации, 2013, том 49, выпуск 3, страницы 86–104
(Mi ppi2117)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Большие системы
О выразительной силе задач регулярной реализуемости
М. Н. Вялый Вычислительный центр им. А. А. Дородницына РАН
Аннотация:
Задачи регулярной реализуемости – это задачи проверки непустоты пересечения некоторого заданного языка (фильтра) с регулярным языком. Ниже рассматривается вопрос о выразительной силе этого класса задач. Доказано, что для любого языка существует задача регулярной реализуемости, эквивалентная этому языку относительно дизъюнктных сводимостей на недетерминированной логарифмической памяти. Как следствие, доказано существование полных относительно полиномиальной сводимости задач регулярной реализуемости для всех уровней полиномиальной иерархии.
Поступила в редакцию: 13.07.2012 После переработки: 24.12.2012
Образец цитирования:
М. Н. Вялый, “О выразительной силе задач регулярной реализуемости”, Пробл. передачи информ., 49:3 (2013), 86–104; Problems Inform. Transmission, 49:3 (2013), 276–291
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ppi2117 https://www.mathnet.ru/rus/ppi/v49/i3/p86
|
Статистика просмотров: |
Страница аннотации: | 389 | PDF полного текста: | 98 | Список литературы: | 62 | Первая страница: | 15 |
|