Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series (2000)
| Citations: | 42 - 14 self |
BibTeX
@MISC{Rutten00behaviouraldifferential,
author = {J. J. M. M. Rutten},
title = {Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series},
year = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Streams, (automata and) languages, and formal power series are viewed coalgebraically. In summary, this amounts to supplying these sets with a deterministic automaton structure, which has the universal property of being final. Finality then forms the basis for both definitions and proofs by coinduction, the coalgebraic counterpart of induction. Coinductive definitions take the shape of what we have called behavioural differential equations, after Brzozowski's notion of input derivative. A calculus is developed for coinductive reasoning about all of the afore mentioned structures, closely resembling (and at times generalising) calculus from classical analysis. 2000 Mathematics Subject Classification: 68Q10, 68Q55, 68Q85 1998 ACM Computing Classification System: F.1, F.3 Keywords & Phrases: Coalgebra, automaton, finality, coinduction, stream, formal language, formal power series, differential equation, input derivative, behaviour, semiring, max-plus algebra 1 Contents 1 Introductio...
