Basics on tree automata

DOI10.1142/9789814271059_0003MaRDI QIDQ4907855zbMATH OpenOpenAlexFDO

Authors Christof Löding

Publication date 26 February 2013

Published in Modern Applications of Automata Theory (Search for Journal in Brave)

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

zbMATH Keywords

finite tree automatahedge automatamonadic second-order logicranked tree automata

Mathematics Subject Classification ID

Trees (05C05) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 2150292
• Tree automata
• scientific article; zbMATH DE number 3945364
• scientific article; zbMATH DE number 3854429
• Symbolic tree automata

Cited in

(17)

• On context-free trees
• On a representation of tree automata
• Automata on finite trees
• Emptiness problems for distributed automata
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• scientific article; zbMATH DE number 1615227 (Why is no real title available?)
• Tree automata and essential input variables
• scientific article; zbMATH DE number 3854429 (Why is no real title available?)
• Emptiness problems for distributed automata
• scientific article; zbMATH DE number 3945364 (Why is no real title available?)
• scientific article; zbMATH DE number 1494251 (Why is no real title available?)
• scientific article; zbMATH DE number 2150292 (Why is no real title available?)
• scientific article; zbMATH DE number 1863396 (Why is no real title available?)
• scientific article; zbMATH DE number 1867113 (Why is no real title available?)
• Proceedings of the 2nd international workshop on trends in tree automata and tree transducers, TTATT'13, Hanoi, Vietnam, October 19, 2013
• Tree automata
• Propositional dynamic logic formula synthesis and some applications

This page was built for publication: Basics on tree automata

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