Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

CORR
2008
Springer

favoriteEmaildiscussreport

110views Education» more CORR 2008»

Rational streams coalgebraically

13 years 4 months ago

Rational streams coalgebraically

Download homepages.cwi.nl

Abstract. We study rational streams (over a field) from a coalgebraic perspective. Exploiting the finality of the set of streams, we present an elementary and uniform proof of the equivalence of four notions of representability of rational streams: by finite dimensional linear systems; by finite stream circuits; by finite weighted stream automata; and by finite dimensional subsystems of the set of streams.

Jan J. M. M. Rutten

Real-time Traffic

CORR 2008 | Dimensional Linear Systems | Education | Rational Streams | Weighted Stream Automata |

claim paper

Related Content

» Algebraic Specification and Coalgebraic Synthesis of Mealy Automata

» Synthesis of Mealy Machines Using Derivatives

» Coalgebraic Monads

» Complete sets of cooperations

» CIA Structures and the Semantics of Recursion

» Coalgebraic Foundations of Linear Systems

» A Sound and Complete Calculus for Finite Stream Circuits

» Continuous Functions on Final Coalgebras

» A Coalgebraic Perspective on Minimization and Determinization

Post Info
More Details (n/a)

Added	09 Dec 2010
Updated	09 Dec 2010
Type	Journal
Year	2008
Where	CORR
Authors	Jan J. M. M. Rutten

Comments (0)