The language consisting of all Turing machine descriptions paired with all possible input streams on which those Turing machines will eventually halt, is not recursive. اللغة تتكون من كل أوصاف آلة تورنغ مقترنة مع كل تيارات المدخلات المتاحة حيث ستتوقف كل آلات تورنغ هذه في النهاية، ليست متكررة.
For example, the Turing machine may have a "halting oracle" which answers immediately whether a given Turing machine will ever halt on a given input. على سبيل المثال، آلة تورنغ قد يكون لديها "أوراكل للإغلاق" والذي يجيب في الحال على ما إذا كانت آلة تورنغ معينه سوف تتوقف عند مُدخل معين.
For example, the Turing machine may have a "halting oracle" which answers immediately whether a given Turing machine will ever halt on a given input. على سبيل المثال، آلة تورنغ قد يكون لديها "أوراكل للإغلاق" والذي يجيب في الحال على ما إذا كانت آلة تورنغ معينه سوف تتوقف عند مُدخل معين.
Turing machines can decide any context-free language, in addition to languages not decidable by a push-down automaton, such as the language consisting of prime numbers. تستطيع آلات تورنغ تحديد أي لغة خالية من السياق، بالإضافة إلى اللغات الغير قابلة للتحديد عن طريق مستودع معلومات الكومبيوتر الذاتي، مثل اللغة التي تتكون من الأعداد الأولية.
Topological quantum computers are equivalent in computational power to other standard models of quantum computation, in particular to the quantum circuit model and to the quantum Turing machine model. تعادل أجهزة الحاسوب الكمومي الطوبولوجي النماذج العادية الأخرى للحوسبة الكمومية من حيث إمكانات الحوسبة، لا سيما فيما يتعلق بنموذج الدائرة الكمومية ونموذج آلة تورنغ الكمومية.
Real computers constructed so far can be functionally analyzed like a single-tape Turing machine (the "tape" corresponding to their memory); thus the associated mathematics can apply by abstracting their operation far enough. أجهزة الكمبيوتر الحقيقية التي شيدت حتى الآن هي في جوهرها مماثلة لآلة تورنغ ذو الشريط احد؛ وهكذا فان الرياضيات المرتبطة يمكن أن تطبق عليها بما فيه الكفاية من خلال تجريد عملها.
Such Turing machines were first proposed in a 1985 article written by Oxford University physicist David Deutsch suggesting quantum gates could function in a similar fashion to traditional digital computing binary logic gates. وقد اقتُرحت آلات تورنغ أولاً في بحث عام 1985 كتبه العالم الفيزيائي بجامعة أوكسفورد ديفيد دوتش الذي اقترح إمكانية عمل البوابات الكمومية بطريقة مشابهة لـ البوابات المنطقية الثنائية للحوسبة الرقمية التقليدية.
Here we are asking not a simple question about a prime number or a palindrome, but we are instead turning the tables and asking a Turing machine to answer a question about another Turing machine. نحن هنا لا نسأل سؤال بسيط عن عدد أولي أو سياق متناظر، ولكننا بدلاً من ذلك نقوم بتدوير الطاولة ونسأل آلة تورنغ أن تجيبنا على سؤال عن آلة تورنغ أخرى.
A simple example of such a language is the complement of the halting language; that is the language consisting of all Turing machines paired with input strings where the Turing machines do not halt on their input. مثال بسيط على هذه اللغة هو تكملة لغة التوقف، حيث أن اللغة التي تتكون من كل الآت تورنغ مقترنة مع حروف المدخلات حيث آلات تورنغ لا تتوقف على مدخلاتها.
A simple example of such a language is the complement of the halting language; that is the language consisting of all Turing machines paired with input strings where the Turing machines do not halt on their input. مثال بسيط على هذه اللغة هو تكملة لغة التوقف، حيث أن اللغة التي تتكون من كل الآت تورنغ مقترنة مع حروف المدخلات حيث آلات تورنغ لا تتوقف على مدخلاتها.