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

#4441
430
views
0 answers
0 votes
Can anybody please explain this reduction and rice theorem.http://www.cs.rice.edu/~nakhleh/COMP481/Thanks
#4442
508
views
2 answers
0 votes
Can complement of a non-regular language be regular?
#4443
552
views
1 answers
0 votes
Size of rom for converting binary code to gray code?
#4444
1.3k
views
2 answers
0 votes
write the regular expression for the given language L= { W | NO OF a mod 2= 1} (odd no of a's )
#4445
512
views
1 answers
0 votes
can language wcwR accepted by a single queue?i want someone to parseabcRcba using a QUEUE
#4446
592
views
3 answers
0 votes
Given statement is true or false 1. L is regular language $\Leftrightarrow$ Ǝ a regular expression without $\bigstar$ answer in detail
#4447
2.7k
views
3 answers
2 votes
1. The complement of a finite language is always infinite2. The complement of an infinite language may be finite or infinite ..both statements are true .. i can proof using examples .. can someone give me logical theory proof ?
#4448
421
views
1 answers
0 votes
Which of the following languages over the alphabet set $\{ a, b \}$ is described by the regular expression$a^\ast b$(aa)$^\ast b$ ?The set of all strings ... of all strings ending with $ b'$.The set of all strings having sub sequence $bb$.
#4449
230
views
1 answers
1 votes
Which of the following regular expressions describes the same set of strings as $\left ( a^*+b \right )^*$ $\left ( c+d \right )$ ... $a^{\ast }\left ( c+d \right )+ b^{\ast }\left ( c+d \right )$
#4450
521
views
0 answers
2 votes
Let $DM$ be a single-tape, Deterministic Turing machine with tape alphabet $\left \{ blank,0,1 \right \}$, and let $C_i$ denote the (possibly infinite) ... during the computation $C_i.$III onlyI and III onlyII and III onlyI, II, and III
#4451
748
views
1 answers
4 votes
Consider the languages $A$ and $B$, each over the alphabet set $\left \{ a,b \right \}$.Here, $B=\{ w \mid w$ contains some $x \in A$ as a sub-string $\}.$ ... $B$ is context-free. II only II and III I and III only I, II and III
#4452
489
views
2 answers
0 votes
The definition of a language $N$ with alphabet set $\left \{ x \right \}$ ... }$ to recognize $N$ is _________.$p+m$p+1$m+1$2^\left ( p+1 \right )$
#4453
420
views
1 answers
2 votes
If $L$ is the set of all strings over $\{ x,y\}$ containing at least one $x$, then which of the following regular expressions does not generate $L$?$(x+y)^* x(y+y)^*$y^*x ( x+y)^*$( x+y)^* x$( x+y)^* xy^*$
#4454
997
views
1 answers
0 votes
If L is recursive, is it necessarily true that L+ is also recursive?
#4455
269
views
0 answers
0 votes
#4456
465
views
2 answers
1 votes
Consider the two given languages :A={x:x is an integer and divisible by 2) B ={2x:x is an integer }.Which of the following is correct?A) A is accepted ... not by AC) Both A and B are accepted by an automataD)None are accepted by automata
#4457
1.1k
views
3 answers
0 votes
Which of the following is not true?A)Class of All languages is not countableB)Every language in P is also in NPC)Every language in NP is decidabale.D)There are some languages in NP but not in P
#4458
3.3k
views
3 answers
2 votes
if L1 = { anbncn | n>= 0 } and L2 = { anbmck | k,n,m>=0}L1 is CSL and L2 is regular.Now L3 = L1.(L2)*.Is L3 is regualar or CSL?
#4459
6.9k
views
2 answers
5 votes
If $L$ and $P$ are two recursively enumerable languages then they are not closed underKleene star $L^*$ of $L$Intersection $L \cap P$Union $L \cup P$Set difference
#4460
2.0k
views
3 answers
3 votes
DFA for Every 'a' followed by 'b'. The second one is correct but I want to know if the first one is correct or not? If not please share an example.