10.5281/zenodo.2565243
https://zenodo.org/records/2565243
oai:zenodo.org:2565243
Rodriguez, Marko A.
Marko A.
Rodriguez
S/V Red Herring
Stream Ring Theory
Zenodo
2019
ring theory, stream computing, Turing Complete
2019-02-14
10.5281/zenodo.2565242
Creative Commons Attribution 4.0 International
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.