On the Number of Active States in Deterministic and Nondeterministic Finite Automata

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10329)

Abstract

We introduce a new measure of descriptional complexity on finite automata, called the number of active states. Roughly speaking, the number of active states of an automaton A on input w counts the number of different states visited during the most economic computation of the automaton A for the word w. This concept generalizes to finite automata and regular languages in a straightforward way. We show that the number of active states of both finite automata and regular languages is computable, even with respect to nondeterministic finite automata. We further compare the number of active states to related measures for regular languages. In particular, we show incomparability to the radius of regular languages and that the difference between the number of active states and the total number of states needed in finite automata for a regular language can be of exponential order.

References

  1. 1.
    Birget, J.-C.: Intersection and union of regular languages and state complexity. Inform. Process. Lett. 43, 185–190 (1992)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Bordihn, H., Holzer, M.: On the number of active symbols in L and CD grammar systems. J. Autom. Lang. Comb. 6(4), 411–426 (2001)MathSciNetMATHGoogle Scholar
  3. 3.
    Burch, J.R., Clarke, E.M., McMillan, K.L.: Symbolic model checking: \(10^{20}\) states and beyond. Inform. Comput. 98(2), 142–170 (1992)MathSciNetCrossRefMATHGoogle Scholar
  4. 4.
    Ellul, K.: Descriptional complexity measures of regular languages. Master thesis, Computer Science, University of Waterloo, Ontario, Canada (2002)Google Scholar
  5. 5.
    Gill, A., Kou, L.T.: Multiple-entry finite automata. J. Comput. System Sci. 9, 1–19 (1974)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Kleijn, H.C.M., Rozenberg, G.: A study in parallel rewriting systems. Inform. Control 44, 134–163 (1980)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Lockefeer, L.: Formal specification and verification of TCP extended with the Window Scale Option. Master thesis, Vrije Universiteit Amsterdam, The Netherlands (2013)Google Scholar
  8. 8.
    Wood, D.: Theory of Computation. Wiley (1987)Google Scholar
  9. 9.
    Yokomori, T., Wood, D., Lange, K.-J.: A three-restricted normal form theorem for ET0L languages. Inform. Process. Lett. 14(3), 97–100 (1982) and 21(1), 53 (1985)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.Institut für InformatikUniversität PotsdamPotsdamGermany
  2. 2.Institut Für InformatikUniversität GiessenGiessenGermany

Personalised recommendations