Repository logo
Log in(current)
Repository logoMIT Open ScholarshipDSpace@MIT
  1. Home
  2. Computer Science and Artificial Intelligence Lab (CSAIL)
  3. LCS Publications
  4. LCS Technical Memos (1974 - 2003)
  5. The Equivalence of R. E. Programs and Data Flow Schemes

The Equivalence of R. E. Programs and Data Flow Schemes

Thumbnail Image
Download
Name

MIT-LCS-TM-121.pdf

Size

5.88 MB

Format

Adobe PDF

Checksum (MD5)

7688e0969cea75396d12f0a3461ecc50

Author(s)
Jaffe, Jeffrey
Date Issued
January 1979
Series/Report no.
MIT-LCS-TM-121
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.
Persistent DSpace Link
https://hdl.handle.net/1721.1/148949
Repository logo
PrivacyPermissionsAccessibilityContact us
Repository logo
Notify us about copyright concerns.