Computable Functions on Stream Algebras

Let A be a many-sorted algebra. A stream over A is an infinite sequence of data from A. We study classes of computable functions on streams over A. We show how models of deterministic parallel computation on A can be adapted to provide new models of computation on stream algebras over A. The primary models considered are simultaneous primitive recursion schemes, with and without the least number operator, over A. We also look at an imperative …