Computable Functions on Stream Algebras

Dr. J.V. Tucker

Dr. J.I. Zucker
(zucker@maccs.dcss.mcmaster.ca)

Software Engineering Research Group
CRL, McMaster University,
Hamilton, Ontario, Canada L8S 4K1


Abstract

Let A by 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 model involving concurrent assignments.