Finite Automata, Digraph Connectivity, and Regular Expression Size

(Extended Abstract)
  • Hermann Gruber
  • Markus Holzer
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5126)


Recently lower bounds on the minimum required size for the conversion of deterministic finite automata into regular expressions and on the required size of regular expressions resulting from applying some basic language operations on them, were given by Gelade and Neven [8]. We strengthen and extend these results, obtaining lower bounds that are in part optimal, and, notably, the presented examples are over a binary alphabet, which is best possible. To this end, we develop a different, more versatile lower bound technique that is based on the star height of regular languages. It is known that for a restricted class of regular languages, the star height can be determined from the digraph underlying the transition structure of the minimal finite automaton accepting that language. In this way, star height is tied to cycle rank, a structural complexity measure for digraphs proposed by Eggan and Büchi, which measures the degree of connectivity of directed graphs.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Hermann Gruber
    • 1
  • Markus Holzer
    • 2
  1. 1.Institut für InformatikLudwig-Maximilians-Universität MünchenMünchenGermany
  2. 2.Institut für InformatikTechnische Universität MünchenGarching bei MünchenGermany

Personalised recommendations