Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
Abstract
We investigate the equational theory for Kleene algebra terms with variable complements and constant complements -- (language) complement where it applies only to variables or constants -- w.r.t. languages. While the equational theory w.r.t. languages coincides with the language equivalence (under the standard language valuation) for Kleene algebra terms, this coincidence is broken if we extend the terms with complements. In this paper, we prove the decidability of some fragments of the equational theory: the universality problem is coNP-complete, and the inequational theory is coNP-complete when does not contain Kleene-star. To this end, we introduce words-to-letters valuations; they are sufficient valuations for the equational theory and ease us in investigating the equational theory w.r.t. languages. Additionally, we show a completeness theorem of the equational theory for words with variable complements and the non-empty constant.
Keywords
Cite
@article{arxiv.2411.16397,
title = {Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements},
author = {Yoshiki Nakamura and Ryoma Sin'ya},
journal= {arXiv preprint arXiv:2411.16397},
year = {2025}
}
Comments
arXiv admin note: text overlap with arXiv:2309.02760