文章基本信息

标题：A Complete Axiomatisation of a Fragment of Language Algebra
本地全文：下载
作者：Paul Brunet
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：152
页码：1-15
DOI：10.4230/LIPIcs.CSL.2020.11
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We consider algebras of languages over the signature of reversible Kleene lattices, that is the regular operations (empty and unit languages, union, concatenation and Kleene star) together with intersection and mirror image. We provide a complete set of axioms for the equational theory of these algebras. This proof was developed in the proof assistant Coq.
关键词：Kleene algebra; language algebra; completeness theorem; axiomatisation