آلة تورينج العالمية
في علوم الحاسوب، تعد آلة تورينج العالمية ((بالإنجليزية: Universal Turing machine)، وتختصر إلى UTM) هي آلة تورنغ تحاكي آلة تورنغ فرضية عند الإدخال الفرضي. تقوم الآلة العالمية بتحقيق ذلك بشكل أساسي من خلال قراءة كُل من وصف الجهاز المراد محاكاته بالإضافة إلى الإدخال إلى ذلك الجهاز من الشريط الخاص به. قدم آلان تورينج فكرة مثل هذه الآلة في 1936-1937. يعتبر هذا المبدأ أصل فكرة حاسوب البرنامج المخزن الذي إستخدمه جون فون نيومان في عام 1946 لـ "أداة الحوسبة الإلكترونية" التي تحمل الآن اسم معمارية فون نيومان .[1]
انظر أيضًا
المراجع
- Martin Davis, The universal computer : the road from Leibniz to Turing (2017)
المراجع العامة
- Arora, Sanjeev; Barak, Boaz (2009). Complexity Theory: A Modern Approach. Cambridge University Press. ISBN 978-0-521-42426-4. مؤرشف من الأصل في 07 فبراير 2015.
section 1.4, "Machines as strings and the universal Turing machine" and 1.7, "Proof of theorem 1.9"
الوسيط|CitationClass=
تم تجاهله (مساعدة)
الورقة الأصلية
- Turing, A. M. (1936). "On Computable Numbers, with an Application to the Entscheidungsproblem" (PDF). مؤرشف من الأصل (PDF) في 11 مارس 2020. الوسيط
|CitationClass=
تم تجاهله (مساعدة)
أوراق شرحية
- 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. الوسيط
|CitationClass=
تم تجاهله (مساعدة)
التطبيقات
- Kamvysselis (Kellis), Manolis (1999). "Scheme Implementation of a Universal Turing Machine". Self-published. مؤرشف من الأصل في 03 يناير 2020. الوسيط
|CitationClass=
تم تجاهله (مساعدة)
مراجع أخرى
- 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 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Davis, Martin (1980), "What is Computation?", in Steen (المحرر), Mathematics Today: Twelve Informal Essays, New York: Vintage Books (Random House), ISBN 978-0-394-74503-9 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link). - 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.) الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Goldstine, Herman H.; von Neumann, John. Planning and Coding of the Problems for an Electronic Computing Instrument. معهد الدراسات المتقدمة (الطبعة Rep. 1947). Princeton. الوسيط
|CitationClass=
تم تجاهله (مساعدة)
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. الوسيط|CitationClass=
تم تجاهله (مساعدة) - Herken, Rolf (1995), The Universal Turing Machine – A Half-Century Survey, Springer Verlag, ISBN 3-211-82637-8 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Knuth, Donald E.. (1968), The Art of Computer Programming Second Edition, Volume 1/Fundamental Algorithms (2nd, 1973)
|format=
بحاجة لـ|url=
(مساعدة) (الطبعة First), Addison-Wesley Publishing Company الوسيط|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) The first of Knuth's series of three texts. - Kudlek, Manfred; Rogozhin, Yurii (2002), "A universal Turing machine with 3 states and 9 symbols", in Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (المحرر), Developments in Language Theory: 5th International Conference, DLT 2001 Wien, Austria, July 16–21, 2001, Revised Papers, 2295, Springer, صفحات 311–318, doi:10.1007/3-540-46011-x_27, ISBN 978-3-540-43453-5 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)صيانة CS1: أسماء متعددة: قائمة المحررون (link) CS1 maint: ref=harv (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 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Neary, Turlough; Woods, Damien (2009), "Four Small Universal Turing Machines", Fundamenta Informaticae, 91 (1) الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Neary, Turlough; Woods, Damien (2009b), "Small Weakly Universal Turing Machines", 17th International Symposium on Fundamentals of Computation Theory, 5699, Springer, صفحات 262–273 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Penrose, Roger (1989), The Emperor's New Mind, Oxford UK: Oxford University Press, ISBN 0-19-851973-7, (hc.), (pb.) الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Rogozhin, Yurii (1996), "Small Universal Turing Machines", Theoretical Computer Science, 168 (2): 215–240, doi:10.1016/S0304-3975(96)00077-1 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Shannon, Claude (1956), "A Universal Turing Machine with Two Internal States", Automata Studies, Princeton, NJ: Princeton University Press, صفحات 157–165 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Turing, A.M. (1936), "On Computable Numbers, with an Application to the Entscheidungsproblem", Proceedings of the London Mathematical Society, 42, صفحات 230–65, doi:10.1112/plms/s2-42.1.230 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Turing, A.M. (1938), "On Computable Numbers, with an Application to the Entscheidungsproblem: A correction", Proceedings of the London Mathematical Society, (نشر 1937), 43 (6), صفحات 544–6, doi:10.1112/plms/s2-43.6.544 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link))
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
الوسيط|CitationClass=
تم تجاهله (مساعدة)صيانة CS1: نص إضافي: قائمة المؤلفون (link)
روابط خارجية
Smith, Alvy Ray. "A Business Card Universal Turing Machine" (PDF). مؤرشف من الأصل (PDF) في 02 يناير 2020. اطلع عليه بتاريخ 02 يناير 2020. الوسيط |CitationClass=
تم تجاهله (مساعدة)
- بوابة علم الحاسوب
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.