Web Page

Regular expressions and finite automata, Context-free grammars and push-down automata, Regular and context-free languages, Pumping lemma, Turing machines and undecidability.

$$\scriptsize{\overset{{\large{\textbf{Mark Distribution in Previous GATE}}}}{\begin{array}{|c|c|c|c|c|c|c|c|}\hline
\textbf{Year}&\textbf{2024-1} & \textbf{2024-2} & \textbf{2023} & \textbf{2022} & \textbf{2021-1}&\textbf{2021-2}&\textbf{Minimum}&\textbf{Average}&\textbf{Maximum}
\\\hline\textbf{1 Mark Count} &1&1&3& 2 &2&3& 1&2&3
\\\hline\textbf{2 Marks Count} &2&3&3& 3 &3&4& 2&3&4
\\\hline\textbf{Total Marks} &5&7&9& 8 &8&11&\bf{5}&\bf{8}&\bf{11}\\\hline
\end{array}}}$$

Recent questions in Theory of Computation

#61
248
views
2 answers
2 votes
Which f the following statements is FALSE?The intersection of a regular language and a context-free language is context=freeThe intersection of a regular language and con...
#62
178
views
0 answers
0 votes
which of the following statements is NOT true?If a language is recursive it complement is recursiveIf a language is recursive its complement is recursively enumerableIf a...
#63
126
views
1 answers
0 votes
isn’t this language regular?it’s nfa according to me
#67
122
views
1 answers
0 votes
Please explain this.
#68
132
views
0 answers
1 votes
If the final states and non-final states in the DFAbelow are interchanged, then which of the followinglanguages over the alphabet {a, b} will be acceptedby the new DFA?Ho...
#69
282
views
0 answers
1 votes
L(M)={0}We can have Tyes for {0} and Tno for Σ∗ ({0}⊂Σ∗{0}⊂Σ∗). Hence, L={M ∣ L(M)={0}} is not Turing recognizable (not recursively enumerable)I don’t ...
#70
120
views
1 answers
0 votes
Can
Can $\Sigma^{*}$ be called DCFL? If yes, what would the state transition diagram of its PDA look like?
#71
191
views
2 answers
0 votes
MIN DFA of {w: w contains an even number of 0s and exactly two 1s} MIN DFA of {w: w contains an even number of 0s or exactly two 1s} ex 111 is valid
#72
185
views
1 answers
0 votes
Is the following language context free?$L=\left \{ a^ib^j\:|\: i\neq j\:and\:2i\neq j \right \}$
#73
200
views
1 answers
0 votes
Is countable sets part of GATE CS 2024 syllabus?
#74
188
views
0 answers
0 votes
Consider the following language definition:L={⟨M⟩ ∣ M is a DFA and M accepts some string of the form ww^R for some w∈Σ∗}L isRegularContext-free but not regular...
#75
160
views
0 answers
1 votes
Imagine a Turing machine that needs to determine whether a computation will halt or continue when provided with a specific input. However, there's a twist: the Turing mac...
#77
249
views
1 answers
0 votes
Why is C is regular as it non regular as?Please help me with this confusion
#79
209
views
1 answers
0 votes
What is meaning of " L is recursively enumerable but not recursive " ?