Advertisement

Theory of Computing Systems

, Volume 49, Issue 2, pp 319–342 | Cite as

One-Nonterminal Conjunctive Grammars over a Unary Alphabet

  • Artur Jeż
  • Alexander Okhotin
Article

Abstract

Conjunctive grammars over an alphabet Σ={a} are studied, with the focus on the special case with a unique nonterminal symbol. Such a grammar is equivalent to an equation X=ϕ(X) over sets of natural numbers, using union, intersection and addition. It is shown that every grammar with multiple nonterminals can be encoded into a grammar with a single nonterminal, with a slight modification of the language. Based on this construction, the compressed membership problem for one-nonterminal conjunctive grammars over {a} is proved to be EXPTIME-complete; the same problem for the context-free grammars is decidable in NLOGSPACE, but becomes NP-complete if the grammar is compressed as well. The equivalence problem for these grammars is shown to be co-r.e.-complete, both finiteness and co-finiteness are r.e.-complete, while equivalence to a fixed unary language with a regular positional notation is decidable.

Keywords

Conjunctive grammars Language equations Unary languages Decision problems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Autebert, J., Berstel, J., Boasson, L.: Context-free languages and pushdown automata. In: Rozenberg, S. (ed.) Handbook of Formal Languages, vol. 1, pp. 111–174. Springer, Berlin (1997) Google Scholar
  2. 2.
    Huynh, D.T.: Commutative grammars: the complexity of uniform word problems. Inf. Control 57(1), 21–39 (1983) MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Jeż, A.: Conjunctive grammars can generate non-regular unary languages. Int. J. Found. Comput. Sci. 19(3), 597–615 (2008) zbMATHCrossRefGoogle Scholar
  4. 4.
    Jeż, A., Okhotin, A.: Conjunctive grammars over a unary alphabet: undecidability and unbounded growth. Theory Comput. Syst. 46(1), 27–58 (2010) MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Jeż, A., Okhotin, A.: Complexity of equations over sets of natural numbers. Theory Comput. Syst. 48(2), 319–342 (2011) zbMATHCrossRefGoogle Scholar
  6. 6.
    Jeż, A., Okhotin, A.: On the computational completeness of equations over sets of natural numbers. In: 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008, pp. 63–74 (2008) Google Scholar
  7. 7.
    Jeż, A., Okhotin, A.: Equations over sets of natural numbers with addition only. In: STACS 2009, Freiburg, Germany, 26–28 February 2009, pp. 577–588 (2009) Google Scholar
  8. 8.
    Katsányi, I.: Sets of integers in different number systems and the Chomsky hierarchy. Acta Cybern. 15(2), 121–136 (2011) Google Scholar
  9. 9.
    Kunc, M.: What do we know about language equations. In: Developments in Language Theory, DLT 2007, Turku, Finland, July 3–6 2007. LNCS, vol. 4588, pp. 23–27 (2007) CrossRefGoogle Scholar
  10. 10.
    Lehtinen, T., Okhotin, A.: On language equations XXK=XXL and XM=N over a unary alphabet. In: Developments in Language Theory, DLT 2010, London, Ontario, Canada, August 17–20, 2010. LNCS, vol. 6224, pp. 291–302 (2010) CrossRefGoogle Scholar
  11. 11.
    Lohrey, M.: Word problems and membership problems on compressed words. SIAM J. Comput. 35(5), 1210–1240 (2006) MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    McKenzie, P., Wagner, K.W.: The complexity of membership problems for circuits over sets of natural numbers. Comput. Complex. 16, 211–244 (2007) MathSciNetzbMATHCrossRefGoogle Scholar
  13. 13.
    Okhotin, A.: Conjunctive grammars. J. Autom. Lang. Comb. 6(4), 519–535 (2001) MathSciNetzbMATHGoogle Scholar
  14. 14.
    Okhotin, A.: Conjunctive grammars and systems of language equations. Program. Comput. Softw. 28, 243–249 (2002) MathSciNetzbMATHCrossRefGoogle Scholar
  15. 15.
    Okhotin, A.: A recognition and parsing algorithm for arbitrary conjunctive grammars. Theor. Comput. Sci. 302, 365–399 (2003) MathSciNetzbMATHCrossRefGoogle Scholar
  16. 16.
    Okhotin, A.: On the number of nonterminals in linear conjunctive grammars. Theor. Comput. Sci. 320(2–3), 419–448 (2004) MathSciNetzbMATHCrossRefGoogle Scholar
  17. 17.
    Okhotin, A.: Generalized LR parsing algorithm for Boolean grammars. Int. J. Found. Comput. Sci. 17(3), 629–664 (2006) MathSciNetzbMATHCrossRefGoogle Scholar
  18. 18.
    Okhotin, A.: Recursive descent parsing for Boolean grammars. Acta Inform. 44(3–4), 167–189 (2007) MathSciNetzbMATHCrossRefGoogle Scholar
  19. 19.
    Okhotin, A.: Fast parsing for Boolean grammars: a generalization of Valiant’s algorithm. In: Developments in Language Theory, DLT 2010, London, Ontario, Canada, August 17–20, 2010. LNCS, vol. 6224, pp. 340–351 (2010) CrossRefGoogle Scholar
  20. 20.
    Okhotin, A., Rondogiannis, P.: On the expressive power of univariate equations over sets of natural numbers. In: IFIP Intl. Conf. on Theoretical Computer Science. TCS 2008, Milan, Italy, 8–10 September 2008. IFIP, vol. 273, pp. 215–227 (2008) CrossRefGoogle Scholar
  21. 21.
    Plandowski, W., Rytter, W.: Complexity of language recognition problems for compressed words. In: Karhumäki, J., Maurer, H.A., Păun, G., Rozenberg, G. (eds.) Jewels Are Forever, pp. 262–272. Springer, Berlin (1999) Google Scholar
  22. 22.
    Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time. In: STOC 1973, pp. 1–9 (1973) CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  1. 1.Institute of Computer ScienceUniversity of WrocławWrocławPoland
  2. 2.Department of MathematicsUniversity of TurkuTurkuFinland

Personalised recommendations