Kleene algebra with commutativity conditions is undecidable - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Kleene algebra with commutativity conditions is undecidable

Résumé

We prove that the equational theory of Kleene algebra with commutativity conditions on atomic terms is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. In fact, we show that this undecidability result holds even if we drop the induction axioms of Kleene algebra, which leads to a simpler equational theory. This complements a recent result of Kuznetsov, who independently established a similar undecidability result, but relying on induction.
Fichier principal
Vignette du fichier
main.pdf (179.49 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04534715 , version 1 (05-04-2024)
hal-04534715 , version 2 (26-04-2024)

Identifiants

  • HAL Id : hal-04534715 , version 2

Citer

Arthur Azevedo de Amorim, Cheng Zhang, Marco Gaboardi. Kleene algebra with commutativity conditions is undecidable. 2024. ⟨hal-04534715v2⟩
84 Consultations
143 Téléchargements

Partager

More