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
Link To Document