scientific article; zbMATH DE number 3926262

MaRDI QIDQ3700853zbMATH OpenFDO

Authors Jean-Éric Pin

Publication date 1985

zbMATH Keywords

First-order definable languagesinfinitary languagesrational languagesstar-free languagessyntactic monoids

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Formal languages and automata (68Q45)

Recommendations

• First-order logic and star-free sets
• First-order definable languages
• First-order properties of trees, star-free expressions, and aperiodicity
• Characterization of -regular languages by first-order formulas
• Star-free star and trace languages

Cited in

(12)

• First-order logic and star-free sets
• Brzozowski hierarchy of \(\omega\)-languages
• Complete interpretations of \(\Omega\)-languages and free algebras of \(\Omega\)-elements
• Star-free sets of words on ordinals
• scientific article; zbMATH DE number 1688391 (Why is no real title available?)
• Loop-free alternating finite automata
• First-order definable languages
• Star-free picture expressions are strictly weaker than first-order logic
• Counter-free automata, first-order logic, and star-free expressions extended by prefix oracles
• Star-free star and trace languages
• scientific article; zbMATH DE number 2213332 (Why is no real title available?)
• On the expressive power of temporal logic for infinite words

This page was built for publication:

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