Behavioural differential equations and coinduction for binary trees
- Citation:
- Silva A, Rutten J. 2007. Behavioural differential equations and coinduction for binary trees. Proceedings of the Workshop on Logic, Language, Information and Computation 2007 (WoLLIC 2007). 4576:322–336.
Tertiary Title:
Lecture Notes in Computer ScienceDate Presented:
JulyAbstract:
We study the set TA of infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on the fact that TA carries a final coalgebra structure. By viewing trees as formal power series, we develop a calculus where definitions are presented as behavioural differential equations. We present a general format for these equations that guarantees the existence and uniqueness of solutions. Although technically not very difficult, the resulting framework has surprisingly nice applications, which is illustrated by various concrete examples.
Citation Key:
SR07bDOI:
10.1007/978-3-540-73445-1_23
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.