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

monadic second-order logichedge automatafinite tree automataranked tree automata

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(15)

• On context-free trees
• scientific article; zbMATH DE number 3854429 (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
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• 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 3945364 (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?)
• On a representation of tree automata
• scientific article; zbMATH DE number 1615227 (Why is no real title available?)
• Emptiness problems for distributed automata
• Tree automata
• Tree automata and essential input variables
• Emptiness problems for distributed automata

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)