Products of Tree Automata with an Application to Temporal Logic

Article type: Research Article

Authors: Ésik, Zoltán | Iván, Szabolcs

Affiliations: Department of Computer Science, University of Szeged, Hungary and GRLMC, Rovira i Virgili University, Tarragona, Spain. E-mail: ze@inf.u-szeged.hu | Department of Computer Science, University of Szeged, Hungary. E-mail: szabivan@inf.u-szeged.hu

Abstract: 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.

Journal: Fundamenta Informaticae, vol. 82, no. 1-2, pp. 61-78, 2008