TL;DR
This paper presents a new proof of Schützenberger's theorem linking star-free languages to recognition by finite aperiodic monoids, using the concept of local divisors.
Contribution
It introduces a novel proof technique for Schützenberger's theorem based on local divisors, offering new insights into the algebraic characterization of star-free languages.
Findings
New proof of Schützenberger's theorem using local divisors
Reinforces the connection between star-free languages and aperiodic monoids
Provides a different perspective on algebraic language theory
Abstract
A celebrated result of Sch\"utzenberger says that a language is star-free if and only if it is is recognized by a finite aperiodic monoid. We give a new proof for this theorem using local divisors.
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.