A polynomial-time algorithm for the automatic Baire property

DOI10.1007/978-3-032-31348-5_35MaRDI QIDQ7411991zbMATH OpenFDO

Authors Ludwig Staiger

Publication date 2027

Full work available at URL https://doi.org/10.1007/978-3-032-31348-5_35

zbMATH Keywords

\(\omega\)-automataBaire propertyCantor spacestrongly connected components

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Complexity of topological properties of regular \(\omega\)-languages
• Decision problems forω-automata
• scientific article; zbMATH DE number 3678157 (Why is no real title available?)
• scientific article; zbMATH DE number 1236373 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3255438 (Why is no real title available?)
• Inherent size blowup in \(\omega\)-automata
• Introduction to algorithms.
• On the Hausdorff measure of regular -languages in Cantor space
• On ω-regular sets
• The automatic Baire property and an effective property of -rational functions
• Two Effective Properties of ω-Rational Functions

This page was built for publication: A polynomial-time algorithm for the automatic Baire property

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