February 14, 2019 Conference paper Open Access

Stream Ring Theory

Rodriguez, Marko A.

A stream is an ever expanding and contracting list of objects. Stream functions consume objects from an incoming stream and produce objects for an outgoing stream. The presented stream algebra enables the composition of functional structures that respect the axioms and entailed theorems of algebraic ring theory. The algebra can be used to write expressions that are computationally equivalent to any Turing machine and as such, can be leveraged as the theoretical foundation for all stream-based processing languages and systems.

Rodriguez, M.A., "Stream Ring Theory," S/V Red Herring's Ship's Log: Chronicles in the Sea of Cortez, pages 10--40, Mulegé, Baja California Sur, México, doi:10.5281/zenodo.2565243, February 2019.