On All Things Star-Free

DOI10.4230/LIPICS.ICALP.2019.126MaRDI QIDQ5092328zbMATH OpenOpenAlexFDO

Authors Thomas Place, Marc Zeitoun

Publication date 21 July 2022

Full work available at URL https://arxiv.org/abs/1904.11863

zbMATH Keywords

group languagesregular languagesseparation problemstar-free closure

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

Recommendations

• A note on the commutative closure of star-free languages
• Star-free star and trace languages
• A Star Operation for Star-Free Trace Languages
• On the shuffle of star-free languages
• Separating Without Any Ambiguity.

Cites work

• Abelian pointlikes of a monoid
• Aperiodic homomorphisms and the concatenation product of recognizable sets
• Characterizing classes of regular languages using prefix codes of bounded synchronization delay
• Characterizing classes of regular languages using prefix codes of bounded synchronization delay
• Classifying regular events in symbolic logic
• Decidability of complexity one-half for finite semigroups
• Dot-depth of star-free events
• Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 3559875 (Why is no real title available?)
• scientific article; zbMATH DE number 1223722 (Why is no real title available?)
• scientific article; zbMATH DE number 1304310 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• Locally trivial categories and unambiguous concatenation
• On finite monoids having only trivial subgroups
• Pointlike sets: the finest aperiodic cover of a finite semigroup
• Regular languages in \(NC\)
• Separating regular languages with first-order logic
• Separating regular languages with two quantifier alternations
• Separating regular languages with two quantifiers alternations
• Separation for dot-depth two
• Some algorithmic problems for pseudovarieties
• The covering problem
• The dot-depth hierarchy, 45 years later

Cited in

(7)

• More on star Čech complete spaces
• scientific article; zbMATH DE number 5532152 (Why is no real title available?)
• scientific article; zbMATH DE number 3946391 (Why is no real title available?)
• scientific article; zbMATH DE number 3893197 (Why is no real title available?)
• The amazing mixed polynomial closure and its applications to two-variable first-order logic
• A generic characterization of generalized unary temporal logic and two-variable first-order logic
• Closing star-free closure

This page was built for publication: On All Things Star-Free

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5092328)