Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Turing Machine Notes
Recent questions tagged turing-machine
0
votes
0
answers
271
Conversion of multitape TM to single tape TM
smsubham
540
views
smsubham
asked
Dec 26, 2018
Theory of Computation
theory-of-computation
turing-machine
+
–
0
votes
0
answers
272
decidablilty
I learned that recursive language are decidable; correct me if I am wrong. However, I have found some arguments that seem to contradict this. These may or may not be correct; please let me know. If a language is an REL (recursive enumerable ... recursive or not *undecidable*. Hence, recursive languages should be undecidable-which they are not! What is wrong with the above reasoning?
I learned that recursive language are decidable; correct me if I am wrong. However, I have found some arguments that seem to contradict this. These may or may not be cor...
rballiwal
292
views
rballiwal
asked
Dec 25, 2018
Theory of Computation
finite-automata
turing-machine
+
–
0
votes
0
answers
273
decidability
please someone explain what are these problems and how to solve these problems for every language with proper explanation? MEMBERSHIP PROBLEM EMPTINESS PROBLEM COMPLETENESS PROBLEM EQUILITY PROBLEM SUBSET PROBLEM DISJOINTNESS PROBLEM IS GIVEN LANGUAGE REGULAR FINITENESS PROBLEM
please someone explain what are these problems and how to solve these problems for every language with proper explanation?MEMBERSHIP PROBLEMEMPTINESS PROBLEMCOMPLETENESS ...
Rahul_Rathod_
958
views
Rahul_Rathod_
asked
Dec 24, 2018
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
0
votes
0
answers
274
Zeal Test Series 2019: Theory of Computation - Turing Machine
I think c is not true please correct me if i am wrong
I think c is not true please correct me if i am wrong
Prince Sindhiya
352
views
Prince Sindhiya
asked
Dec 22, 2018
Theory of Computation
zeal
theory-of-computation
turing-machine
zeal2019
+
–
0
votes
0
answers
275
Self doubt
I know that for a recursively enumerable language there exists an unrestricted grammar and we have formally defined unrestricted grammar. I want to know whether for every recursive language, there is a grammar or not, and if there is, is there a formal definition of the same?
I know that for a recursively enumerable language there exists an unrestricted grammar and we have formally defined unrestricted grammar. I want to know whether for every...
subho16
518
views
subho16
asked
Dec 20, 2018
Theory of Computation
theory-of-computation
turing-machine
grammar
recursive-and-recursively-enumerable-languages
+
–
1
votes
1
answer
276
Zeal Theory of Computation module.
Does the statement given below is true? If a language L is recursive enumerable than there does not exits a TM that could accept complement of L but reject L.
Does the statement given below is true?If a language L is recursive enumerable than there does not exits a TM that could accept complement of L but reject L.
Ayan21
604
views
Ayan21
asked
Dec 17, 2018
Theory of Computation
theory-of-computation
decidability
recursive-and-recursively-enumerable-languages
turing-machine
+
–
0
votes
1
answer
277
self doubt - Turing Machines
I have doubt in the following question: Let L(R) be the language represented by regular expression R. Let L(G) be the language generated by CFG G. Let L(M) be the language accepted by a turing machine M. Now, I am getting confused over the keyword “accepted”. What should L(M) be considered? Is it REC or RE?
I have doubt in the following question:Let L(R) be the language represented by regular expression R. Let L(G) be the language generated by CFG G. Let L(M) be the language...
Harsh Kumar
310
views
Harsh Kumar
asked
Dec 17, 2018
Theory of Computation
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
1
votes
1
answer
278
Turing Machine lecture content stan..
A = { <M,w> | M is a TM that accepts W} what is A’( A complement)? Pls guide : M is a Tm doesn,t accept w, Unable to approach further Source:https://web.stanford.edu/class/archive/cs/cs103/cs103.1134/lectures/20/Small20.pdf
A = { <M,w | M is a TM that accepts W}what is A’( A complement)? Pls guide : M is a Tm doesn,t accept w, Unable to approach further Source:https://web.stanford.edu/c...
Learner_jai
308
views
Learner_jai
asked
Dec 16, 2018
Theory of Computation
turing-machine
decidability
+
–
2
votes
2
answers
279
Turing Machine-Techtud
If Turing Machine input tape length,restricted to input length, then the language accepted by Turing Machine $A)$ Regular Language $B)$ CFL $C)$ CSL $D)$ None Ans given CSL but I thought it should be regular then what is difference between input restricted and constant size tape? https://gateoverflow.in/26653/gate1991-17-a Plz confirm what is correct?
If Turing Machine input tape length,restricted to input length, then the language accepted by Turing Machine $A)$ Regular Language$B)$ CFL$C)$ CSL$D)$ NoneAns given CSL b...
srestha
1.4k
views
srestha
asked
Dec 13, 2018
Theory of Computation
turing-machine
theory-of-computation
+
–
3
votes
3
answers
280
MadeEasy Subject Test 2019: Theory Of Computation - Decidability
Consider <M> be the encoding of Turing Machine as string over alphabet $\Sigma$ = {0,1}.Consider L= { <M>| M is TM that halt on all input and L(M) = L` for some undecidable language L` . Then L is Decidable and Recursive Decidable and non Recursive Undecidable and Recursive Undecidable and non Recursive
Consider <M be the encoding of Turing Machine as string over alphabet $\Sigma$ = {0,1}.Consider L= { <M>| M is TM that halt on all input and L(M) = L for some undecidab...
Hemanth_13
3.5k
views
Hemanth_13
asked
Dec 13, 2018
Theory of Computation
made-easy-test-series
theory-of-computation
decidability
turing-machine
+
–
1
votes
3
answers
281
Halting problem of TM which recognize recursive languages is undecidable?
Halting problem of Turing machines which recognize recursive languages is undecidable. (True / False)
Halting problem of Turing machines which recognize recursive languages is undecidable. (True / False)
gmrishikumar
1.7k
views
gmrishikumar
asked
Dec 10, 2018
Theory of Computation
decidability
recursive-and-recursively-enumerable-languages
theory-of-computation
turing-machine
rice-theorem
+
–
0
votes
0
answers
282
NIELIT Qtn
Consider the following possible outcomes of executing a Turing machine over a given input. Which of the following outcome is NOT possible? A)TM halts and accepts the input B)TM halts and rejects the input C)TM hangs and accepts the input D)TM never halts.
Consider the following possible outcomes of executing a Turing machine over a given input. Which of the following outcome is NOT possible?A)TM halts and accepts the input...
pps121
263
views
pps121
asked
Dec 2, 2018
Theory of Computation
turing-machine
theory-of-computation
+
–
3
votes
3
answers
283
Zeal Test Series 2019: Theory of Computation - Turing Machine
i marked the a) answer is D)please explain it
i marked the a) answer is D)please explain it
Prince Sindhiya
921
views
Prince Sindhiya
asked
Nov 25, 2018
Theory of Computation
zeal
theory-of-computation
turing-machine
zeal2019
+
–
0
votes
0
answers
284
Decidability Doubt
$L_1 = \{ \text{<M>} | \ \text{M is a TM, } \text{M}_0 \ \text{is a TM that halts on all inputs and, } \text{M}_0 \in L(M) \}$ ... because $\exists$ infinite number of TM's which accept $\Sigma^*$. Now $L(M)$ is not even RE. If that then how $L_1$ is RE. Please explain both.
$L_1 = \{ \text{<M>} | \ \text{M is a TM, } \text{M}_0 \ \text{is a TM that halts on all inputs and, } \text{M}_0 \in L(M) \}$$L_2 = \{ \text{<M>} | \ \text{M is a TM,...
Mk Utkarsh
418
views
Mk Utkarsh
asked
Nov 23, 2018
Theory of Computation
theory-of-computation
decidability
recursive-and-recursively-enumerable-languages
turing-machine
+
–
0
votes
0
answers
285
Gateforum Test Series: Theory of Computation - Turing Machine
anyone please explain this in detail
anyone please explain this in detail
nag.swarna
373
views
nag.swarna
asked
Nov 22, 2018
Theory of Computation
gateforum-test-series
theory-of-computation
turing-machine
+
–
0
votes
0
answers
286
Gateforum Test Series: Theory of Computation - Turing Machine
Im not getting the intution behind this can any one explain
Im not getting the intution behind this can any one explain
nag.swarna
251
views
nag.swarna
asked
Nov 22, 2018
Theory of Computation
gateforum-test-series
theory-of-computation
turing-machine
+
–
0
votes
1
answer
287
Turing machine
is multi dimension Tm contain multiple tape or just a single tape, arrange differently?
is multi dimension Tm contain multiple tape or just a single tape, arrange differently?
shashank joshi
254
views
shashank joshi
asked
Nov 18, 2018
Theory of Computation
turing-machine
theory-of-computation
+
–
0
votes
0
answers
288
Theory of Computation : Turing Machine
Correct ans is Type - 0. My doubt is LBA is also TM and LBA belongs to type - 1 then why ans is not type - 1
Correct ans is Type - 0. My doubt is LBA is also TM and LBA belongs to type - 1 then why ans is not type - 1
Pavan Shetty
283
views
Pavan Shetty
asked
Nov 17, 2018
Theory of Computation
theory-of-computation
turing-machine
grammar
+
–
1
votes
0
answers
289
Decidability
Na462
1.6k
views
Na462
asked
Nov 14, 2018
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
0
votes
1
answer
290
Decidability
How to distinguish between a problem which is (undecidable) and which is (undecidable but partially decidable); or rather for a given problem how to say in which category it falls?
How to distinguish between a problem which is (undecidable) and which is (undecidable but partially decidable); or rather for a given problem how to say in which category...
Mizuki
467
views
Mizuki
asked
Nov 14, 2018
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
1
votes
2
answers
291
Decidability
Decidable or Undecidable? Given a Turing machine M, a string s and an integer k, M accepts s within k steps. Please elaborate.
Decidable or Undecidable? Given a Turing machine M, a string s and an integer k, M accepts s within k steps.Please elaborate.
Mizuki
525
views
Mizuki
asked
Nov 14, 2018
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
0
votes
0
answers
292
Recursive language
https://gateoverflow.in/86546/theory-of-computation-22 Total recursive functions are similar to a) Recursive Languages b) Recursive Enumerable languages c) can not relate d) none what is partial,preemptive and total recursive function and how related to Mentioned languages???? "Recursive Enumerable language is range of total recursive function"What it means?
https://gateoverflow.in/86546/theory-of-computation-22Total recursive functions are similar to a) Recursive Languages b) Recursive Enumerable languages c) can not re...
Abhisek Tiwari 4
327
views
Abhisek Tiwari 4
asked
Nov 5, 2018
Theory of Computation
recursive-and-recursively-enumerable-languages
turing-machine
theory-of-computation
+
–
0
votes
1
answer
293
Turing machine
What is the meaning of non trivial property related to a language. Please explain with an example.
What is the meaning of non trivial property related to a language. Please explain with an example.
Lovejeet Singh
225
views
Lovejeet Singh
asked
Oct 30, 2018
Theory of Computation
turing-machine
theory-of-computation
recursive-and-recursively-enumerable-languages
+
–
0
votes
0
answers
294
Undecidability
L1:{<M> | there exist a Turing machine M' such that <M>$\neq$<M'> and L(M) = L(M')} How this problem becomes trivial? and if it non-trivial then please explain why is that so. According to my understanding, non-trivial ... is then is it okay to say M1=M2 because they are kind of same machine but other one is just with some non deterministic nature.
L1:{<M | there exist a Turing machine M' such that <M>$\neq$<M' and L(M) = L(M')}How this problem becomes trivial? and if it non-trivial then please explain why is that s...
Swapnil Naik
560
views
Swapnil Naik
asked
Oct 30, 2018
Theory of Computation
theory-of-computation
rice-theorem
turing-machine
decidability
+
–
0
votes
0
answers
295
Decidability Doubt
A recursive language is empty or a recursive language contains all strings over sigma*. Why this problem is undecidable?
A recursive language is empty or a recursive language contains all strings over sigma*. Why this problem is undecidable?
aditi19
250
views
aditi19
asked
Oct 29, 2018
Theory of Computation
decidability
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
0
votes
0
answers
296
Ace Book
abhishek1995_cse
548
views
abhishek1995_cse
asked
Oct 27, 2018
Theory of Computation
context-free-language
regular-language
theory-of-computation
turing-machine
+
–
0
votes
0
answers
297
Turing Machine
A turing machine $\left \langle M,w,i \right \rangle$ where $M$ is TM , $w$ is string and $i$ is bit. Is the bit $i$ is encoding at last of the string $w$ or at first?
A turing machine $\left \langle M,w,i \right \rangle$ where $M$ is TM , $w$ is string and $i$ is bit.Is the bit $i$ is encoding at last of the string $w$ or at first?
srestha
180
views
srestha
asked
Oct 12, 2018
Theory of Computation
turing-machine
theory-of-computation
+
–
0
votes
0
answers
298
undecidability
Writes Non Blank: Given a turing machine T, does it ever writes a non-blank symbol on its tape, when started with a blank tape. how the above problem is solvable? somewhere i got this explanation: Let the machine only writes blank symbol. Then ... is a non-trivial property of turing machine and every non trivial property of turing machine is undecidable, so this is also undecidable.
Writes Non Blank: Given a turing machine T, does it ever writes a non-blank symbol on its tape, when started with a blank tape.how the above problem is solvable?somewhere...
aambazinga
459
views
aambazinga
asked
Sep 21, 2018
Theory of Computation
theory-of-computation
decidability
rice-theorem
turing-machine
+
–
0
votes
0
answers
299
Peter Linz Edition 4 Exercise 12.1 Question 14 (Page No. 306)
Consider the set of all n-state Turing machines with tape alphabet Γ = {0,1, B}. Give an expression for m(n), the number of distinct Turing machines with this Γ.
Consider the set of all n-state Turing machines with tape alphabet Γ = {0,1, B}. Give an expression for m(n), the number of distinct Turing machines with this Γ.
RohitKumarSingh
226
views
RohitKumarSingh
asked
Sep 19, 2018
Theory of Computation
turing-machine
theory-of-computation
peter-linz
peter-linz-edition4
+
–
1
votes
1
answer
300
TM that accepts input string x
$D = \left \{ M \mid \ M \text{ is a TM that accepts the input string } x \right \}$ What is complement of D and is it Decidable, Turing recognizable or not Turing recognizable?
$D = \left \{ M \mid \ M \text{ is a TM that accepts the input string } x \right \}$What is complement of D and is it Decidable, Turing recognizable or not Turing recogni...
Mk Utkarsh
1.5k
views
Mk Utkarsh
asked
Sep 15, 2018
Theory of Computation
theory-of-computation
decidability
turing-machine
+
–
Page:
« prev
1
...
5
6
7
8
9
10
11
12
13
14
15
...
17
next »
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register