| A Note on Degrees of Self-Describing Turing Machines |
| Full text |
Pdf
(685 KB)
|
| Source
|
Journal of the ACM (JACM)
archive
Volume 18 , Issue 3 (July 1971)
table of contents
Pages: 329 - 338
Year of Publication: 1971
ISSN:0004-5411
|
|
Author
|
|
John Case
|
University of Kansas, Department of Computer Science, Lawrence, Kansas
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 3, Downloads (12 Months): 36, Citation Count: 2
|
|
|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
LEE, C.Y. A Turing machine which prints its own code script. In Proc. Syrup. on the Mathematical Theory of Automata, Polytechnic Press, Brooklyn, N. Y., 1963, pp. 155-164.
|
| |
2
|
MY~ILL, J. Abstract theory of self-reproduction. In Views on General Systems Theory, M. D. Mesarovic, Ed., Wiley, New York, 1964, pp. 106-118.
|
| |
3
|
ROGERS, H., JR. Computing degrees of unsolvability. Math. Ann. 138 (1959), 125-140.
|
| |
4
|
LEWIS, F. D. The classification of unsolvable problems in automata theory. Tech. Rep. 70-49, Computer Sci. Dept, Cornell U., Ithaca, N. Y., 1970.
|
| |
5
|
|
| |
6
|
THATCHER, J.W. The construction of a self-describing Turing machine. In Proc. Symp. on the Mathematical Theory of Automata, Polytechnic Press, Brooklyn, N. Y., 1963, pp. 165-171.
|
| |
7
|
MINSKY, M. Matter, mind, and models. In Proc. IFIP Cong. I965, Vol. 1, North Holland Pub. Co., Amsterdam, pp. 45-49.
|
 |
8
|
|
| |
9
|
MYHILL, J. Creative sets, Zeitschr Math. Logik Grundl. Math. 1 (1955), 97-108.
|
| |
10
|
KLEENE, S.C. Introduction to Metamathematics. Van Nostrand, Princeton, N. J., 1952.
|
| |
11
|
G6DEL, K. Uber formal unentscheidbare si~tze derPrincipiaMathematica undverwandter systeme I. Monatsh. Math. Phys. 38 (1931), 173-198.
|
Peer to Peer - Readers of this Article have also read:
-
Data structures for quadtree approximation and compression
Communications of the ACM
28, 9
Hanan Samet
-
A hierarchical single-key-lock access control using the Chinese remainder theorem
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee
, Huizhu Lu
, D. D. Fisher
-
The GemStone object database management system
Communications of the ACM
34, 10
Paul Butterworth
, Allen Otis
, Jacob Stein
-
Putting innovation to work: adoption strategies for multimedia communication systems
Communications of the ACM
34, 12
Ellen Francik
, Susan Ehrlich Rudman
, Donna Cooper
, Stephen Levine
-
An intelligent component database for behavioral synthesis
Proceedings of the 27th ACM/IEEE Design Automation Conference on
Gwo-Dong Chen
, Daniel D. Gajski
|