Weighted Tree Automata -- May it be a little more?

TL;DR

This book provides a comprehensive overview of weighted tree automata, detailing fundamental definitions, key results, and proofs, bridging automata theory and universal algebra.

Contribution

It offers a coherent presentation of weighted tree automata, integrating foundational concepts with important results and proofs, and highlighting its connections to automata theory and universal algebra.

Findings

Detailed definitions and proofs of weighted tree automata

Connections between weighted string automata and finite-state tree automata

Comprehensive coverage of core concepts and results

Abstract

This is a book on weighted tree automata. We present the basic definitions and some of the important results in a coherent form with full proofs. The concept of weighted tree automata is part of Automata Theory and it touches the area of Universal Algebra. It originated from two sources: weighted string automata and finite-state tree automata.