Nondeterministic Complexity of Operations on Free and Convex Languages

  • Michal Hospodár
  • Galina Jirásková
  • Peter Mlynárčik
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10329)

Abstract

We study the nondeterministic state complexity of basic regular operations on the classes of prefix-, suffix-, factor-, and subword-free and -convex regular languages. For the operations of intersection, union, concatenation, square, star, reversal, and complementation, we get the tight upper bounds for all considered classes except for complementation on factor- and subword-convex languages. Most of our witnesses are described over optimal alphabets. The most interesting result is the describing of a proper suffix-convex language over a five-letter alphabet meeting the upper bound \(2^n\) for complementation.

Notes

Acknowledgment

We would like to thank Jozef Jirásek, Jr., for his help with finding the suffix-convex witness for complementation and for fruitful discussions on the topic.

References

  1. 1.
    Birget, J.: Intersection and union of regular languages and state complexity. Inform. Process. Lett. 43(4), 185–190 (1992). doi:10.1016/0020-0190(92)90198-5 MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Brzozowski, J., Jirásková, G., Li, B., Smith, J.: Quotient complexity of bifix-, factor-, and subword-free regular languages. Acta Cybernetica 21(4), 507–527 (2014)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Brzozowski, J.: Complexity in convex languages. In: Dediu, A.-H., Fernau, H., Martín-Vide, C. (eds.) LATA 2010. LNCS, vol. 6031, pp. 1–15. Springer, Heidelberg (2010). doi:10.1007/978-3-642-13089-2_1 CrossRefGoogle Scholar
  4. 4.
    Brzozowski, J.A., Jirásková, G., Li, B.: Quotient complexity of ideal languages. Theoret. Comput. Sci. 470, 36–52 (2013). doi:10.1016/j.tcs.2012.10.055 MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Brzozowski, J.A., Jirásková, G., Zou, C.: Quotient complexity of closed languages. Theory Comput. Syst. 54(2), 277–292 (2014). doi:10.1007/s00224-013-9515-7 MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Cmorik, R., Jirásková, G.: Basic operations on binary suffix-free languages. In: Kotásek, Z., Bouda, J., Černá, I., Sekanina, L., Vojnar, T., Antoš, D. (eds.) MEMICS 2011. LNCS, vol. 7119, pp. 94–102. Springer, Heidelberg (2012). doi:10.1007/978-3-642-25929-6_9 CrossRefGoogle Scholar
  7. 7.
    Han, Y., Salomaa, K.: Nondeterministic state complexity for suffix-free regular languages. In: McQuillan, I., Pighizzini, G. (eds.) DCFS 2010. EPTCS, vol. 31, pp. 189–196 (2010). doi:10.4204/EPTCS.31.21
  8. 8.
    Han, Y., Salomaa, K., Wood, D.: Nondeterministic state complexity of basic operations for prefix-free regular languages. Fundam. Inform. 90(1–2), 93–106 (2009). doi:10.3233/FI-2009-0008 MathSciNetMATHGoogle Scholar
  9. 9.
    Holzer, M., Kutrib, M.: Nondeterministic descriptional complexity of regular languages. Int. J. Found. Comput. Sci. 14(6), 1087–1102 (2003). doi:10.1142/S0129054103002199 MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Hospodár, M., Jirásková, G., Mlynárčik, P.: Nondeterministic complexity of operations on closed and ideal languages. In: Han, Y.-S., Salomaa, K. (eds.) CIAA 2016. LNCS, vol. 9705, pp. 125–137. Springer, Cham (2016). doi:10.1007/978-3-319-40946-7_11 CrossRefGoogle Scholar
  11. 11.
    Jirásková, G.: State complexity of some operations on binary regular languages. Theoret. Comput. Sci. 330(2), 287–298 (2005). doi:10.1016/j.tcs.2004.04.011 MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Jirásková, G., Masopust, T.: Complexity in union-free regular languages. Internat. J. Found. Comput. Sci. 22(7), 1639–1653 (2011). doi:10.1142/S0129054111008933 MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Jirásková, G., Mlynárčik, P.: Complement on prefix-free, suffix-free, and non-returning NFA languages. In: Jürgensen, H., Karhumäki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 222–233. Springer, Cham (2014). doi:10.1007/978-3-319-09704-6_20 Google Scholar
  14. 14.
    Jirásková, G., Olejár, P.: State complexity of intersection and union of suffix-free languages and descriptional complexity. In: Bordihn, H., et al. (eds.) NCMA 2009, vol. 256, pp. 151–166. Austrian Computer Society (2009). books.ocg.at
  15. 15.
    Mlynárčik, P.: Complement on free and ideal languages. In: Shallit, J., Okhotin, A. (eds.) DCFS 2015. LNCS, vol. 9118, pp. 185–196. Springer, Cham (2015). doi:10.1007/978-3-319-19225-3_16 CrossRefGoogle Scholar
  16. 16.
    Sipser, M.: Introduction to the Theory of Computation. PWS Publishing Company, Boston (1997)MATHGoogle Scholar
  17. 17.
    Yu, S.: Regular languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. 1, pp. 41–110. Springer, Heidelberg (1997)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Michal Hospodár
    • 1
  • Galina Jirásková
    • 1
  • Peter Mlynárčik
    • 1
  1. 1.Mathematical InstituteSlovak Academy of SciencesKošiceSlovakia

Personalised recommendations