Real time computation

作者: Michael O. Rabin

DOI: 10.1007/BF02759719

关键词: Turing machine examplesTuring machineTheoretical computer scienceProbabilistic Turing machineSuper-recursive algorithmMathematicsAlgorithmTime hierarchy theoremNPUniversal Turing machineNon-deterministic Turing machine

摘要: We introduce a concept of real-time computation by Turing machine. The relative strengths one-tape versus two-tape machines is established new method proofs impossibility actual computations.

参考文章(1)
Hisao Yamada, Real-Time Computation and Recursive Functions Not Real-Time Computable IEEE Transactions on Electronic Computers. ,vol. EC-11, pp. 753- 760 ,(1962) , 10.1109/TEC.1962.5219459