• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

О задачах регулярной реализуемости для контекстно-свободных языков

Проблемы передачи информации. 2015. Т. 51. № 4. С. 47-59.

Рассматриваются задачи регулярной реализуемости, которые состоят в проверке непустоты пересечения регулярного языка на входе задачи и фиксированного языка (фильтра), который явля- ется параметром задачи. В данной работе изучается алгоритмиче- ская сложность задач регулярной реализуемости для контекстно- свободных фильтров. Эта характеристика согласована с отноше- нием рационального доминирования на КС-языках. Однако, как доказано в работе, она более грубая. В работе также приводятся примеры как P-полных, так и NL-полных задач регулярной реа- лизуемости для КС-фильтров. Также приведен пример подкласса КС-языков, для фильтров из которого задачи регулярной реали- зуемости могут иметь промежуточную сложность. Это языки с полиномиально ограниченным рациональным индексом.