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

#4261
175
views
1 answers
1 votes
Compliment of context sensitive language isA - context sensitiveB - context freeC - bothD - none of these
#4262
347
views
0 answers
1 votes
Convert into dfa on {a,b}L = w: |w|mod3=0, |w|!=5L= w:Na(w)mod3<Nb(w)mod3L= w: (Na(w)+2Nb(w))mod3<1
#4263
3.7k
views
2 answers
5 votes
1. L ={ a^n b^m c^x d^y | n=m or x=y}2. L ={ a^n b^x c^m d^y | n=m or x=y}Classify above in CFL/DCFL?
#4264
2.0k
views
1 answers
3 votes
Semidecidable means RE or only but NOT REC? Can i say every semi decidable is undecidable?
#4265
903
views
0 answers
1 votes
L (ab (a + ab)* (a + aa))can someone convert this to dfa and then regular grammer?
#4266
505
views
0 answers
2 votes
if A is regular,L= HALF(A)= { x | for some y, |x|= |y| and xy ϵ A} is regular i want to ask if i know DFA for A, how to construct DFA for L ??
#4267
300
views
0 answers
1 votes
Please provide suggestions for following points-Can Type-0 grammar be written for a Regular Language which is not Type 1,2 or 3.Can any Type 0 grammar ... is decidable /undecidableHow to design a turing machine by looking at Type 0 grammar
#4268
2.2k
views
1 answers
1 votes
Construct an nfa that accepts all integer number in C.
#4269
4.1k
views
1 answers
2 votes
Convert the nfa defined byδ (q0,a)={q0,q1}δ (q1,b)={q1,q2}δ (q2,a)={q2}δ (q1,λ)={q1,q2}Where q0 is initial state and q2 final state into equivalent DFA.
#4270
213
views
0 answers
1 votes
#4271
383
views
3 answers
2 votes
#4272
346
views
1 answers
1 votes
#4273
250
views
1 answers
3 votes
#4274
172
views
0 answers
0 votes
#4275
1.1k
views
1 answers
3 votes
As Type(3)/Regular grammars are form of left linear or right linear ,Now suppose i have two grammars,G1 and G2 which are generating left linear and right ... know that regular union is regular.So what can be concluded from this scenario ?
#4276
500
views
0 answers
1 votes
What should the maximum length of string that we should check in order to say whether language is finite or infinite.?I asked the related ... get satisfactory answer.https://gateoverflow.in/104257/toc-finite-automata-infinite-language
#4277
592
views
0 answers
1 votes
If FA has length n and accepting the string of more than n,then can i say that it must accept the string of length less than n also?
#4278
1.5k
views
1 answers
3 votes
Are Turing decidable languages are closed under Complementation, Reversal, Homomorphism, Inverse Homomorphism and Substitution?
#4279
603
views
1 answers
1 votes
Check for Regular,CFL,CSL?1. L={a^n b^m | LCM(n,m)=600) }2.L={a^n b^m | LCM(n,m)=k) }3. L={a^n b^m | GCD(n,m)=600) }4.L ... GCD whether it is constant 600 or k,we will have infinite cases.So it must be CSL.Please verify answer and approach
#4280
813
views
2 answers
2 votes
Check if the following is CFL?{a^m b^n | (m/n)=10 }Can we do this with pda?