- 1 AANDERAA, S., AND FISCHER, P.C. The solvability of the halting problem for 2-state Post machines. Ia preparation.Google Scholar
- 2 DAws, M. Computability and Unsolvability. McGraw-Hill, New York, 1958.Google Scholar
- 3 --. A note on universal Turiag machines. Automata Studies, Princeton U. Press, Princeton, N. J., 1956.Google Scholar
- 4 HOOPER, P.K. A note on Turing machines. Amer. Math Soc. Notices (Jan. 1965).Google Scholar
- 5 MINSKY, M. L. Recursive unsolvability of Post's problem of "tag" and other topics in theory of Turing machines. Annal. Math 74 (1961), 437-455.Google Scholar
- 6 PosT, E.L. Recursive unsolvability of a problem of Thue. J. Symbolic Logic. I2 (1947), 1-11.Google Scholar
- 7 SHANNON, C. E. A universal Turiag machine with two internal states Automata Studies, Princeton U. Press, Princeton, N. J., 1956.Google Scholar
- 8 TURING, A. M. On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math Soc. 42-2 (1936-37), 230-265; Correction, ibid, 43 (1937), 544-546.Google Scholar
Index Terms
- On Formalisms for Turing Machines
Recommendations
Wavelet twin support vector machines based on glowworm swarm optimization
Twin support vector machine is a machine learning algorithm developing from standard support vector machine. The performance of twin support vector machine is always better than support vector machine on datasets that have cross regions. Recently ...
Composing Turing Machines in FSM
SPLASH-E 2023: Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-EFor Computer Science students, designing Turing machines is a Herculean task. Formal Languages and Automata Theory textbooks aid students by introducing a graphical notation for Turing machine composition. The difficulty of the task remains unchanged, ...
PAC-Bayes bounds for twin support vector machines
Twin support vector machines are regarded as a milestone in the development of support vector machines. Compared to standard support vector machines, they learn two nonparallel hyperplanes rather than one as in standard support vector machines for ...
Comments