State Complexity of k-Union and k-Intersection for Prefix-Free Regular Languages
2015 ◽
Vol 26
(02)
◽
pp. 211-227
◽
Keyword(s):
We investigate the state complexity of multiple unions and of multiple intersections for prefix-free regular languages. Prefix-free deterministic finite automata have their own unique structural properties that are crucial for obtaining state complexity upper bounds that are improved from those for general regular languages. We present a tight lower bound construction for k-union using an alphabet of size k + 1 and for k-intersection using a binary alphabet. We prove that the state complexity upper bound for k-union cannot be reached by languages over an alphabet with less than k symbols. We also give a lower bound construction for k-union using a binary alphabet that is within a constant factor of the upper bound.
2018 ◽
Vol 52
(2-3-4)
◽
pp. 153-168
Keyword(s):
2007 ◽
Vol 18
(06)
◽
pp. 1407-1416
◽
2016 ◽
Vol 27
(07)
◽
pp. 863-878
◽
Keyword(s):
Keyword(s):
2019 ◽
Vol 30
(06n07)
◽
pp. 1117-1134
Keyword(s):
1992 ◽
Vol 02
(01)
◽
pp. 39-55
2005 ◽
Vol 16
(03)
◽
pp. 511-529
◽
Keyword(s):