Answers are grounded in this paper and cite their sources.
Theoretical analysis demonstrates the expressive equivalence of weighted alternating tree automata over locally finite semirings, characterizing their languages via inverse tree homomorphisms.
We define weighted alternating tree automata -a generalization of weighted (non-alternating) tree automata, (unweighted) alternating tree automata, and weighted alternating (string) automata -over commutative semirings.We study their expressive power, and show that it is equivalent to that of weighted tree automata exactly when the employed semiring is locally finite.In our main result, we characterize the class of weighted tree languages defined by weighted alternating tree automata as the closure of the recognizable weighted tree languages under inverse tree homomorphisms.
No takes yet. Share an insight, caveat, or question.
Olle Torstensson (2026) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: