English

Rational index of bounded-oscillation languages

Formal Languages and Automata Theory 2020-12-08 v1

Abstract

The rational index of a context-free language LL is a function f(n)f(n), such that for each regular language RR recognized by an automaton with nn states, the intersection of LL and RR is either empty or contains a word shorter than f(n)f(n). It is known that the context-free language (CFL-)reachability problem and Datalog query evaluation for context-free languages (queries) with the polynomial rational index is in NC, while these problems is P-complete in the general case. We investigate the rational index of bounded-oscillation languages and show that it is of polynomial order. We obtain upper bounds on the values of the rational index for general bounded-oscillation languages and for some of its previously studied subclasses.

Cite

@article{arxiv.2012.03567,
  title  = {Rational index of bounded-oscillation languages},
  author = {Ekaterina Shemetova and Alexander Okhotin and Semyon Grigorev},
  journal= {arXiv preprint arXiv:2012.03567},
  year   = {2020}
}
R2 v1 2026-06-23T20:46:32.193Z