Theory of Computation
Finite Automata and Regular Language
Marks 1Marks 2Marks 5
Push Down Automata and Context Free Language
Marks 1Marks 2
Undecidability
Marks 1Marks 2
Recursively Enumerable Language and Turing Machine
Marks 1Marks 2
1
GATE CSE 2021 Set 1
MCQ (Single Correct Answer)
+1
-0
Let $$\left\langle M \right\rangle $$ denote an encoding of an automation M. Suppose that âˆ‘ = {0, 1}. Which of the following languages is/are NOT recursive?
A
L = { $$\left\langle M \right\rangle $$ | M is a PDA such that L(M) = âˆ‘*}
B
L = { $$\left\langle M \right\rangle $$ | M is a DFA such that L(M) = Φ}
C
L = { $$\left\langle M \right\rangle $$ | M is a PDA such that L(M) = Φ}
D
L = { $$\left\langle M \right\rangle $$ | M is a DFA such that L(M) = âˆ‘*}
2
GATE CSE 2016 Set 1
MCQ (Single Correct Answer)
+1
-0.3
Which of the following languages is generated by the given grammar? $$$S \to aS|bS|\varepsilon $$$
A
$$\left\{ {{a^n}{b^m}|n,m \ge 0} \right\}$$
B
$$\left\{ {w \in \left\{ {a,b} \right\}{}^ * |w} \right.$$ has equal number of $$a’s$$ and $$\left. {b's} \right\}$$
C
$$\left\{ {{a^n}|n \ge 0} \right\} \cup \left\{ {{b^n}|n \ge 0} \right\} \cup \left\{ {{a^n}{b^n}|n \ge 0} \right\}$$
D
$${\left\{ {a,b} \right\}^ * }$$
3
GATE CSE 2011
MCQ (Single Correct Answer)
+1
-0.3
The lexical analysis for a modern computer language such as java needs the power of which one of the following machine model in a necessary and sufficient sense?
A
Finite state automata
B
Deterministic pushdown automata
C
Non -deterministic pushdown automata
D
Turing machine
4
GATE CSE 2009
MCQ (Single Correct Answer)
+1
-0.3
Which one of the following is FALSE?
A
There is a unique minimal $$DFA$$ for every regular language
B
Every $$NFA$$ can be converted to an equivalent $$PDA$$
C
Complement of every context free language is recursive
D
Every non deterministic $$PDA$$ can be converted to an equivalent deterministic $$PDA$$
GATE CSE Subjects
Theory of Computation
Operating Systems
Algorithms
Digital Logic
Database Management System
Data Structures
Computer Networks
Software Engineering
Compiler Design
Web Technologies
General Aptitude
Discrete Mathematics
Programming Languages
Computer Organization