Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements

Yoshiki Nakamura, Ryoma Sin'ya

We investigate the equational theory of Kleene algebra terms with variable complements -- (language) complement where it applies only to variables -- w.r.t. languages. While the eq…