Advertisement

Regular Realizability Problems and Context-Free Languages

  • A. RubtsovEmail author
  • M. Vyalyi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9118)

Abstract

We investigate regular realizability (RR) problems, which are the problems of verifying whether the intersection of a regular language – the input of the problem – and a fixed language, called a filter, is non-empty. In this paper we focus on the case of context-free filters. The algorithmic complexity of the RR problem is a very coarse measure of the complexity of context-free languages. This characteristic respects the rational dominance relation. We show that a RR problem for a maximal filter under the rational dominance relation is \(\mathbf {P}\)-complete. On the other hand, we present an example of a \(\mathbf {P}\)-complete RR problem for a non-maximal filter. We show that RR problems for Greibach languages belong to the class \(\mathbf {NL}\). We also discuss RR problems with context-free filters that might have intermediate complexity. Possible candidates are the languages with polynomially-bounded rational indices. We show that RR problems for these filters lie in the class \(\mathbf {NSPACE}(\log ^2 n)\).

Notes

Acknowledgments

We are acknowledged to Abuzer Yakaryilmaz for pointing on the result of Lemma 5 and for reference to a lemma similar to Lemma 6.

References

  1. 1.
    Anderson, T., Loftus, J., Rampersad, N., Santean, N., Shallit, J.: Detecting palindromes, patterns and borders in regular languages. Inf. Comput. 207, 1096–1118 (2009)zbMATHMathSciNetCrossRefGoogle Scholar
  2. 2.
    Berstel, J.: Transductions and Context-Free Languages. Teubner Verlag, Stuttgart/Leipzig/Wiesbaden (1979)zbMATHCrossRefGoogle Scholar
  3. 3.
    Berstel, J., Boasson, L.: Context-free languages. In: Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 59–102. Elsevier, Amsterdam (1990)Google Scholar
  4. 4.
    Boasson, L.: Non-générateurs algébriques et substitution. RAIRO Informatique théorique 19, 125–136 (1985)zbMATHMathSciNetGoogle Scholar
  5. 5.
    Boasson, L., Courcelle, B., Nivat, M.: The rational index, a complexity measure for languages. SIAM J. Comput. 10(2), 284–296 (1981)zbMATHMathSciNetCrossRefGoogle Scholar
  6. 6.
    Greenlaw, R., Hoover, H.J., Ruzzo, L.: Limits to Parallel Computation: P-Completeness Theory. Oxford University Press, Oxford (1995)zbMATHGoogle Scholar
  7. 7.
    Greibach, S.A.: An infinite hierarchy of context-free languages. J. ACM 16, 91–106 (1969)zbMATHMathSciNetCrossRefGoogle Scholar
  8. 8.
    Lewis, P.M., Stearns, R.E., Hartmanis, J.: Memory bounds for recognition of context-free and context-sensitive languages. In: Switching Circuit Theory and Logical Design, pp. 191–202. IEEE, New York (1965)Google Scholar
  9. 9.
    Pierre, L.: Rational indexes of generators of the cone of context-free languages. Theor. Comput. Sci. 95, 279–305 (1992)zbMATHMathSciNetCrossRefGoogle Scholar
  10. 10.
    Pierre, L., Farinone, J.M.: Rational index of context-free languages with rational index in \(\Theta (n^\gamma )\) for algebraic numbers \(\gamma \). Informatique théorique et applications 24(3), 275–322 (1990)zbMATHMathSciNetGoogle Scholar
  11. 11.
    Vyalyi, M.N.: On regular realizability problems. Probl. Inf. Transm. 47(4), 342–352 (2011)zbMATHMathSciNetCrossRefGoogle Scholar
  12. 12.
    Vyalyi, M.N.: Universality of regular realizability problems. In: Bulatov, A.A., Shur, A.M. (eds.) CSR 2013. LNCS, vol. 7913, pp. 271–282. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  13. 13.
    Yakaryılmaz, A.: One-counter verifiers for decidable languages. In: Bulatov, A.A., Shur, A.M. (eds.) CSR 2013. LNCS, vol. 7913, pp. 366–377. Springer, Heidelberg (2013) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Computing Centre of RASMoscowRussia
  2. 2.Moscow Institute of Physics and TechnologyMoscowRussia
  3. 3.National Research University Higher School of EconomicsMoscowRussia

Personalised recommendations