|
Проблемы передачи информации, 2015, том 51, выпуск 4, страницы 47–59
(Mi ppi2186)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Большие системы
О задачах регулярной реализуемости для контекстно-свободных языков
М. Н. Вялыйabc, А. А. Рубцовcb a Вычислительный центр им. А. А. Дородницына РАН
b Национальный исследовательский университет "Высшая школа экономики"
c Московский физико-технический институт (государственный университет)
Аннотация:
Рассматриваются задачи регулярной реализуемости, которые состоят в проверке непустоты пересечения регулярного языка на входе задачи и фиксированного языка (фильтра), который является параметром задачи. Изучается алгоритмическая сложность задач регулярной реализуемости для контекстно-свободных фильтров. Эта характеристика согласована с отношением рационального доминирования на КС-языках. Однако, как доказывается, она более грубая. Также приводятся примеры как $\mathbf P$-полных, так и $\mathbf{NL}$-полных задач регулярной реализуемости для КС-фильтров. Кроме того, приведен пример подкласса КС-языков, для фильтров из которого задачи регулярной реализуемости могут иметь промежуточную сложность. Это языки с полиномиально ограниченным рациональным индексом.
Поступила в редакцию: 09.09.2014 После переработки: 13.05.2015
Образец цитирования:
М. Н. Вялый, А. А. Рубцов, “О задачах регулярной реализуемости для контекстно-свободных языков”, Пробл. передачи информ., 51:4 (2015), 47–59; Problems Inform. Transmission, 51:4 (2015), 349–360
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ppi2186 https://www.mathnet.ru/rus/ppi/v51/i4/p47
|
Статистика просмотров: |
Страница аннотации: | 371 | PDF полного текста: | 78 | Список литературы: | 73 | Первая страница: | 48 |
|