On the weak index problem for game automata

DOI10.1007/978-3-662-47709-0_8MaRDI QIDQ2947463zbMATH OpenOpenAlexFDO

Authors Alessandro Facchini, Filip Murlak, Michał Skrzypczak

Publication date 24 September 2015

Published in Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-47709-0_8

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Index problems for game automata
• Rabin-Mostowski index problem: a step beyond deterministic automata
• Weak index versus Borel rank
• Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
• Hierarchies of weak automata and weak monadic formulas

Cites work

• scientific article; zbMATH DE number 3960988 (Why is no real title available?)
• scientific article; zbMATH DE number 1304332 (Why is no real title available?)
• scientific article; zbMATH DE number 475417 (Why is no real title available?)
• scientific article; zbMATH DE number 1136080 (Why is no real title available?)
• scientific article; zbMATH DE number 3999901 (Why is no real title available?)
• scientific article; zbMATH DE number 3339435 (Why is no real title available?)
• A gap property of deterministic tree languages.
• Computer Science Logic
• Definable operations on weakly recognizable sets of trees
• Hierarchies of weak automata and weak monadic formulas
• On the Topological Complexity of Weakly Recognizable Tree Languages
• On ω-regular sets
• Rabin-Mostowski index problem: a step beyond deterministic automata
• The Borel hierarchy is infinite in the class of regular sets of trees
• The modal mu-calculus alternation hierarchy is strict
• Weak index versus Borel rank

Cited in

(4)

• Rabin-Mostowski index problem: a step beyond deterministic automata
• Index problems for game automata
• Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
• Weak index versus Borel rank

This page was built for publication: On the weak index problem for game automata

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