TL;DR
This paper provides new semantic and syntactic characterizations of the power pseudovariety PCS, enabling the development of algorithms to decide membership in this class.
Contribution
It introduces novel characterizations of PCS and presents algorithms for membership decision, advancing the understanding of this pseudovariety.
Findings
New semantic characterizations of PCS
New syntactic characterizations of PCS
Algorithms for deciding membership in PCS
Abstract
Some new semantic and syntactic characterizations of the members of the power pseudovariety are obtained. This leads in particular to new algorithms for deciding membership in .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.