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 2025 Set 1
MCQ (Single Correct Answer)
+1
-0.33

Consider the following context-free grammar $G$, where $S, A$, and $B$ are the variables (nonterminals), $a$ and $b$ are the terminal symbols, $S$ is the start variable, and the rules of $G$ are described as:

$$\begin{aligned} & S \rightarrow a a B \mid A b b \\ & A \rightarrow a \mid a A \\ & B \rightarrow b \mid b B \end{aligned}$$

Which ONE of the languages $L(G)$ is accepted by $G$ ?

A
$L(G)=\left\{a^2 b^n \mid n \geq 1\right\} \cup\left\{a^n b^2 \mid n \geq 1\right\}$
B
$L(G)=\left\{a^n b^{2 n} \mid n \geq 1\right\} \cup\left\{a^{2 n} b^n \mid n \geq 1\right\}$
C
$L(G)=\left\{a^n b^n \mid n \geq 1\right\}$
D
$L(G)=\left\{a^{2 n} b^{2 n} \mid n \geq 1\right\}$
2
GATE CSE 2021 Set 2
MCQ (More than One Correct Answer)
+1
-0
Let L1 be a regular language and L2 be a context-free language. Which of the following languages is/are context-free?
A
L1 âˆ© LÌ…2
B
L1 âˆª (L2 âˆª LÌ…2)
C
$$\overline {{{\bar L}_1} \cup {{\bar L}_2}} $$
D
(L∩ L2) âˆª (LÌ…1 âˆ© L2)
3
GATE CSE 2021 Set 1
MCQ (Single Correct Answer)
+1
-0.33
Suppose that L1 is a regular and L2 is a context-free language, Which one of the following languages is NOT necessarily context-free?
A
L1 â‹… L2
B
L1 âˆª L2
C
L1 âˆ© L2
D
L1 - L2
4
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) = âˆ‘*}
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