2000 character limit reached
Star-free languages and local divisors
Published 12 Aug 2014 in cs.FL | (1408.2842v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.