Loading [MathJax]/extensions/MathZoom.js
Real-Time Computation and Recursive Functions Not Real-Time Computable | IEEE Journals & Magazine | IEEE Xplore

Real-Time Computation and Recursive Functions Not Real-Time Computable


Abstract:

As an attempt to investigate a general theory of real-time computability in digital computers, a subclass of Turing machines is formally introduced together with some cla...Show More

Abstract:

As an attempt to investigate a general theory of real-time computability in digital computers, a subclass of Turing machines is formally introduced together with some classes of functions that are computable by them in real time. Then the existence is established of a class of recursive functions that are not computable in real time by use of a class of machines, no matter how general we make the machines subject to a given constraint.
Published in: IRE Transactions on Electronic Computers ( Volume: EC-11, Issue: 6, December 1962)
Page(s): 753 - 760
Date of Publication: 25 August 2009
Print ISSN: 0367-9950
Related Articles are not available for this document.

Contact IEEE to Subscribe

References

References is not available for this document.