Closure and Decision Properties for Higher-Dimensional Automata
Abstract
We report some further developments regarding the language theory of higher-dimensional automata (HDAs). Regular languages of HDAs are sets of finite interval partially ordered multisets (pomsets) with interfaces. We show a pumping lemma which allows us to expose a class of non-regular languages. Concerning decision and closure properties, we show that inclusion of regular languages is decidable (hence is emptiness), and that intersections of regular languages are again regular. On the other hand, complements of regular languages are not always regular. We introduce a width-bounded complement and show that width-bounded complements of regular languages are again regular. We also study determinism and ambiguity. We show that it is decidable whether a regular language is accepted by a deterministic HDA and that there exists regular languages with unbounded ambiguity. Finally, we characterize one-letter deterministic languages in terms of utlimately periodic functions.
Cite
@article{arxiv.2305.02873,
title = {Closure and Decision Properties for Higher-Dimensional Automata},
author = {Amazigh Amrane and Hugo Bazille and Uli Fahrenberg and Krzysztof Ziemiański},
journal= {arXiv preprint arXiv:2305.02873},
year = {2024}
}