Last Updated on Sunday, 05 August 2012 13:17
Coalgebra automata were invented by Yde Venema and first published on in his paper "Automata and Fixed Point Logics: A Coalgebraic Approach". Their purpose is two-fold. On the one hand, coalgebra automata provide a suitable means to study properties of automata for a large class of input types, comprising words, trees, and graphs. On the other hand coalgebra automata introduce fixed point operators in Moss' coalgebraic logic. The latter reflects the insight that states in coalgebra automata correspond to formulae of (some) coalgebraic logic, in the sense that an automaton accepts a point in a coalgebra iff that point satisfies the corresponding formula. This correspondence has been exploited in the case of trees by Michael Rabin in his decidability result for monadic second-order logic for binary trees (S2S).
This page is under construction. Please notify me ( email(at)christiankissig.de ) of any developments I have been missing.
Read more: Coalgebraic Automata Theory