Graph Spectral Properties of Deterministic Finite Automata

(Short Paper)
  • Ryoma Sin’ya
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8633)

Abstract

We prove that a minimal automaton has the minimal adjacency matrix rank and the minimal adjacency matrix nullity among all equivalent deterministic automata. Our proof uses equitable partition (from graph spectra theory) and Nerode partition (from automata theory). This result leads to the notion of rank of a regular language L, which is the minimal adjacency matrix rank of a deterministic automaton that recognises L. We then define and focus on rank-one languages. We also define the expanded canonical automaton of a rank-one language.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Béal, M.P., Crochemore, M.: Minimizing incomplete automata. In: Finite-State Methods and Natural Language Processing (FSMNLP 2008), pp. 9–16. Joint Research Center (2008), http://igm.univ-mlv.fr/~beal/Recherche/Publications/minimizingIncomplete.pdf
  2. 2.
    Choffrut, C., Goldwurm, M.: Rational transductions and complexity of counting problems. Mathematical Systems Theory 28(5), 437–450 (1995), http://dblp.uni-trier.de/db/journals/mst/mst28.html#ChoffrutG95a CrossRefMATHMathSciNetGoogle Scholar
  3. 3.
    Goldberg, A., Sipser, M.: Compression and ranking. In: Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing, STOC 1985, pp. 440–448. ACM, New York (1985), http://doi.acm.org/10.1145/22145.22194 CrossRefGoogle Scholar
  4. 4.
    Mieghem, P.V.: Graph Spectra for Complex Networks. Cambridge University Press, New York (2011)MATHGoogle Scholar
  5. 5.
    Nerode, A.: Linear automaton transformations. Proceedings of the American Mathematical Society 9(4), 541–544 (1958)CrossRefMATHMathSciNetGoogle Scholar
  6. 6.
    Osnaga, S.M.: On rank one matrices and invariant subspaces. Balkan Journal of Geometry and its Applications (BJGA) 10(1), 145–148 (2005), http://eudml.org/doc/126283 MATHMathSciNetGoogle Scholar
  7. 7.
    Sakarovitch, J.: Elements of Automata Theory. Cambridge University Press, New York (2009)CrossRefMATHGoogle Scholar
  8. 8.
    Shur, A.M.: Combinatorial complexity of regular languages. In: Hirsch, E.A., Razborov, A.A., Semenov, A., Slissenko, A. (eds.) CSR 2008. LNCS, vol. 5010, pp. 289–301. Springer, Heidelberg (2008)Google Scholar
  9. 9.
    Shur, A.M.: Combinatorial characterization of formal languages. CoRR abs/1010.5456 (2010), http://dblp.uni-trier.de/db/journals/corr/corr1010.html#abs-1010-5456
  10. 10.
    Sin’ya, R.: Rans: More advanced usage of regular expressions, http://sinya8282.github.io/RANS/
  11. 11.
    Sin’ya, R.: Text compression using abstract numeration system on a regular language. Computer Software 30(3), 163–179 (2013), English extended abstract is available at http://arxiv.org/abs/1308.0267 (in Japanese)
  12. 12.
    Sin’ya, R.: Graph spectral properties of deterministic finite au tomata (full paper, 12 pages) (2014), http://www.shudo.is.titech.ac.jp/members/sinya

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Ryoma Sin’ya
    • 1
  1. 1.Department of Mathematical and Computing SciencesTokyo Institute of TechnologyJapan

Personalised recommendations