State complexity of union and intersection of finite languages (2007)
| Venue: | In Proceedings of DLT’07, Lecture Notes in Computer Science 4588 |
| Citations: | 4 - 2 self |
BibTeX
@INPROCEEDINGS{Han07statecomplexity,
author = {Yo-sub Han and Kai Salomaa},
title = {State complexity of union and intersection of finite languages},
booktitle = {In Proceedings of DLT’07, Lecture Notes in Computer Science 4588},
year = {2007},
pages = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. We compute the upper bounds based on the structural properties of minimal deterministic finite-state automata (DFAs) for finite languages. Then, we show that the upper bounds are tight if we have a variable sized alphabet that can depend on the size of input DFAs. In addition, we prove that the upper bounds are unreachable for any fixed sized alphabet. 1
