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