Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Materials:
Decidability Problems for Grammars
Some Reduction Inferences
Example reductions
Recent questions tagged decidability
4
votes
3
answers
331
GateBook Mock Test_2(TOC)
Given TMs and L = {x/Every halts on input x } which of the following is true about L? (A) L is recursively enumerable but not recursive (B) L is Recursive but not Context free (C) L is Not Recursively Enumerable (D) L is regular
Given TMs and L = {x/Every halts on input x } which of the following is true about L?(A) L is recursively enumerable but not recursive(B) L is Recursive but not Context...
smartmeet
806
views
smartmeet
asked
Feb 7, 2017
Theory of Computation
gatebook-mt2
theory-of-computation
decidability
turing-machine
+
–
0
votes
1
answer
332
TOC Doubt
Turing machine that accept exactly k string,Isnt it completely undecidable?
Turing machine that accept exactly k string,Isnt it completely undecidable?
Gate Madrista
311
views
Gate Madrista
asked
Feb 1, 2017
Theory of Computation
theory-of-computation
decidability
+
–
2
votes
2
answers
333
ACE TEST SERIES- THEORY OF COMPUTATION- DECIDABILITY
asriv
620
views
asriv
asked
Jan 30, 2017
Theory of Computation
theory-of-computation
decidability
+
–
0
votes
0
answers
334
Decidability
vaishali jhalani
236
views
vaishali jhalani
asked
Jan 27, 2017
Theory of Computation
decidability
theory-of-computation
made-easy-test-series
+
–
0
votes
3
answers
335
MadeEasy Subject Test: Theory of Computation - Decidability
Consider the following languages : L1 : {< M, q >|M is a Turing Machine that visits state q on some input within 15 steps}. L2 : {< M >|M is a Turing Machine, |M|< 200 where |M|is number of states in machine}. Which of the following is decidable please explain decidability for L1
Consider the following languages :L1 : {< M, q >|M is a Turing Machine that visits state q on some input within 15 steps}.L2 : {< M >|M is a Turing Machine, |M|< 200 wher...
Pankaj Joshi
573
views
Pankaj Joshi
asked
Jan 26, 2017
Theory of Computation
made-easy-test-series
theory-of-computation
decidability
+
–
1
votes
2
answers
336
Turing Recognizable and Turing Decidable
Caption Can someone give a clear explanation to this answer?
CaptionCan someone give a clear explanation to this answer?
asterixbachman
722
views
asterixbachman
asked
Jan 25, 2017
Theory of Computation
turing-machine
theory-of-computation
decidability
+
–
1
votes
1
answer
337
Ace Test Series: Theory of Computation - Decidability
Explain...?
Explain...?
Meghashyam Sujay
434
views
Meghashyam Sujay
asked
Jan 23, 2017
Theory of Computation
theory-of-computation
decidability
ace-test-series
+
–
0
votes
0
answers
338
Toc decidability
which of the following is decidable? a)the set of TM whose language contains 0* b) the set of all TM who accept same string after visiting atmost 100 distinct Tape cell c)set of Tm that generate same language answer given A; now my question is why B is not decidable???(i dont think it is same as equivalence of TM)
which of the following is decidable?a)the set of TM whose language contains 0*b) the set of all TM who accept same string after visiting atmost 100 distinct Tape cellc)...
Aboveallplayer
234
views
Aboveallplayer
asked
Jan 22, 2017
Theory of Computation
theory-of-computation
decidability
bad-question
+
–
2
votes
1
answer
339
General Doubt In rice theorem
If we are not able to apply non-monote property ,then is it always true that it is RE but not REC,are there any scenarios where we can't apply non-monotone property but still language is NOT RE. Say,L={TM| L(TM) has atleast one string}, Now it is ... RE but not REC. P.S:- By (i) and (ii) ,i mean the definitions mentioned here.(http://gatecse.in/rices-theorem/)
If we are not able to apply non-monote property ,then is it always true that it is RE but not REC,are there any scenarios where we can't apply non-monotone property but s...
rahul sharma 5
750
views
rahul sharma 5
asked
Jan 22, 2017
Theory of Computation
theory-of-computation
rice-theorem
decidability
+
–
0
votes
2
answers
340
Self doubt
Can we say Recursive languages are Turing Recognizable? As they are decidable, so they are recognisable also.
Can we say Recursive languages are Turing Recognizable?As they are decidable, so they are recognisable also.
Lucky sunda
357
views
Lucky sunda
asked
Jan 20, 2017
Theory of Computation
decidability
theory-of-computation
+
–
0
votes
1
answer
341
Decidability
vaishali jhalani
486
views
vaishali jhalani
asked
Jan 19, 2017
Theory of Computation
theory-of-computation
decidability
+
–
2
votes
2
answers
342
Self doubt
REF: https://gateoverflow.in/76419/decidability Consider the language: 1) L = {<M>| L(M) = $\epsilon$ ... Also, other question is if we can have finite automata that accepts $\epsilon$, then we can also have TM that accepts $\epsilon$, right?
REF: https://gateoverflow.in/76419/decidabilityConsider the language:1) L = {<M>| L(M) = $\epsilon$ } 2) L = {<M>| M accepts epsilon }Now, lets consider the 1st language:...
Sushant Gokhale
1.7k
views
Sushant Gokhale
asked
Jan 17, 2017
Theory of Computation
decidability
+
–
2
votes
2
answers
343
L={<M> : M is a TM that accepts all even numbers }
L={<M> : M is a TM that accepts all even numbers } is it recursive/R.E??
L={<M : M is a TM that accepts all even numbers }is it recursive/R.E??
Akriti sood
3.6k
views
Akriti sood
asked
Jan 15, 2017
Theory of Computation
theory-of-computation
decidability
+
–
1
votes
2
answers
344
Doubt in GateCse Decidability Blog
In the deciadability chart mentioned on http://gatecse.in/grammar-decidable-and-undecidable-problems/ The undecidable problems mentioned here are semidecidable(RE but not REC) not NOT RE.Or there is no such relation? Can someone have a look and tell please?
In the deciadability chart mentioned on http://gatecse.in/grammar-decidable-and-undecidable-problems/The undecidable problems mentioned here are semidecidable(RE but not ...
rahul sharma 5
758
views
rahul sharma 5
asked
Jan 15, 2017
Theory of Computation
decidability
theory-of-computation
recursive-and-recursively-enumerable-languages
turing-machine
+
–
4
votes
1
answer
345
toc doubt
Arnabi
1.4k
views
Arnabi
asked
Jan 14, 2017
Theory of Computation
theory-of-computation
decidability
recursive-and-recursively-enumerable-languages
+
–
0
votes
1
answer
346
TOC Decidability
Are the following problems decidable? 1.{⟨M⟩∣M is a TM and there exist an input whose length is less than 100, on which M halts} I think we can simulate all the combinations of strings whose length is less than 100,and if the machine halts for any of them ... these words are not accepted by machine,Can it hang the machine?Is it also RE but NOT REC Please correct if I am going wrong
Are the following problems decidable?1.{⟨M⟩∣M is a TM and there exist an input whose length is less than 100, on which M halts}I think we can simulate all the combi...
rahul sharma 5
603
views
rahul sharma 5
asked
Jan 14, 2017
Theory of Computation
decidability
theory-of-computation
+
–
1
votes
0
answers
347
Rice theorem Clarification
I need to understand when to apply RICE's theorem and when to not. Questions like:- Turing machine makes at least five moves,It accepts a string input of length atleast five ,TM halts for every input on length <50 are all decidable. But ... some TM will say yes and some will say NO.Then why can't we use same concept on above metioned questions? Please help
I need to understand when to apply RICE's theorem and when to not.Questions like:- Turing machine makes at least five moves,It accepts a string input of length atleast ...
rahul sharma 5
706
views
rahul sharma 5
asked
Jan 13, 2017
Theory of Computation
theory-of-computation
rice-theorem
decidability
+
–
2
votes
1
answer
348
[TOC] Reduction theorem
If P1<=P2 means P1 is reducible to p2,then which is true? 1, If P1 is RE But Not REC,P2 is also RE but not REC? 2. If P2 is RE But Not REC,P1 is also RE but not REC? As per my understanding ,if P1 is ... is true. Please help Edit:- As a part of this solution please tell me,whether undecidable includes semidecidable also?And whether semidecidable includes decidable also?
If P1<=P2 means P1 is reducible to p2,then which is true?1, If P1 is RE But Not REC,P2 is also RE but not REC?2. If P2 is RE But Not REC,P1 is also RE but not REC?As per ...
rahul sharma 5
1.6k
views
rahul sharma 5
asked
Jan 13, 2017
Theory of Computation
theory-of-computation
decidability
+
–
0
votes
1
answer
349
Decidable/Undecidable
Let A = {<M>|M is a TM and L(M) is regular}. Then A is _________ a) Decidable language and regular language b) Undecidable but partially decidable c) Totally not decidable d) Decidable language but not regular language
Let A = {<M>|M is a TM and L(M) is regular}. Then A is _________a) Decidable language and regular languageb) Undecidable but partially decidablec) Totally not decidabled)...
srestha
669
views
srestha
asked
Jan 12, 2017
Theory of Computation
theory-of-computation
decidability
+
–
0
votes
0
answers
350
Decidability in CFG
As we know that equivalence in CSL is undecidable,so if i want to look for Non-equivalence,then will it be complement of this and answer will be NOT RE or will it be RE BUT NOT REC. Similarly for disjointness test,if i say i want to see if some string is common in two CFG,will it be RE BUT NOT REC or NOT RE
As we know that equivalence in CSL is undecidable,so if i want to look for Non-equivalence,then will it be complement of this and answer will be NOT RE or will it be RE B...
rahul sharma 5
1.0k
views
rahul sharma 5
asked
Jan 12, 2017
Theory of Computation
theory-of-computation
decidability
+
–
0
votes
1
answer
351
DCFl Decidability
Under what operations DCFL is Not decidable?I
Under what operations DCFL is Not decidable?I
rahul sharma 5
615
views
rahul sharma 5
asked
Jan 12, 2017
Theory of Computation
decidability
+
–
0
votes
0
answers
352
virtual-gate -2015 toc
Why is the answer D? How to solve it in simple way other than learning Rice Theorem? Does anyone know Rice thm in short?
Why is the answer D? How to solve it in simple way other than learning Rice Theorem? Does anyone know Rice thm in short?
Purple
289
views
Purple
asked
Jan 12, 2017
Theory of Computation
virtual-gate
test-series
decidability
regular-language
turing-machine
+
–
5
votes
1
answer
353
Rice's Theorem
I am unable to understand when to apply Rice's theorem and when to not. How L2 is decidable.
I am unable to understand when to apply Rice's theorem and when to not. How L2 is decidable.
Lucky sunda
1.6k
views
Lucky sunda
asked
Jan 3, 2017
Theory of Computation
rice-theorem
decidability
theory-of-computation
+
–
1
votes
1
answer
354
Rices theorem
I mean how it is a trivial property, we can write Tyes ( TM having even states) and Tno ( TM having odd states) for it.Can Turing machine can never have odd number of states?
I mean how it is a trivial property, we can write Tyes ( TM having even states) and Tno ( TM having odd states) for it.Can Turing machine can never have odd number of sta...
Lucky sunda
404
views
Lucky sunda
asked
Jan 2, 2017
Theory of Computation
decidability
rice-theorem
+
–
1
votes
0
answers
355
Undecidability
REVERSE = { M | M is a TM with the property: for all w, M(w) accepts iff M(wR) accepts} Here getting confused for applying condition to apply Rice's theorem for the given property Tyes={Palindromes} Tno={Non-palindromes} Because of which it is non- ... is correct here ? and is it Turing Recognisable ?can we apply Rice's 2nd theorem? Source:https://goo.gl/UIhNyT (Problem 1)
REVERSE = { M | M is a TM with the property: for all w, M(w) accepts iff M(wR) accepts}Here getting confused for applying condition to apply Rice's theorem for the given ...
Prajwal Bhat
321
views
Prajwal Bhat
asked
Jan 2, 2017
Theory of Computation
theory-of-computation
decidability
+
–
3
votes
1
answer
356
REVERSE = { M | M is a TM with the property: for all w, M(w) accepts iff M(wR) accepts}.
REVERSE = { M | M is a TM with the property: for all w, M(w) accepts iff M(wR) accepts}. decidable/REL??
REVERSE = { M | M is a TM with the property: for all w, M(w) accepts iff M(wR) accepts}.decidable/REL??
Akriti sood
1.1k
views
Akriti sood
asked
Dec 30, 2016
Theory of Computation
theory-of-computation
decidability
+
–
1
votes
2
answers
357
tm has more than 7 states
l = { <M> | M is a TM and M has more than 7 states } Is this decidable /undecidable/R.E /non R.e.??
l = { <M | M is a TM and M has more than 7 states }Is this decidable /undecidable/R.E /non R.e.??
Akriti sood
1.6k
views
Akriti sood
asked
Dec 29, 2016
Theory of Computation
theory-of-computation
decidability
+
–
5
votes
1
answer
358
TIFR CSE 2016 | Part B | Question: 8
Consider the following language $\mathsf{PRIMES} = \Biggl\{ \underbrace{111 \dots 11}_{p \: \text{ times} } : \: p \: \text{ is prime } \Biggl\}$ Then, which of the following is TRUE? $\mathsf{PRIMES}$ ... is decidable in polynomial time $\mathsf{PRIMES}$ is context free but not regular $\mathsf{PRIMES}$ is NP-complete and P $\neq$ NP
Consider the following language$$\mathsf{PRIMES} = \Biggl\{ \underbrace{111 \dots 11}_{p \: \text{ times} } : \: p \: \text{ is prime } \Biggl\}$$Then, which of the follo...
go_editor
679
views
go_editor
asked
Dec 29, 2016
Theory of Computation
tifr2016
theory-of-computation
decidability
p-np-npc-nph
+
–
0
votes
0
answers
359
MadeEasy Subject Test: Theory of Computation - Decidability
Consider the following statements with respect to deciability. Statement - 1: RegularTM = { <M>| M is a TM and L(M) is regular language} Statement - 2: EQTM = {<M1, M2> | M1 and M2 are TMs and L(M1) = L(M2)} The number of above problems that are decidable _________ . please explain statement 1
Consider the following statements with respect to deciability.Statement - 1: RegularTM = { <M>| M is a TM and L(M) is regular language}Statement - 2: EQTM = {<M1, M2 | M1...
Pankaj Joshi
322
views
Pankaj Joshi
asked
Dec 27, 2016
Theory of Computation
made-easy-test-series
theory-of-computation
decidability
+
–
0
votes
1
answer
360
TOC Recursive languages
How does complement of a Recursively enumerable but not recursive is not recursively enumerable?
How does complement of a Recursively enumerable but not recursive is not recursively enumerable?
Veerendra V
629
views
Veerendra V
asked
Dec 27, 2016
Theory of Computation
theory-of-computation
recursive-and-recursively-enumerable-languages
decidability
+
–
Page:
« prev
1
...
7
8
9
10
11
12
13
14
15
16
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register