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

#4381
878
views
1 answers
2 votes
S->ASBA->aASA | a | ϵB->SbS | A | bbConvert this grammar into Chomsky Normal Form
#4382
3.0k
views
1 answers
2 votes
Mealy machines do not respond for epsilon whereas Moore machines do. Is this true? Please explain.
#4383
1.3k
views
1 answers
1 votes
What is the difference between substitution property, homomorphism property and inverse homomorphism property?Give an example to best support your answer.
#4384
440
views
2 answers
1 votes
The number of unique strings in L((a+b)* a(b+ba)* ) of length less than four is _____
#4385
283
views
0 answers
0 votes
#4386
3.2k
views
1 answers
0 votes
Consider the given dfaWhat is the regular expression of the given dfa?I am getting :- a(ba)*bb + a(ba)*a + bbIs it correct or not?
#4387
1.5k
views
1 answers
2 votes
Q1> How many numbers of states are there in minimal DFA for the following languages formed over input = {a, b}1. a div by 2 and b not div by 3.2. a ... in such question.It will be good if someone tells how to draw the DFA of such question.
#4388
434
views
1 answers
0 votes
#I am confused in the language (iv) . Someone please explain.
#4389
4.4k
views
1 answers
3 votes
Can anyone explain each option in detail. I am unable to get this property. .!!
#4390
241
views
1 answers
0 votes
#4391
367
views
1 answers
0 votes
Is it true that for any nfa M = (Q,Σ,δ,q 0 ,F) the complement of L(M)is equal to the set {w ∈ Σ * : δ *(q 0 ,w) F= Ø}?
#4393
767
views
0 answers
1 votes
Let M = (K, Σ, Г, Δ, s, F) be a pushdown automaton, whereK = (s, f), F = {f}, Σ = {a, b}, Г = {a} and Δ = {((s, a, ... .Can anybody please explain the meaning of each transition!? What does the Epsilon in the 1st 3 transitions stand for !?
#4394
429
views
0 answers
0 votes
True /falseIf any row/column is constant is constant multiple of any other row/column then determinant is zero.Whether the converse of this statement is true or false?
#4395
844
views
1 answers
1 votes
We know Regular Union CFL is CFL as they are closed but a doubt came in my mind ifRegular - (a+b)*CFL - anbn Isn't it regular (a+b)* U anbn = ( ... Union CFL is CFL as they are closed is true ?? Please correct me if i am wrong..
#4396
623
views
2 answers
0 votes
If L1 is context free and L2 is not context free, then L1 ∩ L2 is context free.Is this true or not?
#4397
1.8k
views
3 answers
0 votes
#4398
1.2k
views
1 answers
0 votes
S→iEtS|iEtSeS|a, E→bHow is this grammar ambiguous?? Please explain.
#4399
272
views
0 answers
2 votes
Consider the statements(I) Regular(II) DCFL but not regular(III) CFL but not DCFLConsider the three languages L1, L2,L3 given below , and choose the correct option.( ... L2- (I) L3- (II) Please anyone explain difference between L2 and L3.
#4400
909
views
0 answers
1 votes
any TM with m symbol and n states can be simulated by another TM with just 2 symbols and less thanans 8 mn states how?