scientific article; zbMATH DE number 1136080
From MaRDI portal
Publication:4381391
Recommendations
- Relating word and tree automata
- Recognizing relations by tree automata
- Developments in Language Theory
- RELATING TREE SERIES TRANSDUCERS AND WEIGHTED TREE AUTOMATA
- scientific article; zbMATH DE number 1839454
- Relating Automata-theoretic Hierarchies to Complexity-theoretic Hierarchies
- scientific article; zbMATH DE number 54244
- scientific article; zbMATH DE number 1494251
- Words, trees and automata minimization
- A hierarchy of tree-automatic structures
Cited in
(24)- A gap property of deterministic tree languages.
- Ambiguous classes in \(\mu\)-calculi hierarchies
- \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\)
- Automata on infinite trees
- Multi-player games with LDL goals over finite traces
- Relating word and tree automata
- Unambiguous Büchi Is Weak
- On the weak index problem for game automata
- On synthesis of specifications with arithmetic
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata
- Disjunctive form and the modal alternation hierarchy
- Canonicity in GFG and transition-based automata
- How deterministic are good-for-games automata?
- Sensing as a complexity measure
- Query learning of derived \(\omega\)-tree languages in polynomial time
- Index problems for game automata
- On the power of finite ambiguity in Büchi complementation
- Minimization of automata for liveness languages
- Semantic flowers for good-for-games and deterministic automata
- From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism
- A hierarchy of nondeterminism
- Optimal transformations of games and automata using Muller conditions
- Deterministic and game separability for regular languages of infinite trees
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 Q4381391)
