One-tape, off-line Turing machine computations

Information and Control - Tập 8 Số 6 - Trang 553-578 - 1965
F. C. Hennie1
1Department of Electrical Engineering and Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, Massachusetts, USA

Tóm tắt

Từ khóa


Tài liệu tham khảo

Yamada, 1962, Real-time computation and recursive functions not real-time computable, IRE Trans. Electron Computers, EC-11, 753, 10.1109/TEC.1962.5219459

Hartmanis, 1965, On the computational complexity of algorithms, Trans. Am. Math. Soc., 10.1090/S0002-9947-1965-0170805-7

Rabin, 1963, Real-time computation, Israel J. Math., 1, 203, 10.1007/BF02759719

Thông tin
Thông tin xuất bản

Information and Control

Tập 8 Số 6

553-578

Thông tin tác giả