• DocumentCode
    1731984
  • Title

    On union-complexity of regular languages

  • Author

    Nagy, Benedek

  • Author_Institution
    Dept. of Comput. Sci., Univ. of Debrecen, Debrecen, Hungary
  • fYear
    2010
  • Firstpage
    177
  • Lastpage
    182
  • Abstract
    Regular expressions can be represented by expression tree and by flow diagram (syntax graph). Based on equivalences a possible normal form can be obtained. It has interesting properties in both graphical representations. The union-complexity of languages is defined. The union-complexity is 1 for the union-free languages. These languages can be given by regular expressions without the operation union. Some properties of them are described. There is an analogy with the star-free languages and the star-height problem of regular languages. We show that each regular language has finite union-complexity based on its description by a finite union of union-free languages (union normal-form). For some special language classes, for instance for finite languages the union complexity is easily computed. For union-complexity of any regular languages lower and upper bounds are presented. This measure gives an infinite hierarchy of regular languages. The union-height can be defined and proved to be at most 1 allowing n-ary unions.
  • Keywords
    computational complexity; formal languages; regular expression; regular languages; star-free languages; union complexity; union-free languages; Approximation methods; Automata; Complexity theory; Computational intelligence; Informatics; Syntactics; Upper bound; expression tree; finite automata; normal form; regular expressions; regular languages; syntax graph; union-complexity; union-free languages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computational Intelligence and Informatics (CINTI), 2010 11th International Symposium on
  • Conference_Location
    Budapest
  • Print_ISBN
    978-1-4244-9279-4
  • Electronic_ISBN
    978-1-4244-9280-0
  • Type

    conf

  • DOI
    10.1109/CINTI.2010.5672252
  • Filename
    5672252