Affiliation:
1. Universität Potsdam, Institut für Mathematik, Am Neuen Palais 10, Potsdam 14469, Germany
Abstract
This paper extends existing relationships between automata and F-coalgebras to relationships between tree automata and (F1, F2)-coalgebras. The concept of an (F1, F2)-coalgebra generalizes that of an F-coalgebra as well as that of an F-algebra. The paper sketches some of the most important properties of the category Set(F1, F2) of (F1, F2)-coalgebras.
Publisher
World Scientific Pub Co Pte Lt