On automata on infinite trees

DOI10.1016/0304-3975(92)90331-9MaRDI QIDQ1186604zbMATH OpenOpenAlexWikidataFDO

Authors Paola Bonizzoni, Giancarlo Mauri

Publication date 28 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(92)90331-9

zbMATH Keywords

acceptanceBoolean closureBoolean operatorsBüchi automataMuller tree automaton

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Automata on infinite objects and their applications to logic and programming
• scientific article; zbMATH DE number 2086519
• Weak Muller acceptance conditions for tree automata
• Generalized automata on infinite trees and Muller-McNaughton's theorem
• scientific article; zbMATH DE number 3982544

Cites work

• Automata on infinite words. Ecole de Printemps d'Informatique Théorique, Le Mont Dore, May 14-18, 1984
• Automata-theoretic techniques for modal logics of programs
• Decidability of Second-Order Theories and Automata on Infinite Trees
• scientific article; zbMATH DE number 3922633 (Why is no real title available?)
• scientific article; zbMATH DE number 3982543 (Why is no real title available?)
• scientific article; zbMATH DE number 4096786 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 3999901 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3339435 (Why is no real title available?)
• Testing and generating infinite sequences by a finite automaton

Cited in

(18)

• Variétés d'automates descendants d'arbres infinis
• Topological characterizations of infinite tree languages
• Alternating automata on infinite trees
• Generalized automata on infinite trees and Muller-McNaughton's theorem
• Weak Muller acceptance conditions for tree automata
• Automata on infinite trees with counting constraints
• Automata on infinite trees
• scientific article; zbMATH DE number 3972187 (Why is no real title available?)
• scientific article; zbMATH DE number 17822 (Why is no real title available?)
• Prolog infinite trees and automata
• scientific article; zbMATH DE number 475418 (Why is no real title available?)
• scientific article; zbMATH DE number 1522569 (Why is no real title available?)
• scientific article; zbMATH DE number 219444 (Why is no real title available?)
• scientific article; zbMATH DE number 2086519 (Why is no real title available?)
• scientific article; zbMATH DE number 1870551 (Why is no real title available?)
• Automata on infinite trees with counting constraints
• Automata on infinite objects and their applications to logic and programming
• The poset of infinitary traces

This page was built for publication: On automata on infinite trees

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