RUS  ENG
Full version
JOURNALS // Problemy Peredachi Informatsii // Archive

Probl. Peredachi Inf., 2015 Volume 51, Issue 4, Pages 47–59 (Mi ppi2186)

This article is cited in 6 papers

Large Systems

On regular realizability problems for context-free languages

M. N. Vyalyiabc, A. A. Rubtsovcb

a Dorodnitsyn Computing Center of the Russian Academy of Sciences, Moscow, Russia
b National Research University — Higher School of Economics, Moscow, Russia
c Moscow Institute of Physics and Technology (State University), Moscow, Russia

Abstract: We consider regular realizability problems, which consist in verifying whether the intersection of a regular language which is the problem input and a fixed language (filter) which is a parameter of the problem is nonempty. We study the algorithmic complexity of regular realizability problems for context-free filters. This characteristic is consistent with the rational dominance relation of CF languages. However, as we prove, it is more rough. We also give examples of both $\mathbf P$-complete and $\mathbf{NL}$-complete regular realizability problems for CF filters. Furthermore, we give an example of a subclass of CF languages for filters of which the regular realizability problems can have an intermediate complexity. These are languages with polynomially bounded rational indices.

UDC: 621.391.1+519.7

Received: 09.09.2014
Revised: 13.05.2015


 English version:
Problems of Information Transmission, 2015, 51:4, 349–360

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024