A. Gupta, R. Gross, et al.
SPIE Advances in Semiconductors and Superconductors 1990
Paper
The equivalence of R.E. program schemes and data flow schemes
Abstract
The expressive power of the data flow schemes of Dennis is evaluated. It is shown that data flow schemes have the power to express an arbitrary determinate functional. The proof involves a demonstration that “restricted data flow schemes” can simulate Turing Machines. This provides a new. simple basis for computability. © 1980, All rights reserved.
Related
A.R. Conn, Nick Gould, et al.
Mathematics of Computation
L Auslander, E Feig, et al.
Advances in Applied Mathematics
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum