Products of Tree Automata with an Application to Temporal Logic
Zoltán Ésik, Szabolcs Iván · Fundamenta Informaticae · 2008
We introduce the notion of the Moore product of tree automata as a special case of the cascade product. We give an algebraic characterization of the expressive power of certain CTL-like temporal logics based on the notion of varieties of finite tree automata closed under the Moore product.