In this paper we consider block languages, namely sets of words having the same length, and study the deterministic and nondeterministic state complexity of several operations on these languages. Being a subclass of finite languages, the upper bounds of operational state complexity known for finite languages apply for block languages as well. However, in several cases, smaller values were found. Block languages can be represented as bitmaps, which are a good tool to study their minimal finite automata and their operations, as we illustrate here.
Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), Göttingen, Germany, 12-13 August 2024, Electronic Proceedings in Theoretical Computer Science
Volume
407
Pages
59 - 76
Publisher
arXiv and Electronic Proceedings in Theoretical Computer Science, on behalf of the Theoretical Computer Science Research Group, University of Göttingen