The Algebra of Languages with Intersection and Converse
Résumé
We consider the equational theory generated by all algebras of languages with the regular operations (union, composition and Kleene star), together with the intersection and mirror image. Building on results by Andréka, Mikulás and Németi from 2011, we construct the free model for this algebra. We then adapt the notion of Petri automata, which we introduced with Pous in 2015 to tackle a similar problem for algebras of binary relations, to provide a procedure to decide equations over this signature. This allows us to show that testing the validity of equations in this algebra is ExpSpace-complete.
Origine : Fichiers éditeurs autorisés sur une archive ouverte