Universal Turing Machine

The aim of this paper is to give an example of a universal Turing machine, which is somewhat small. To get a small universal Turing machine a common constructions would go through simulating tag system (see Minsky 1967). The universal machine here simulate two-symbol Turing machines directly.

[1]  Alan M. Turing,et al.  Systems of Logic Based on Ordinals , 2012, Alan Turing's Systems of Logic.

[2]  Logic based on Inclusion and Abstraction WV Quine , 2022 .

[3]  A. M. Turing,et al.  Checking a large routine , 1989 .

[4]  Proposed Electronic Calculator report for National Physical Laboratory Teddington Universal Turing Machine , 2022 .

[5]  Nellie Clarke Brown.  Trees , 1896, Savage Dreams.

[6]  Proof That Every Typed Formula Has a Normal Form Universal Turing Machine , 2022 .

[7]  A. Turing.  Equivalence of Left and Right almost Periodicity , 1935 .

[8]  B. van Rootselaar,et al.  Dictionary of Scientific Biography XIII , 1976 .

[9]  Sergio J. Alvarado.  AAAI 1991 spring symposium series reports , 1991 .

[10]  George Cboom,et al.  Mind: A Quarterly Review of Psychology and Philosophy , 1876, Journal of Psychological Medicine and Mental Pathology (London, England : 1875).

[11]  A. Turing.  Finite Approximations to Lie Groups , 1938 .

[12]  Alan M. Turing,et al.  Practical forms of type theory , 1948, Journal of Symbolic Logic.

[13]  A. Turing.  Artificial Intelligence : Usfssg Computers to Think about Thinking . Part 1 , 1983 .

[14]  A. Turing.  Some Calculations of the Riemann Zeta-Function , 1953 .

[15]  A. Turing.  A method for the calculation of the zeta-function Universal Turing Machine , 2011 .

[16]  Programmers ’ handbook for Manchester electronic computer Universal Turing Machine , 2022 .

[17]  A. M. Turing,et al.  The chemical basis of morphogenesis , 1952, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences.

[18]  A. M. Turing,et al.  Local programming methods and conventions , 1989 .

[19]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[20]  Collected Works: Mathematical Logic (RO Gandy and CEM Yates Editors) , 2022 .

[21]  Alan M. Turing,et al.  Computability and λ-definability , 1937, Journal of Symbolic Logic.

[22]  A. Turing.  THE WORD PROBLEM IN SEMI-GROUPS WITH CANCELLATION , 1950 .

[23]  B. V. Bowden,et al.  Faster than thought , 1953 .

[24]  John Tyler Bonner,et al.  Morphogenesis , 1965, The Physics of Living Matter: Space, Time and Information.

[25]  A. M. Turing,et al.  Review: Arthur W. Burks, The Logic of Programming Electronic Digital Computers , 1953 .

[26]  Intelligent Machinery 1948 Report for National Physical Laboratory Universal Turing Machine , 2022 .

[27]  Michael O. Rabin,et al.  Lecture to the london mathematical society on 20 february 1947 Universal Turing Machine , 2022 .

[28]  Universal Turing,et al.  Can Digital Computers Think?; Reprinted in (copeland 2004) , 2022 .

[29]  Alan M. Turing,et al.  The use of dots as brackets in Church's system , 1942, Journal of Symbolic Logic.

[30]  A. Turing.  ROUNDING-OFF ERRORS IN MATRIX PROCESSES , 1948 .

[31]  A. M. Turing,et al.  Solvable and Unsolvable Problems , 1954 .

[32]  Proposed electronic calculator ; reprinted in ( Copeland 2005 ) Universal Turing Machine , 2022 .

[33]  Universal Turing,et al.  The chemical basis of morphogenesis reprinted from Philosophical Transactions of the Royal Society ( Part B ) 237 37-72 ( 1953 ) Universal Turing Machine , 2022 .

[34]  I. A. Dorobantu,et al.  The Physical Basis of Morphogenesis , 1989 .

[35]  Hilary Putnam.  Mentes y maquinas , 1985 .

[36]  A Diffusion Reaction Theory of Morphogenesis , 1952, Nature.

[37]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[38]  Martin Davis,et al.  The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions , 2004 .

[39]  Marvin Minsky,et al.  Computation : finite and infinite machines , 2016 .

[40]  J. Cremona,et al.  Proceedings of the London Mathematical Society , 1893 .