آلة تورنغ العامة

في علوم الحاسوب، آلة تورنغ العامة ((بالإنجليزية: Universal Turing machine)‏، وتختصر إلى UTM) هي آلة تورنغ تحاكي الإدخال الفرضي. تقرأ الآلة وصف الجهاز المراد محاكاته بالإضافة إلى الإدخال إلى ذلك الجهاز من الشريط الخاص به. قدم آلان تورنغ فكرة مثل هذه الآلة في 1936-1937. يعتبر هذا المبدأ أصل فكرة حاسوب البرنامج المخزن الذي إستخدمه جون فون نيومان في عام 1946 لـ «أداة الحوسبة الإلكترونية» التي تحمل الآن اسم معمارية فون نيومان.

انظر أيضًا

• كمال تورنغ

المراجع

المراجع العامة

• Arora، Sanjeev؛ Barak، Boaz (2009). Complexity Theory: A Modern Approach. Cambridge University Press. ISBN:978-0-521-42426-4. مؤرشف من الأصل في 2015-02-07. section 1.4, "Machines as strings and the universal Turing machine" and 1.7, "Proof of theorem 1.9"

الورقة الأصلية

• Turing، A. M. (1936). "On Computable Numbers, with an Application to the Entscheidungsproblem" (PDF). مؤرشف من الأصل (PDF) في 2020-03-11.

أوراق شرحية

• Hennie، F. C.؛ Stearns، R. E. (1966). "Two-Tape Simulation of Multitape Turing Machines". Journal of the ACM. ج. 13 ع. 4: 533. DOI:10.1145/321356.321362.

التطبيقات

• Kamvysselis (Kellis)، Manolis (1999). "Scheme Implementation of a Universal Turing Machine". Self-published. مؤرشف من الأصل في 2020-01-03.

مراجع أخرى

• Copeland، المحرر (2004)، The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma، Oxford UK: Oxford University Press، ISBN:0-19-825079-7
• Davis، Martin (1980)، "What is Computation?"، في Steen (المحرر)، Mathematics Today: Twelve Informal Essays، New York: Vintage Books (Random House)، ISBN:978-0-394-74503-9.
• Davis، Martin (2000)، Engines of Logic: Mathematicians and the origin of the Computer (ط. 1st)، New York NY: W. W. Norton & Company، ISBN:0-393-32229-7، (pb.)
• Goldstine، Herman H.؛ von Neumann، John. Planning and Coding of the Problems for an Electronic Computing Instrument (ط. Rep. 1947). Princeton. {{استشهاد بكتاب}}: |عمل= تُجوهل (مساعدة)

Bell، C. Gordon؛ Newell، Allen (1971). Computer Structures: Readings and Examples (ط. Reprinted). New York: McGraw-Hill Book Company. ص. 92–119. ISBN:0-07-004357-4.

• Herken، Rolf (1995)، The Universal Turing Machine – A Half-Century Survey، Springer Verlag، ISBN:3-211-82637-8
• Knuth، Donald E.. (1968)، The Art of Computer Programming Second Edition, Volume 1/Fundamental Algorithms (2nd, 1973) (ط. First)، Addison-Wesley Publishing Company {{استشهاد}}: |format= بحاجة لـ |url= (مساعدة) The first of Knuth's series of three texts.
• Kudlek، Manfred؛ Rogozhin، Yurii (2002)، "A universal Turing machine with 3 states and 9 symbols"، في Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (المحرر)، Developments in Language Theory: 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001, Revised Papers، Lecture Notes in Computer Science، Springer، ج. 2295، ص. 311–318، DOI:10.1007/3-540-46011-x_27، ISBN:978-3-540-43453-5{{استشهاد}}: صيانة الاستشهاد: أسماء متعددة: قائمة المحررين (link)
• Minsky، Marvin (1962)، "Size and Structure of Universal Turing Machines using Tag Systems, Recursive Function Theory"، Proc. Symp. Pure Mathematics، Providence RI: American Mathematical Society، ج. 5، ص. 229–238، DOI:10.1090/pspum/005/0142452
• Neary، Turlough؛ Woods، Damien (2009)، "Four Small Universal Turing Machines"، Fundamenta Informaticae، ج. 91
• Neary، Turlough؛ Woods، Damien (2009b)، "Small Weakly Universal Turing Machines"، 17th International Symposium on Fundamentals of Computation Theory، Lecture Notes in Computer Science، Springer، ج. 5699، ص. 262–273
• Penrose، Roger (1989)، The Emperor's New Mind، Oxford UK: Oxford University Press، ISBN:0-19-851973-7، (hc.), (pb.)
• Rogozhin، Yurii (1996)، "Small Universal Turing Machines"، Theoretical Computer Science، ج. 168، ص. 215–240، DOI:10.1016/S0304-3975(96)00077-1
• Shannon، Claude (1956)، "A Universal Turing Machine with Two Internal States"، Automata Studies، Princeton, NJ: Princeton University Press، ص. 157–165
• Turing، A.M. (1936)، "On Computable Numbers, with an Application to the Entscheidungsproblem"، Proceedings of the London Mathematical Society، 2، ج. 42، ص. 230–65، DOI:10.1112/plms/s2-42.1.230
• Turing، A.M. (1938)، "On Computable Numbers, with an Application to the Entscheidungsproblem: A correction"، Proceedings of the London Mathematical Society، 2 (نُشِر في 1937)، ج. 43، ص. 544–6، DOI:10.1112/plms/s2-43.6.544)

Davis ed، Martin (1965). The Undecidable (ط. Reprint). Hewlett, NY: Raven Press. ص. 115–154. with corrections to Turing's UTM by Emil Post cf footnote 11 pg:299 {{استشهاد بكتاب}}: |مؤلف1= باسم عام (مساعدة)

روابط خارجية

Smith، Alvy Ray. "A Business Card Universal Turing Machine" (PDF). مؤرشف من الأصل (PDF) في 2020-01-02. اطلع عليه بتاريخ 2020-01-02.