Advertisement

Nondeterministic Tree Width of Regular Languages

  • Cezar Câmpeanu
  • Kai Salomaa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9118)

Abstract

The tree width of a nondeterministic finite automaton (NFA) counts the maximum number of computations the automaton may have on a given input. Here we consider the tree width of a regular language, which, roughly speaking, measures the amount of nondeterminism that a state-minimal NFA for the language needs. We prove that an infinite tree width is obtained from finite tree width, for most operations on regular languages.

Keywords

Regular languages Nondeterministic finite automata Measures of nondeterminism 

References

  1. 1.
    Birget, J.C.: Intersection and union of regular languages and state complexity. Inf. Process. Lett. 43, 185–190 (1992)zbMATHMathSciNetCrossRefGoogle Scholar
  2. 2.
    Björklund, H., Martens, W.: The tractability frontier for NFA minimization. J. Comput. Syst. Sci. 78, 198–210 (2012)zbMATHCrossRefGoogle Scholar
  3. 3.
    Brüggemann-Klein, A., Wood, D.: One-unambiguous regular languages. Inf. Comput. 142–2, 182–206 (1998)CrossRefGoogle Scholar
  4. 4.
    Câmpeanu, C.: Simplyfying nondeterministic finite cover automata. Electron. Proc. Theoret. Comput. Sci. 151–AFL, 162–173 (2014)CrossRefGoogle Scholar
  5. 5.
    Câmpeanu, C.: Non-deterministic finite cover automata. Sci. Ann. Comput. Sci. 29, 3–28 (2015)CrossRefGoogle Scholar
  6. 6.
    Chrobak, M.: Finite automata and unary languages. Theoret. Comput. Sci. 47, 149–158 (1986)zbMATHMathSciNetCrossRefGoogle Scholar
  7. 7.
    Eilenberg, S., Schützenberger, M.P.: Rational sets in commutative monoids. J. Algebra 13(2), 173–191 (1969)zbMATHMathSciNetCrossRefGoogle Scholar
  8. 8.
    Ellul, K.: Descriptional Complexity Measures of Regular Languages. Master’s thesis, University of Waterloo (2004)Google Scholar
  9. 9.
    Gao, Y., Moreira, N., Reis, R., Yu, S.: A review on state complexity of individual operations. Faculdade de Ciencias, Universidade do Porto, Technical report DCC-2011-8. www.dcc.fc.up.pt/dcc/Pubs/TReports/TR11/dcc-2011-08.pdf To appear in Computer Science Review
  10. 10.
    Goldstine, J., Kintala, C.M.R., Wotschke, D.: On measuring nondeterminism in regular languages. Inf. Comput. 86, 179–194 (1990)zbMATHMathSciNetCrossRefGoogle Scholar
  11. 11.
    Gruber, H., Holzer, M.: Finding lower bounds for nondeterministic state complexity is hard. In: Ibarra, O.H., Dang, Z. (eds.) DLT 2006. LNCS, vol. 4036, pp. 363–374. Springer, Heidelberg (2006). http://dx.doi.org/10.1007/11779148_33 CrossRefGoogle Scholar
  12. 12.
    Gruber, H., Holzer, M.: Computational complexity of NFA minimization for finite and unary languages. In: Proceedings of LATA, pp. 261–272 (2007)Google Scholar
  13. 13.
    Holzer, M., Kutrib, M.: Nondeterministic descriptional complexity of regular languages. Int. J. Found. Comput. Sci. 14, 1087–1102 (2003)zbMATHMathSciNetCrossRefGoogle Scholar
  14. 14.
    Hromkovič, J., Seibert, S., Karhumäki, J., Klauck, H., Schnitger, G.: Communication complexity method for measuring nondeterminism in finite automata. Inf. Comput. 172, 202–217 (2002)zbMATHCrossRefGoogle Scholar
  15. 15.
    Jiang, T., McDowell, E., Ravikumar, B.: The structure and complexity of minimal NFAs over a unary alphabet. Int. J. Found. Comput. Sci. 2, 163–182 (1991)zbMATHMathSciNetCrossRefGoogle Scholar
  16. 16.
    Jiang, T., Ravikumar, B.: Minimal NFA problems are hard. SIAM J. Comput. 22, 1117–1141 (1993)zbMATHMathSciNetCrossRefGoogle Scholar
  17. 17.
    Kozen, D.: Lower bounds for natural proof systems. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, FOCS, pp. 254–266 (1977)Google Scholar
  18. 18.
    Leung, H.: Descriptional complexity of NFA of different ambiguity. Int. J. Found. Comput. Sci. 16, 975–984 (2005)zbMATHCrossRefGoogle Scholar
  19. 19.
    Malcher, A.: Minimizing finite automata is computationally hard. Theoret. Comput. Sci. 327, 375–390 (2004)zbMATHMathSciNetCrossRefGoogle Scholar
  20. 20.
    Palioudakis, A., Salomaa, K., Akl, S.G.: State complexity and limited nondeterminism. In: Kutrib, M., Moreira, N., Reis, R. (eds.) DCFS 2012. LNCS, vol. 7386, pp. 252–265. Springer, Heidelberg (2012) CrossRefGoogle Scholar
  21. 21.
    Palioudakis, A., Salomaa, K., Akl, S.G.: Unary NFAs with limited nondeterminism. In: Geffert, V., Preneel, B., Rovan, B., Štuller, J., Tjoa, A.M. (eds.) SOFSEM 2014. LNCS, vol. 8327, pp. 443–454. Springer, Heidelberg (2014) CrossRefGoogle Scholar
  22. 22.
    Palioudakis, A., Salomaa, K., Akl, S.G.: State complexity of finite tree width NFAs. J. Automata Lang. Comb. 17(2–4), 245–264 (2012)zbMATHMathSciNetGoogle Scholar
  23. 23.
    Palioudakis, A.: State complexity of nondeterministic finite automata with limited nondeterminism. Ph.D. thesis, Queen’s University (2014)Google Scholar
  24. 24.
    Ravikumar, B., Ibarra, O.H.: Relating the degree of ambiguity of finite automata to the succinctness of their representation. SIAM J. Comput. 18, 1263–1282 (1989)zbMATHMathSciNetCrossRefGoogle Scholar
  25. 25.
    Shallit, J.: A Second Course in Formal Languages and Automata Theory. Cambridge University Press, Cambridge (2009) zbMATHGoogle Scholar
  26. 26.
    Stockmeyer, L.J., Meyer, A.R.: Word problems requiring exponential time. In: Proceedings of the 5th Symposium on Theory of Computing, pp. 1–9 (1973)Google Scholar
  27. 27.
    Yu, S.: Regular languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol. I, pp. 41–110. Springer, Heidelberg (1997)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Computer Science and Information TechnologyUniversity of Prince Edward IslandCharlottetownCanada
  2. 2.School of ComputingQueen’s UniversityKingstonCanada

Personalised recommendations