यह साबित हो गया है कि प्रत्येक वर्ग को सख्ती से अगले में शामिल किया गया है । उदाहरण के लिए, परीक्षण जब हम मान लेते हैं कि परीक्षण के तहत कार्यान्वयन के व्यवहार को एक नियतात्मक परिमित-राज्य मशीन द्वारा इनपुट और आउटपुट के कुछ ज्ञात परिमित सेट के लिए चिह्नित किया जा सकता है और कुछ ज्ञात संख्या के राज्यों में वर्ग (और सभी बाद की कक्षाएं). हालांकि, यदि राज्यों की संख्या ज्ञात नहीं है, तो यह केवल कक्षा ii से सभी वर्गों का है । यदि परीक्षण के तहत कार्यान्वयन एक नियतात्मक परिमित-राज्य मशीन है जो एक एकल ट्रेस (और इसके continuations) के लिए विशिष्टता को विफल कर रहा है, और इसके राज्यों की संख्या अज्ञात है, तो यह केवल कक्षा iii से कक्षाओं का है । अस्थायी मशीनों का परीक्षण कर रहे हैं जहां संक्रमण शुरू होते हैं यदि कुछ वास्तविक-में अंतराल के भीतर इनपुट का उत्पादन किया जाता है, तो केवल कक्षा iv से कक्षाओं का होता है, जबकि कई गैर-नियतात्मक सिस्टम का परीक्षण केवल कक्षा वी (लेकिन सभी नहीं है, और कुछ वर्ग के लिए भी हैं i). कक्षा में शामिल होने के लिए मुझे ग्रहण गणना मॉडल की सादगी की आवश्यकता नहीं है, क्योंकि कुछ परीक्षण मामलों में किसी भी प्रोग्रामिंग भाषा में लिखा गया कार्यान्वयन, और निरंतर परिमाण के आधार पर मशीनों के रूप में परिभाषित कार्यान्वयन का परीक्षण किया गया है, मैं कक्षा में साबित हो गया हूँ । अन्य विस्तृत मामलों, जैसे कि मैथ्यू हेनेसी द्वारा परीक्षण फ्रेमवर्क के तहत शब्दार्थ, और तर्कसंगत समाप्ति के साथ अस्थायी मशीन, कक्षा ii से संबंधित हैं ।
तीन कक्षाएं हैं, क्या निष्कर्ष निकाला गया है और सभी वर्गों के लिए सिद्ध किया गया है?
प्रत्येक वर्ग को सख्ती से अगले में शामिल किया जाता है