Computer Fundamentals — MCQ Practice

Hindi aur English dono mein practice karo — click karo answer check karne ke liye

📚 2941 Questions 🌐 Hindi + English ✅ Free
भाषा / Language:
2941 questions
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.
व्याख्या (हिन्दी) मॉडल चेकर्स सुरक्षा और जीवंतता जैसे गुणों को सत्यापित करने के लिए सिस्टम की सभी संभावित स्थितियों का पता लगाते हैं।
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.
व्याख्या (हिन्दी) तर्क यह है: यदि कार्यक्रम पी को संतुष्ट करने वाली स्थिति में शुरू होता है, और सी समाप्त हो जाता है, तो परिणाम क्यू को संतुष्ट करता है।
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.
व्याख्या (हिन्दी) एक अपरिवर्तनीय एक तार्किक दावा है जो निष्पादन पथ की परवाह किए बिना किसी कार्यक्रम में एक विशिष्ट बिंदु पर होता है।
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.
व्याख्या (हिन्दी) एक लूप इनवेरिएंट प्रत्येक पुनरावृत्ति पर बनाए रखा गया एक गुण है, जिसका उपयोग यह साबित करने के लिए किया जाता है कि लूप अपनी पोस्टकंडीशन प्राप्त करता है।
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.
व्याख्या (हिन्दी) एक निर्णायक समस्या में एक एल्गोरिदम (ट्यूरिंग मशीन) होता है जो रुकता है और सभी इनपुट के लिए सही उत्तर देता है।
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.
व्याख्या (हिन्दी) ट्यूरिंग ने साबित कर दिया कि हॉल्टिंग समस्या अनिर्णीत है - कोई भी एल्गोरिदम यह निर्धारित नहीं कर सकता है कि कोई प्रोग्राम रुकेगा या नहीं।
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.
व्याख्या (हिन्दी) चर्च-ट्यूरिंग थीसिस: एल्गोरिदम द्वारा गणना योग्य किसी भी फ़ंक्शन की गणना ट्यूरिंग मशीन द्वारा की जा सकती है।
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 के दशक में लैम्ब्डा कैलकुलस विकसित किया, जिससे कार्यात्मक प्रोग्रामिंग की सैद्धांतिक नींव तैयार हुई।
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.
व्याख्या (हिन्दी) ऑटोमेटा सिद्धांत अमूर्त कंप्यूटिंग मशीनों (डीएफए, एनएफए, पीडीए, टीएम) और उनकी भाषा पहचान क्षमताओं का अध्ययन करता है।
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.
व्याख्या (हिन्दी) नियमित भाषाएँ बिल्कुल नियतात्मक या गैर-नियतात्मक परिमित ऑटोमेटा द्वारा मान्यता प्राप्त भाषाएँ हैं।
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).
व्याख्या (हिन्दी) संदर्भ-मुक्त भाषाओं को पुशडाउन ऑटोमेटा (परिमित ऑटोमेटन + स्टैक मेमोरी) द्वारा मान्यता प्राप्त है।
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) संदर्भ-संवेदनशील है लेकिन संदर्भ-मुक्त नहीं है।
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)।
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.
व्याख्या (हिन्दी) पंपिंग लेम्मा नियमित/सीएफएल भाषाओं के लिए एक आवश्यक शर्त प्रदान करता है - उल्लंघन साबित करता है कि एक भाषा उस वर्ग में नहीं है।
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 (अप्रतिबंधित व्याकरण) पुनरावर्ती रूप से गणना योग्य भाषाएँ उत्पन्न करता है - ट्यूरिंग मशीनों द्वारा मान्यता प्राप्त।
1801–1815 of 2941