scientific article; zbMATH DE number 7770056

arXiv2104.10358MaRDI QIDQ6070608

Victor L. Selivanov

Publication date: 23 November 2023

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

determinacytransducerWadge reducibilityfine hierarchyacceptoriterated labeled treeregular \(k\)-partition

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fine hierarchies via Priestley duality
• Hierarchies of hyperarithmetical sets and functions
• Fine hierarchies and m-reducibilities in theoretical computer science
• Fine hierarchy of regular \(\omega\)-languages
• A hierarchy of deterministic context-free \(\omega\)-languages.
• Extending Wadge theory to \(k\)-partitions
• Classifying \(\omega\)-regular aperiodic \(k\)-partitions
• Complexity issues for the iterated \(h\)-preorders
• Input-driven pushdown automata on well-nested infinite strings
• Effective wadge hierarchy in computable quasi-Polish spaces
• A Fine Hierarchy of ω-Regular k-Partitions
• Borel ranks and Wadge degrees of context free $\omega$-languages
• FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES
• Hierarchies and reducibilities on regular languages related to modulo counting
• Visibly pushdown languages
• Logical Refinements of Church’s Problem
• On ω-regular sets
• Chains and Superchains for ω-Rational Sets, Automata and Semigroups
• Wadge Degrees ofω-Languages of Deterministic Turing Machines
• Structural complexity of ω-automata
• Fine hierarchies and Boolean terms
• LANGUAGES VERSUS ω-LANGUAGES IN REGULAR INFINITE GAMES
• Computing the Wadge degree, the Lifschitz degree, and the Rabin index of a regular language of infinite words in polynomial time
• On the structure of the Wadge degrees of bqo-valued Borel functions
• Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• THE MISSING LINK FOR ω-RATIONAL SETS, AUTOMATA, AND SEMIGROUPS
• Automata theory and its applications

This page was built for publication: