1801 Question 1801 EN + हिं Medium GB Model checking in formal verification? IN औपचारिक सत्यापन में मॉडल जाँच? A Checks database models डेटाबेस मॉडल की जाँच करता है B Exhaustively explores state space to verify temporal logic properties अस्थायी तर्क गुणों को सत्यापित करने के लिए राज्य स्थान की विस्तृत खोज करता है C Reviews UML diagrams यूएमएल आरेखों की समीक्षा करें D Tests performance प्रदर्शन का परीक्षण करता है ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Model checkers explore all possible states of a system to verify properties like safety and liveness. व्याख्या (हिन्दी) मॉडल चेकर्स सुरक्षा और जीवंतता जैसे गुणों को सत्यापित करने के लिए सिस्टम की सभी संभावित स्थितियों का पता लगाते हैं। 🎯 Exam Perspective Computer Fundamentals से जुड़ा यह सवाल — difficulty level "Medium" उन students के लिए काम का है जो SSC CGL, IBPS, RRB और State-level परीक्षाओं की तैयारी कर रहे हैं। बेहतर होगा कि explanation पढ़कर concept clear करें, ताकि exam में similar प्रश्न आने पर confusion न हो। 🔗 Related Questions Automata theory studies? Which language is context-sensitive but not context-fre... The Halting Problem is? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1802 Question 1802 EN + हिं Medium GB Hoare triple {P} C {Q} means? IN होरे ट्रिपल {पी} सी {क्यू} का मतलब है? A C executes in P time C, P समय में निष्पादित होता है B If precondition P holds before C executes, postcondition Q holds after यदि C के निष्पादित होने से पहले पूर्व शर्त P कायम रहती है, तो बाद में शर्त Q लागू होती है C P and Q are equal P और Q बराबर हैं D C always terminates C सदैव समाप्त होता है ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Hoare logic: if program starts in state satisfying P, and C terminates, the result satisfies Q. व्याख्या (हिन्दी) तर्क यह है: यदि कार्यक्रम पी को संतुष्ट करने वाली स्थिति में शुरू होता है, और सी समाप्त हो जाता है, तो परिणाम क्यू को संतुष्ट करता है। 🎯 Exam Perspective UPSC, SSC, Banking और Police भर्ती जैसी परीक्षाओं में Computer Fundamentals से सवाल अक्सर पूछे जाते हैं — difficulty level "Medium"। इसलिए सिर्फ answer रटने के बजाय, नीचे दी गई explanation को ध्यान से पढ़ें और concept समझें। 🔗 Related Questions Lambda calculus was developed by? Regular language is recognized by? Which language is context-sensitive but not context-fre... 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1803 Question 1803 EN + हिं Medium GB Invariant in programming is? IN प्रोग्रामिंग में अपरिवर्तनीय है? A A variable that changes एक चर जो बदलता है B A condition that remains true throughout program execution एक शर्त जो प्रोग्राम निष्पादन के दौरान सत्य बनी रहती है C An exception handler एक अपवाद हैंडलर D A loop counter एक लूप काउंटर ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) An invariant is a logical assertion that holds at a specific point in a program regardless of execution path. व्याख्या (हिन्दी) एक अपरिवर्तनीय एक तार्किक दावा है जो निष्पादन पथ की परवाह किए बिना किसी कार्यक्रम में एक विशिष्ट बिंदु पर होता है। 🎯 Exam Perspective अगर आप Railway, SSC, Banking और Defence परीक्षाओं की तैयारी कर रहे हैं, तो Computer Fundamentals का यह topic आपके लिए महत्वपूर्ण है — difficulty level "Medium"। Exam में accuracy बढ़ाने के लिए हर सवाल की explanation जरूर पढ़ें। 🔗 Related Questions Context-free language is recognized by? Automata theory studies? Church-Turing thesis states? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1804 Question 1804 EN + हिं Medium GB Loop invariant is used to prove? IN लूप इनवेरिएंट का प्रयोग सिद्ध करने के लिए किया जाता है? A Loop never terminates लूप कभी ख़त्म नहीं होता B Loop correctness — condition true before, during, and after each iteration लूप शुद्धता - प्रत्येक पुनरावृत्ति से पहले, उसके दौरान और बाद में स्थिति सत्य C Compilation correctness संकलन की शुद्धता D Memory safety स्मृति सुरक्षा ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) A loop invariant is a property maintained at each iteration, used to prove the loop achieves its postcondition. व्याख्या (हिन्दी) एक लूप इनवेरिएंट प्रत्येक पुनरावृत्ति पर बनाए रखा गया एक गुण है, जिसका उपयोग यह साबित करने के लिए किया जाता है कि लूप अपनी पोस्टकंडीशन प्राप्त करता है। 🎯 Exam Perspective Computer Fundamentals के इस प्रश्न को — difficulty level "Medium" कई प्रतियोगी परीक्षाओं जैसे SSC, Railway, Banking और State PCS में repeat होते देखा गया है। Concept clarity के लिए explanation section जरूर पढ़ें। 🔗 Related Questions Type 0 grammar in Chomsky hierarchy generates? Pumping lemma is used to prove? Regular language is recognized by? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1805 Question 1805 EN + हिं Medium GB Decidability in computation theory means? IN संगणना सिद्धांत में निर्णायकता का क्या अर्थ है? A Problem is easy समस्या आसान है B There exists an algorithm that always terminates with correct yes/no answer एक एल्गोरिदम मौजूद है जो हमेशा सही हां/नहीं उत्तर के साथ समाप्त होता है C Problem is undecidable समस्या अनिर्णीत है D Polynomial solution exists बहुपद समाधान मौजूद है ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) A decidable problem has an algorithm (Turing machine) that halts and gives a correct answer for all inputs. व्याख्या (हिन्दी) एक निर्णायक समस्या में एक एल्गोरिदम (ट्यूरिंग मशीन) होता है जो रुकता है और सभी इनपुट के लिए सही उत्तर देता है। 🎯 Exam Perspective यह सवाल Computer Fundamentals category का है — difficulty level "Medium", और SSC CGL, IBPS, RRB और State-level परीक्षाओं के exam pattern में इस तरह के questions common हैं। Answer choose करने के बाद दिया गया explanation जरूर पढ़ें। 🔗 Related Questions Automata theory studies? The Halting Problem is? Loop invariant is used to prove? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1806 Question 1806 EN + हिं Medium GB The Halting Problem is? IN रुकने की समस्या है? A Easy to solve हल करना आसान B Undecidable — no algorithm can determine if arbitrary program halts अनिर्णीत - कोई भी एल्गोरिदम यह निर्धारित नहीं कर सकता कि मनमाना प्रोग्राम रुकता है या नहीं C NP-complete एन पी-सम्पूर्ण D Polynomial time solvable बहुपद समय हल करने योग्य ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Turing proved the Halting Problem is undecidable — no algorithm can determine if any program will halt. व्याख्या (हिन्दी) ट्यूरिंग ने साबित कर दिया कि हॉल्टिंग समस्या अनिर्णीत है - कोई भी एल्गोरिदम यह निर्धारित नहीं कर सकता है कि कोई प्रोग्राम रुकेगा या नहीं। 🎯 Exam Perspective यह प्रश्न Computer Fundamentals की तैयारी करने वाले अभ्यर्थियों के लिए उपयोगी है — difficulty level "Medium"। इस तरह के प्रश्न अक्सर UPSC, SSC, Banking और Police भर्ती जैसी परीक्षाओं में पूछे जाते रहे हैं, इसलिए concept और explanation दोनों को ध्यान से समझें, सिर्फ उत्तर याद न करें। 🔗 Related Questions Model checking in formal verification? Hoare triple {P} C {Q} means? Decidability in computation theory means? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1807 Question 1807 EN + हिं Medium GB Church-Turing thesis states? IN चर्च-ट्यूरिंग थीसिस बताती है? A All computers are equal सभी कंप्यूटर समान हैं B Any effectively computable function is computable by a Turing machine कोई भी प्रभावी ढंग से गणना योग्य फ़ंक्शन ट्यूरिंग मशीन द्वारा गणना योग्य है C Quantum computers are more powerful क्वांटम कंप्यूटर अधिक शक्तिशाली होते हैं D P=NP पी=एनपी ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) The Church-Turing thesis: any function computable by an algorithm can be computed by a Turing machine. व्याख्या (हिन्दी) चर्च-ट्यूरिंग थीसिस: एल्गोरिदम द्वारा गणना योग्य किसी भी फ़ंक्शन की गणना ट्यूरिंग मशीन द्वारा की जा सकती है। 🎯 Exam Perspective Computer Fundamentals से जुड़ा यह सवाल — difficulty level "Medium" उन students के लिए काम का है जो Railway, SSC, Banking और Defence परीक्षाओं की तैयारी कर रहे हैं। बेहतर होगा कि explanation पढ़कर concept clear करें, ताकि exam में similar प्रश्न आने पर confusion न हो। 🔗 Related Questions Hoare triple {P} C {Q} means? Automata theory studies? Context-free language is recognized by? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1808 Question 1808 EN + हिं Medium GB Lambda calculus was developed by? IN लैम्ब्डा कैलकुलस किसके द्वारा विकसित किया गया था? A Alan Turing एलन ट्यूरिंग B Alonzo Church — foundation of functional programming अलोंजो चर्च - कार्यात्मक प्रोग्रामिंग की नींव C John von Neumann जॉन वॉन न्यूमैन D Claude Shannon क्लाउड शैनन ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Alonzo Church developed lambda calculus in the 1930s, forming the theoretical foundation of functional programming. व्याख्या (हिन्दी) अलोंजो चर्च ने 1930 के दशक में लैम्ब्डा कैलकुलस विकसित किया, जिससे कार्यात्मक प्रोग्रामिंग की सैद्धांतिक नींव तैयार हुई। 🎯 Exam Perspective SSC, Railway, Banking और State PCS जैसी परीक्षाओं में Computer Fundamentals से सवाल अक्सर पूछे जाते हैं — difficulty level "Medium"। इसलिए सिर्फ answer रटने के बजाय, नीचे दी गई explanation को ध्यान से पढ़ें और concept समझें। 🔗 Related Questions Chomsky hierarchy levels from most to least restricted? Context-free language is recognized by? Model checking in formal verification? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1809 Question 1809 EN + हिं Medium GB Automata theory studies? IN ऑटोमेटा सिद्धांत अध्ययन? A Physical robots भौतिक रोबोट B Abstract mathematical machines and their computational power सार गणितीय मशीनें और उनकी कम्प्यूटेशनल शक्ति C Hardware design हार्डवेयर डिज़ाइन D Network protocols नेटवर्क प्रोटोकॉल ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Automata theory studies abstract computing machines (DFA, NFA, PDA, TM) and their language recognition capabilities. व्याख्या (हिन्दी) ऑटोमेटा सिद्धांत अमूर्त कंप्यूटिंग मशीनों (डीएफए, एनएफए, पीडीए, टीएम) और उनकी भाषा पहचान क्षमताओं का अध्ययन करता है। 🎯 Exam Perspective अगर आप SSC CGL, IBPS, RRB और State-level परीक्षाओं की तैयारी कर रहे हैं, तो Computer Fundamentals का यह topic आपके लिए महत्वपूर्ण है — difficulty level "Medium"। Exam में accuracy बढ़ाने के लिए हर सवाल की explanation जरूर पढ़ें। 🔗 Related Questions Loop invariant is used to prove? Pumping lemma is used to prove? Church-Turing thesis states? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1810 Question 1810 EN + हिं Medium GB Regular language is recognized by? IN नियमित भाषा किसके द्वारा मान्यता प्राप्त है? A Pushdown automaton पुशडाउन ऑटोमेटन B Finite automaton (DFA/NFA) परिमित ऑटोमेटन (DFA/NFA) C Turing machine only केवल ट्यूरिंग मशीन D Context-free grammar प्रसंग-मुक्त व्याकरण ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Regular languages are exactly those recognized by Deterministic or Non-deterministic Finite Automata. व्याख्या (हिन्दी) नियमित भाषाएँ बिल्कुल नियतात्मक या गैर-नियतात्मक परिमित ऑटोमेटा द्वारा मान्यता प्राप्त भाषाएँ हैं। 🎯 Exam Perspective Computer Fundamentals के इस प्रश्न को — difficulty level "Medium" कई प्रतियोगी परीक्षाओं जैसे UPSC, SSC, Banking और Police भर्ती में repeat होते देखा गया है। Concept clarity के लिए explanation section जरूर पढ़ें। 🔗 Related Questions Loop invariant is used to prove? Hoare triple {P} C {Q} means? Pumping lemma is used to prove? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1811 Question 1811 EN + हिं Medium GB Context-free language is recognized by? IN प्रसंग-मुक्त भाषा किसके द्वारा मान्यता प्राप्त है? A Finite automaton परिमित स्वचालन B Pushdown automaton (PDA) पुशडाउन ऑटोमेटन (पीडीए) C Turing machine only केवल ट्यूरिंग मशीन D Linear bounded automaton रैखिक परिबद्ध ऑटोमेटन ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Context-free languages are recognized by Pushdown Automata (finite automaton + stack memory). व्याख्या (हिन्दी) संदर्भ-मुक्त भाषाओं को पुशडाउन ऑटोमेटा (परिमित ऑटोमेटन + स्टैक मेमोरी) द्वारा मान्यता प्राप्त है। 🎯 Exam Perspective यह सवाल Computer Fundamentals category का है — difficulty level "Medium", और Railway, SSC, Banking और Defence परीक्षाओं के exam pattern में इस तरह के questions common हैं। Answer choose करने के बाद दिया गया explanation जरूर पढ़ें। 🔗 Related Questions Pumping lemma is used to prove? Type 0 grammar in Chomsky hierarchy generates? Invariant in programming is? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1812 Question 1812 EN + हिं Medium GB Which language is context-sensitive but not context-free? IN कौन सी भाषा संदर्भ-संवेदनशील है लेकिन संदर्भ-मुक्त नहीं है? A a^n b^n ए^एन बी^एन B a^n b^n c^n ए^एन बी^एन सी^एन C a^n ए^एन D a+b* ए+बी* ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) a^n b^n c^n (equal n of each character) is context-sensitive but not context-free. व्याख्या (हिन्दी) a^n b^n c^n (प्रत्येक वर्ण के बराबर n) संदर्भ-संवेदनशील है लेकिन संदर्भ-मुक्त नहीं है। 🎯 Exam Perspective यह प्रश्न Computer Fundamentals की तैयारी करने वाले अभ्यर्थियों के लिए उपयोगी है — difficulty level "Medium"। इस तरह के प्रश्न अक्सर SSC, Railway, Banking और State PCS जैसी परीक्षाओं में पूछे जाते रहे हैं, इसलिए concept और explanation दोनों को ध्यान से समझें, सिर्फ उत्तर याद न करें। 🔗 Related Questions Church-Turing thesis states? Regular language is recognized by? The Halting Problem is? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1813 Question 1813 EN + हिं Medium GB Chomsky hierarchy levels from most to least restricted? IN चॉम्स्की पदानुक्रम का स्तर अधिकतम से न्यूनतम तक सीमित है? A Regular < Context-free < Context-sensitive < Recursively enumerable नियमित <संदर्भ-मुक्त <संदर्भ-संवेदनशील <पुनरावर्ती रूप से गणना योग्य B Recursively enumerable < Context-sensitive < Context-free < Regular पुनरावर्ती रूप से गणना योग्य <संदर्भ-संवेदनशील <संदर्भ-मुक्त <नियमित C Equal power समान शक्ति D No hierarchy कोई पदानुक्रम नहीं ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Chomsky: Regular ⊂ Context-free ⊂ Context-sensitive ⊂ Recursively enumerable (Type 3,2,1,0). व्याख्या (हिन्दी) चॉम्स्की: नियमित ⊂ संदर्भ-मुक्त ⊂ संदर्भ-संवेदनशील ⊂ पुनरावर्ती गणना योग्य (प्रकार 3,2,1,0)। 🎯 Exam Perspective Computer Fundamentals से जुड़ा यह सवाल — difficulty level "Medium" उन students के लिए काम का है जो SSC CGL, IBPS, RRB और State-level परीक्षाओं की तैयारी कर रहे हैं। बेहतर होगा कि explanation पढ़कर concept clear करें, ताकि exam में similar प्रश्न आने पर confusion न हो। 🔗 Related Questions Invariant in programming is? Lambda calculus was developed by? Which language is context-sensitive but not context-fre... 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1814 Question 1814 EN + हिं Medium GB Pumping lemma is used to prove? IN पम्पिंग लेम्मा का प्रयोग सिद्ध करने के लिए किया जाता है? A A language is regular एक भाषा नियमित होती है B A language is NOT regular (or not context-free) कोई भाषा नियमित नहीं है (या संदर्भ-मुक्त नहीं है) C Turing completeness ट्यूरिंग पूर्णता D NP-hardness एनपी-कठोरता ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Pumping lemma provides a necessary condition for regular/CFL languages — violation proves a language is not in that class. व्याख्या (हिन्दी) पंपिंग लेम्मा नियमित/सीएफएल भाषाओं के लिए एक आवश्यक शर्त प्रदान करता है - उल्लंघन साबित करता है कि एक भाषा उस वर्ग में नहीं है। 🎯 Exam Perspective UPSC, SSC, Banking और Police भर्ती जैसी परीक्षाओं में Computer Fundamentals से सवाल अक्सर पूछे जाते हैं — difficulty level "Medium"। इसलिए सिर्फ answer रटने के बजाय, नीचे दी गई explanation को ध्यान से पढ़ें और concept समझें। 🔗 Related Questions Church-Turing thesis states? The Halting Problem is? Model checking in formal verification? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)
1815 Question 1815 EN + हिं Medium GB Type 0 grammar in Chomsky hierarchy generates? IN चॉम्स्की पदानुक्रम में टाइप 0 व्याकरण उत्पन्न होता है? A Regular languages नियमित भाषाएँ B Recursively enumerable languages (most general) पुनरावर्ती रूप से गणना योग्य भाषाएँ (सबसे सामान्य) C Context-free languages प्रसंग-मुक्त भाषाएँ D Context-sensitive languages संदर्भ-संवेदनशील भाषाएँ ✅ Correct Answer: 💡 Explanation / व्याख्या Explanation (English) Type 0 (unrestricted grammar) generates recursively enumerable languages — recognized by Turing machines. व्याख्या (हिन्दी) टाइप 0 (अप्रतिबंधित व्याकरण) पुनरावर्ती रूप से गणना योग्य भाषाएँ उत्पन्न करता है - ट्यूरिंग मशीनों द्वारा मान्यता प्राप्त। 🎯 Exam Perspective अगर आप Railway, SSC, Banking और Defence परीक्षाओं की तैयारी कर रहे हैं, तो Computer Fundamentals का यह topic आपके लिए महत्वपूर्ण है — difficulty level "Medium"। Exam में accuracy बढ़ाने के लिए हर सवाल की explanation जरूर पढ़ें। 🔗 Related Questions Invariant in programming is? Context-free language is recognized by? Model checking in formal verification? 📚 Related Topic Introduction to Computer (2618) Generations of Computer (21) Input Devices (36)