Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Zoltán Ésik, Szabolcs Iván · Fundamenta Informaticae · 2008
We provide structural descriptions of certain varieties of finite tree automata closed under a version of the cascade product, called the Moore product. As a byproduct, we obtain decidable characterizations of the expressive power of certain fragments of CTL on finite trees.