और अगर स्टेट की प्रजातियां परिमित हो जाती हैं, तो आप देख सकते हैं कि अंततः, जो भी स्टेट प्रारंभ स्टेट से पहुंच योग्य हैं, वे किसी न किसी बिंदु पर फट जाएंगे, और वह केवल इस लूप से बाहर आ जाएगा, यह खुल जाता है।