On the State Complexity of Star of Union and Star of Intersection

被引:12
作者
Jiraskova, Galina [2 ]
Okhotin, Alexander [1 ]
机构
[1] Univ Turku, Dept Math, FIN-20014 Turku, Finland
[2] Slovak Acad Sci, Math Inst, Kosice 04001, Slovakia
基金
芬兰科学院;
关键词
Descriptional complexity; finite automata; state complexity; combined operations; COMBINED OPERATIONS; REGULAR LANGUAGES; REVERSAL;
D O I
10.3233/FI-2011-502
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The state complexity of the star of union of an m-state DFA language and an n-state DFA language is proved to be 2(m+n-1) - 2(m-1) - 2(n-1) + 1 for every alphabet of at least two letters. The state complexity of the star of intersection is established as 3/4 2(mn) for every alphabet of six or more letters. This improves the recent results of A. Salomaa, K. Salomaa and Yu ("State complexity of combined operations", Theoret. Comput. Sci., 383 (2007) 140-152).
引用
收藏
页码:161 / 178
页数:18
相关论文
共 9 条
[1]   State complexity of cyclic shift [J].
不详 .
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2008, 42 (02) :335-360
[2]  
[Anonymous], 1970, Soviet Mathematics Doklady
[3]  
Campeanu C., 2002, Journal of Automata, Languages and Combinatorics, V7, P303
[4]   State complexity of power [J].
Domaratzki, Michael ;
Okhotin, Alexander .
THEORETICAL COMPUTER SCIENCE, 2009, 410 (24-25) :2377-2392
[5]  
Gao Y, 2008, FUND INFORM, V83, P75
[6]   State complexity of some operations on binary regular languages [J].
Jirásková, G .
THEORETICAL COMPUTER SCIENCE, 2005, 330 (02) :287-298
[7]   State complexity of basic language operations combined with reversal [J].
Liu, Guangwu ;
Martin-Vide, Carlos ;
Salomaa, Arto ;
Yu, Sheng .
INFORMATION AND COMPUTATION, 2008, 206 (9-10) :1178-1186
[8]   State complexity of combined operations [J].
Salomaa, Arto ;
Salomaa, Kai ;
Yu, Sheng .
THEORETICAL COMPUTER SCIENCE, 2007, 383 (2-3) :140-152
[9]   THE STATE COMPLEXITIES OF SOME BASIC OPERATIONS ON REGULAR LANGUAGES [J].
YU, S ;
ZHUANG, QY ;
SALOMAA, K .
THEORETICAL COMPUTER SCIENCE, 1994, 125 (02) :315-328