Projection for Büchi Tree Automata with Constraints between Siblings

DOI10.1142/S012905412041004XMaRDI QIDQ5859646zbMATH OpenOpenAlexFDO

Authors Patrick Landwehr, Christof Löding

Publication date 19 April 2021

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s012905412041004x

zbMATH Keywords

emptinessequality constraintsinequality constraintsinfinite treesprojectionrelabelingsibling constraintstree automata

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• Projection for Büchi tree automata with constraints between siblings
• On nondeterministic unranked tree automata with sibling constraints
• A characterization of Büchi tree automata
• Automata on infinite trees with equality and disequality constraints between siblings
• Profile trees for Büchi word automata, with application to determinization
• Profile trees for Büchi word automata, with application to determinization
• scientific article; zbMATH DE number 1330134
• Bottom-Up Tree Automata with Term Constraints
• Recasting Constraint Automata into Büchi Automata
• Tree automata with height constraints between brothers

Cites work

• Alternating finite automata on -words
• Automata on infinite trees with equality and disequality constraints between siblings
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decidable classes of tree automata mixing local and global constraints modulo flat theories
• Equality and disequality constraints on direct subterms in tree automata
• Generalized finite automata theory with an application to a decision problem of second-order logic
• scientific article; zbMATH DE number 5872401 (Why is no real title available?)
• scientific article; zbMATH DE number 2038747 (Why is no real title available?)
• scientific article; zbMATH DE number 3999901 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3339435 (Why is no real title available?)
• Projection for Büchi tree automata with constraints between siblings
• Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
• Symbolic tree automata
• The HOM problem is decidable
• The HOM problem is decidable
• Tree Automata over Infinite Alphabets
• Tree automata with global constraints

Cited in

(3)

• Projection for Büchi tree automata with constraints between siblings
• scientific article; zbMATH DE number 1330134 (Why is no real title available?)
• Automata on infinite trees with equality and disequality constraints between siblings

Describes a project that uses

Uses Software

• MONA

This page was built for publication: Projection for Büchi Tree Automata with Constraints between Siblings

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