इस सवाल को पढ़ना " प्राकृतिक आरईई समस्या नहीं बल्कि ट्यूरिंग-पूर्ण " निम्नलिखित भाषा मेरे दिमाग में आई:
यदि व्यस्त बीवर फ़ंक्शन है (सभी खाली 2-प्रतीक n-राज्य के बीच अधिकतम प्राप्य स्कोर ऊपर वर्णित प्रकार की ट्यूरिंग मशीन, जब एक खाली टेप पर शुरू होता है), फ़ंक्शन को परिभाषित करें:
अब भाषा को परिभाषित करें:
क्या पुनरावर्ती रूप से गणना योग्य है? (यह फिर से होना चाहिए: बस एक समान लंबाई के सभी टीएम के साथ समानांतर एम में अनुकरण करें, और अगर हाल्ट और एक अन्य हाट में उच्च स्कोर के साथ एम जोड़ते हैं)।
क्या हम को रोकने की समस्या को कम कर सकते हैं ? (ऐसा लगता है कि यह व्यस्त बीवर को रोक नहीं सकता है)