The Equivalence of R. E. Programs and Data Flow Schemes
| dc.contributor.author | Jaffe, Jeffrey | en_US |
| dc.date.accessioned | 2023-03-29T14:12:04Z | |
| dc.date.available | 2023-03-29T14:12:04Z | |
| dc.date.issued | 1979-01 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/148949 | |
| dc.description.abstract | The Expressibe 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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TM-121 | |
| dc.title | The Equivalence of R. E. Programs and Data Flow Schemes | en_US |
| dc.identifier.oclc | 4888564 |
