scientific article; zbMATH DE number 3982544

MaRDI QIDQ3746905zbMATH OpenFDO

Authors Takeshi Hayashi, Satoru Miyano

Publication date 1985

zbMATH Keywords

nondeterminismtree automatainfinite treesacceptancefinal setnondeterministic degreeomega-tree languagesstructural complexity of the recognizing automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Topological characterizations of infinite tree languages
• Automata on infinite objects and their applications to logic and programming
• On the finite degree of ambiguity of finite tree automata
• scientific article; zbMATH DE number 3972187
• Nondeterministic Tree Automata

Cited in

(27)

• scientific article; zbMATH DE number 1405667 (Why is no real title available?)
• Variétés d'automates descendants d'arbres infinis
• scientific article; zbMATH DE number 17822 (Why is no real title available?)
• PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS
• scientific article; zbMATH DE number 475418 (Why is no real title available?)
• scientific article; zbMATH DE number 475614 (Why is no real title available?)
• Complexity of weak acceptance conditions in tree automata.
• Automata on infinite objects and their applications to logic and programming
• scientific article; zbMATH DE number 1522569 (Why is no real title available?)
• Nondeterministic Tree Automata
• Infinitary tree languages recognized by \(\omega\)-automata
• \(X\)-automata on \(\omega\)-words
• Finite tree automata with cost functions
• Topological characterizations of infinite tree languages
• Uniform inevitability is tree automaton ineffable
• scientific article; zbMATH DE number 2150292 (Why is no real title available?)
• On automata on infinite trees
• scientific article; zbMATH DE number 3881897 (Why is no real title available?)
• Alternating automata on infinite trees
• Prolog infinite trees and automata
• scientific article; zbMATH DE number 4143462 (Why is no real title available?)
• scientific article; zbMATH DE number 3993563 (Why is no real title available?)
• Acceptance trees
• Finite automata with generalized acceptance criteria
• The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
• scientific article; zbMATH DE number 219444 (Why is no real title available?)
• scientific article; zbMATH DE number 3972187 (Why is no real title available?)

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 Q3746905)