# Rational Streams Coalgebraically

@article{Rutten2008RationalSC, title={Rational Streams Coalgebraically}, author={Jan J. M. M. Rutten}, journal={ArXiv}, year={2008}, volume={abs/0807.4073} }

We study rational streams (over a field) from a coalgebraic perspective. Ex- ploiting 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.

## Topics from this paper

## 29 Citations

Stream processing coalgebraically

- Computer ScienceSci. Comput. Program.
- 2013

It is shown that stream circuits extended with gates for dyadic split and merge are expressive enough to realise some non-rational algebraic streams, thereby going beyond ordinary stream circuits.

Context-free coalgebras

- Computer Science, MathematicsJ. Comput. Syst. Sci.
- 2015

A link between automatic sequences and systems of differential equations is established, allowing us to, given an automaton generating an automatic sequence, easily construct a system of behavioural differential equations yielding this sequence as a context-free stream.

A Sound and Complete Calculus for Finite Stream Circuits

- Mathematics, Computer Science2010 25th Annual IEEE Symposium on Logic in Computer Science
- 2010

It is proved that a final locally finite (dimensional) coalgebra is, equivalently, an initial iterative algebra of the category of real vector spaces and makes the connection to existing work on the semantics of recursive specifications.

Finitary Corecursion for the

- Mathematics
- 2015

Kurz et al. have recently shown that infinite -trees with finitely many free variables modulo -equivalence form a final coalgebra for a functor on the category of nominal sets. Here we investigate…

On the specification of operations on the rational behaviour of systems

- Computer Science, MathematicsEXPRESS/SOS
- 2012

This work introduces a format for specification of algebraic operations that restrict to the rational fixpoint of a functor, which captures the behaviour of finite systems and shows that rational behaviour is closed under operations specified in this format.

Algebra and Coalgebra in Computer Science

- Computer ScienceLecture Notes in Computer Science
- 2013

An effect system for algebraic effects and handlers is presented, based on a domain-theoretic model with partial equivalence relations, which validates equational reasoning about effectful computations.

Sampling, Splitting and Merging in Coinductive Stream Calculus

- Computer ScienceMPC
- 2010

It is shown that stream circuits extended with gates for dyadic split and merge are expressive enough to realise some non-rational algebraic streams, thereby going beyond ordinary stream circuits.

Coalgebraic Characterizations of Automata-Theoretic Classes

- Computer Science
- 2014

It turns out that categories of Brzozowski bialgebras share many similarities with categories of λ-bialgebra categories, and the crucial lemma still holds at the same level of generality.

Finitary Corecursion for the Infinitary Lambda Calculus

- Mathematics, Computer ScienceCALCO
- 2015

It is proved that the rational fixpoint of a functor on the category of nominal sets is formed by all rational $\lambda$-trees, i.e. those which have only finitely many subtrees (up to isomorphism), which yields a corecursion principle that allows the definition of operations such as substitution on rational $\ lambda$-Trees.

Proper Functors and their Rational Fixed Point

- Mathematics, Computer ScienceCALCO
- 2017

It is shown that for proper functors the rational fixed point is determined as the colimit of all coalgebras with a free finitely generated algebra as carrier and it is a subcoalgebra of the final coalgebra.

## References

SHOWING 1-10 OF 14 REFERENCES

A coinductive calculus of streams

- Mathematics, Computer ScienceMathematical Structures in Computer Science
- 2005

A coinductive calculus of streams based on the presence of a final coalgebra structure on the set of streams (infinite sequences of real numbers) is developed, which can be used to formulate both coinduction proofs and definitions.

Coalgebraic Foundations of Linear Systems

- Computer Science, MathematicsCALCO
- 2007

Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the final coalgebras of streams and…

Algebra, bitstreams, and circuits

- Computer Science
- 2005

Four different algebraic structures on the set of bitstreams are defined in a uniform way, motivating each of them in terms of the digital circuits they can describe, and for one of these, the 2-adic numbers, a class of linear digital circuits is characterised in terms.

Synthesis of Mealy Machines Using Derivatives

- Computer Science, MathematicsCMCS
- 2006

This paper completes the construction of Mealy machines from specifications in both 2-adic and modulo-2 arithmetic by describing how to decide equivalence of expressions via reduction to normal forms and presents a Haskell implementation of this Mealy synthesis algorithm.

Rational series and their languages

- Mathematics, Computer ScienceEATCS monographs on theoretical computer science
- 1988

This chapter discusses the development of Rational Series over a Principal Ring, a model based on the model developed in Chapter I, and its applications to Languages and Codes.

Algebra

- Nature
- 1941

THIS is a text–book intended primarily for undergraduates. It is designed to give a broad basis of knowledge comprising such theories and theorems in those parts of algebra which are mentioned in the…

A survey of modern algebra

- Mathematics, Engineering
- 1942

This classic, written by two young instructors who became giants in their field, has shaped the understanding of modern algebra for generations of mathematicians and remains a valuable reference and…

Automatic sequences. Theory, applications, generalizations

- Mathematics, Computer ScienceMath. Comput.
- 2005

What do you do to start reading automatic sequences theory applications generalizations? Searching the book that you love to read first or find an interesting book that will make you want to read?…

Linear systems

- MathematicsProceedings of the IEEE
- 1981

Most of the signal processing that we will study in this course involves local operations on a signal, namely transforming the signal by applying linear combinations of values in the neighborhood of…

Automatic sequences: theory

- applications, generalizations. Cambridge University Press
- 2003