|
Problemy Peredachi Informatsii, 2015, Volume 51, Issue 4, Pages 47–59
(Mi ppi2186)
|
|
|
|
This article is cited in 6 scientific papers (total 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.
Received: 09.09.2014 Revised: 13.05.2015
Citation:
M. N. Vyalyi, A. A. Rubtsov, “On regular realizability problems for context-free languages”, Probl. Peredachi Inf., 51:4 (2015), 47–59; Problems Inform. Transmission, 51:4 (2015), 349–360
Linking options:
https://www.mathnet.ru/eng/ppi2186 https://www.mathnet.ru/eng/ppi/v51/i4/p47
|
Statistics & downloads: |
Abstract page: | 366 | Full-text PDF : | 75 | References: | 70 | First page: | 48 |
|