State Complexity of Prefix Distance of Subregular Languages

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

Abstract

The neighbourhood of a regular language of constant radius with respect to the prefix distance is always regular. We give upper bounds and matching lower bounds for the size of the minimal deterministic finite automaton (DFA) needed for the radius k prefix distance neighbourhood of an n state DFA that recognizes, respectively, a finite, a prefix-closed and a prefix-free language. For prefix-closed languages the lower bound automata are defined over a binary alphabet. For finite and prefix-free regular languages the lower bound constructions use an alphabet that depends on the size of the DFA and it is shown that the size of the alphabet is optimal.

Keywords

State Complexity Regular Language Empty String Deterministic Finite Automaton State Complexity Bound 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Bordihn, H., Holzer, M., Kutrib, M.: Determination of finite automata accepting subregular languages. Theor. Comput. Sci. 410(35), 3209–3222 (2009)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Calude, C.S., Salomaa, K., Yu, S.: Additive distances and quasi-distances between words. J. Univ. Comput. Sci. 8(2), 141–152 (2002)MathSciNetMATHGoogle Scholar
  3. 3.
    Câmpeanu, C., Culik II, K., Salomaa, K., Yu, S.: State complexity of basic operations on finite languages. In: Boldt, O., Jürgensen, H. (eds.) WIA 1999. LNCS, vol. 2214, p. 60. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Choffrut, C., Pighizzini, G.: Distances between languages and reflexivity of relations. Theor. Comput. Sci. 286(1), 117–138 (2002)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Deza, M.M., Deza, E.: Encyclopedia of Distances. Springer, Heidelberg (2009)CrossRefMATHGoogle Scholar
  6. 6.
    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. To appear in Computer Science Review. www.dcc.fc.up.pt/dcc/Pubs/TReports/TR11/dcc-2011-08.pdf
  7. 7.
    Han, Y.S., Salomaa, K., Wood, D.: State complexity of prefix-free regular languages. In: Proceedings of the 8th International Workshop on Descriptive Complexity of Formal Systems. pp. 165–176 (2006)Google Scholar
  8. 8.
    Holzer, M., Jakobi, S., Kutrib, M.: The magic number problem for subregular language families. Int. J. Found. Comput. Sci. 23(1), 115–131 (2012)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Holzer, M., Kutrib, M.: Descriptional and computational complexity of finite automata – a survey. Inform. Comput. 209, 456–470 (2011)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Holzer, M., Kutrib, M., Meckel, K.: Nondeterministic state complexity of star-free languages. In: Bouchou-Markhoff, B., Caron, P., Champarnaud, J.-M., Maurel, D. (eds.) CIAA 2011. LNCS, vol. 6807, pp. 178–189. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  11. 11.
    Holzer, M., Truthe, B.: On relations between some subregular language families. Proc. NCMA 2015, 109–124 (2015)Google Scholar
  12. 12.
    Kao, J.Y., Rampersad, N., Shallit, J.: On NFAs where all states are final, initial, or both. Theor. Comput. Sci. 410(47–49), 5010–5021 (2009)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Kutrib, M., Pighizzini, G.: Recent trends in descriptional complexity of formal languages. Bull. EATCS 111, 70–86 (2013)MathSciNetGoogle Scholar
  14. 14.
    Ng, T., Rappaport, D., Salomaa, K.: State complexity of prefix distance. In: Drewes, F. (ed.) CIAA 2015. LNCS, vol. 9223, pp. 238–249. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  15. 15.
    Shallit, J.: A Second Course in Formal Languages and Automata Theory. Cambridge University Press, Cambridge (2009)MATHGoogle Scholar
  16. 16.
    Yu, S.: Regular languages. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, pp. 41–110. Springer, Heidelberg (1997)CrossRefGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2016

Authors and Affiliations

  1. 1.School of ComputingQueen’s UniversityKingstonCanada

Personalised recommendations