Title :
On union-complexity of regular languages
Author_Institution :
Dept. of Comput. Sci., Univ. of Debrecen, Debrecen, Hungary
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;
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
DOI :
10.1109/CINTI.2010.5672252