example के लिए, ट्यूरिंग मशीनों की भाषा जो अपने स्वयं के एन्कोडिंग को स्वीकार नहीं करती हैं, किसी भी ट्यूरिंग मशीन द्वारा स्वीकार नहीं की जा सकती हैं।सभी ज्ञात भाषाएं क्या हैं जो ट्यूरिंग मशीन स्वीकार नहीं कर सकती हैं?
असीमित कई भाषाएं हैं जिनका कोई टीएम निर्णय नहीं ले सकता है। दरअसल, "अधिकतर" भाषाएं अनिश्चित हैं; वहां कई निर्णायक भाषाएं हैं, लेकिन अनगिनत रूप से कई भाषाओं (इसलिए, अनजाने में कई अनिश्चित हैं)।
चावल का प्रमेय आपको उन भाषाओं के कई उदाहरणों के साथ आने की अनुमति देता है जो अपरिहार्य हैं। विकिपीडिया पृष्ठ देखें: Rice's Theorem
असल में, यदि आपके पास ऐसी भाषाएं हैं जो गैर-तुच्छ हैं (यानी, ऐसे टीएम हैं जो सेट में भाषाएं पहचानते हैं, और टीएम जो सेट में नहीं भाषाओं को पहचानते हैं), तो यह यह अनिश्चित है कि एक मनमानी टीएम की भाषा एस में है या नहीं, उदाहरण के लिए, एस को खाली भाषा से युक्त सेट होना चाहिए। फिर यह निर्धारित करने के लिए अनिश्चित है कि एक मनमानी टीएम खाली भाषा स्वीकार करता है, यानी कोई तार नहीं। किसी भी गैर-तुच्छ भाषा के साथ आओ, और आपके पास एक नई अपरिहार्य भाषा है (सेट में भाषाओं को पहचानने वाले टीएम के सभी एन्कोडिंग)।