Login
Register
Dark Mode
Brightness
Profile
Edit Profile
Messages
My favorites
My Updates
Logout
Turing Machine Notes
Recent questions tagged turing-machine
5
votes
3
answers
481
TM Decidablity
Why this statement Turing Machine accepts the null string epsilon ? is not Decidable ? explain with an example.
Why this statement Turing Machine accepts the null string epsilon ? is not Decidable ? explain with an example.
manu90
1.4k
views
manu90
asked
Jun 18, 2016
Theory of Computation
theory-of-computation
turing-machine
+
–
0
votes
2
answers
482
TM Decidablity
Is it decidable whether a given Turing machine accepts a CFL? give some facts or exp to prove your answer .
Is it decidable whether a given Turing machine accepts a CFL? give some facts or exp to prove your answer .
manu90
1.5k
views
manu90
asked
Jun 18, 2016
Theory of Computation
theory-of-computation
turing-machine
+
–
3
votes
1
answer
483
ISI2012-PCB-CS-3
Design a Turing machine that recognizes the unary language consisting of all strings of 0’s whose length is a power of 2, i.e., $L = \{0^{2n} \mid n \geq 0\}$
Design a Turing machine that recognizes the unary language consisting of all strings of 0’s whose length is a power of 2, i.e., $L = \{0^{2n} \mid n \geq 0\}$
go_editor
954
views
go_editor
asked
Jun 2, 2016
Theory of Computation
descriptive
isi2012-pcb-cs
theory-of-computation
turing-machine
+
–
0
votes
2
answers
484
is pushdown automata less powerful than Turing machines ?
Amit Sharma
6.5k
views
Amit Sharma
asked
Jun 1, 2016
Theory of Computation
theory-of-computation
turing-machine
pushdown-automata
+
–
3
votes
2
answers
485
Turing machines decidability problem
Consider the following two decision problems Whether a Turing Machine takes more than 481 steps on input epsilon? Whether a Turing Machine accepts the null string epsilon? Which of the following statements is true ? Problem a is decidable but b is not Problem a is undecidable but b is decidable Both a and b are decidable Both a and b are undecidable
Consider the following two decision problemsWhether a Turing Machine takes more than 481 steps on input epsilon?Whether a Turing Machine accepts the null string epsilon?W...
biranchi
1.6k
views
biranchi
asked
May 24, 2016
Theory of Computation
theory-of-computation
turing-machine
decidability
+
–
2
votes
2
answers
486
Virtual Gate Test Series: Theory Of Computation - Decidability
Here My explanation is : I. We run TM for 1,2,3,4,5....n if it stops in any of these then yes otherwise no II. We run TM for n steps if it stops yes otherwise no III. We run TM for n, n+1, n+2.... ... can say yes but if do not halt we can't say anything because we have to run it infinite number of times Is my explanation correct?
Here My explanation is :I. We run TM for 1,2,3,4,5....n if it stops in any of these then yes otherwise noII. We run TM for n steps if it stops yes otherwise noIII. We run...
Sumit1311
858
views
Sumit1311
asked
Jan 22, 2016
Theory of Computation
theory-of-computation
turing-machine
decidability
virtual-gate-test-series
+
–
1
votes
1
answer
487
Turing machine
Construct TM tht accept al string of a's and b's where each string is even length palindrome.(here qf is final state, q0 initial state and B blank symbol) Right now this TM accepting all palindrome string. If pink arrow term is replaced with halt then this ... this TM will accept odd length palindrome only. I am not sure if I m doing it right. Plz let me know my mistakes
Construct TM tht accept al string of a's and b's where each string is even length palindrome.(here qf is final state, q0 initial state and B blank symbol)Right now this T...
khushtak
8.7k
views
khushtak
asked
Jan 15, 2016
Theory of Computation
turing-machine
theory-of-computation
+
–
1
votes
2
answers
488
Equivalence of Turing Machines.
Consider the following two arguments: "For every non deterministic TM M1 there exists an equivalent deterministic TM M2 recognizing the same language." "Equivalence of two Turing Machines is undecidable" These two arguments seem a bit contradicting. What can be concluded from these two arguments?
Consider the following two arguments:"For every non deterministic TM M1 there exists an equivalent deterministic TM M2 recognizing the same language.""Equivalence of two ...
अनुराग पाण्डेय
3.5k
views
अनुराग पाण्डेय
asked
Jan 6, 2016
Theory of Computation
turing-machine
theory-of-computation
+
–
4
votes
2
answers
489
TM
Consider the following turning machine (where,,$\$ $ is represent accept the string). If the string is $01010$ then what will be the output? $10100$ $10101$ $10110$ $10011$
Consider the following turning machine (where,,$\$ $ is represent accept the string).If the string is $01010$ then what will be the output?$10100$$10101$$10110$$10011$
resuscitate
1.9k
views
resuscitate
asked
Dec 5, 2015
Theory of Computation
turing-machine
+
–
4
votes
1
answer
490
Number of symbols necessary to simulate a TM
The number of symbols necessary to simulate a TM with $m$ symbols and $n$ states is ? $m+n$ $8mn+4m$ $mn$ $4mn+m$
The number of symbols necessary to simulate a TM with $m$ symbols and $n$ states is ?$m+n$$8mn+4m$$mn$$4mn+m$
monali
6.8k
views
monali
asked
Nov 2, 2015
Theory of Computation
turing-machine
+
–
6
votes
1
answer
491
Which of the folowing are R.E
Which of the following problem(s) is/are Recursively enumerable or its complement is recursively enumerable? I. The language of all Turing machines that accept nothing. II. The language of all Turing machines that accept everything. III. The language of all CFG’s that are ambiguous.
Which of the following problem(s) is/are Recursively enumerable or its complement is recursively enumerable?I. The language of all Turing machines that accept nothing.II....
Mari Ganesh Kumar
2.0k
views
Mari Ganesh Kumar
asked
Oct 17, 2015
Theory of Computation
turing-machine
recursive-and-recursively-enumerable-languages
+
–
2
votes
1
answer
492
ISRO2014-59
Which of the following is FALSE with respect to possible outcomes of executing a Turing Machine over a given input? it may halt and accept the input it may halt by changing the input it may halt and reject the input it may never halt
Which of the following is FALSE with respect to possible outcomes of executing a Turing Machine over a given input?it may halt and accept the inputit may halt by changing...
ajit
4.8k
views
ajit
asked
Sep 23, 2015
Theory of Computation
isro2014
theory-of-computation
turing-machine
+
–
0
votes
1
answer
493
Relationship between Problems and Languages
Is there a one to one correspondence between problems and languages? we interchangeably use these while discussing decidabilility and turing machines
Is there a one to one correspondence between problems and languages? we interchangeably use these while discussing decidabilility and turing machines
Anurag_s
379
views
Anurag_s
asked
Aug 13, 2015
Theory of Computation
turing-machine
decidability
+
–
24
votes
1
answer
494
Which of the following languages are Recursively Enumerable language?
Which of the following languages are Recursively Enumerable language? $\{\langle M \rangle \mid M$ is a TM and there exist an input whose length is less than 100, on which $M$ halts$\}$ ... $\{ \langle M1, M2, M3 \rangle \mid L(M1) = L(M2) \cup L(M3) \}$ All of these
Which of the following languages are Recursively Enumerable language?$\{\langle M \rangle \mid M$ is a TM and there exist an input whose length is less than 100, on which...
Vikrant Singh
5.2k
views
Vikrant Singh
asked
Jan 27, 2015
Theory of Computation
turing-machine
recursive-and-recursively-enumerable-languages
theory-of-computation
+
–
0
votes
2
answers
495
what is number of states in following Turing m/c?
What are the min number of states in Turing machine L={0^n 1^n} As per below link we need 4 states including final state .... But cant we do in 3 states....? For identifying 1st 0 convert it to X(change state from q0 to q1), then ... need q3.....? http://www.eecs.wsu.edu/~ananth/CptS317/Lectures/TuringMachines.pdf Please explain..................
What are the min number of states in Turing machine L={0^n 1^n}As per below link we need 4 states including final state ....But cant we do in 3 states....?For identifying...
dhingrak
569
views
dhingrak
asked
Nov 25, 2014
Theory of Computation
theory-of-computation
turing-machine
+
–
91
votes
5
answers
496
GATE CSE 2014 Set 2 | Question: 35
Let $\langle M \rangle$ be the encoding of a Turing machine as a string over $\Sigma=\left\{0,1\right\}$ ... $L$ is: decidable and recursively enumerable undecidable but recursively enumerable undecidable and not recursively enumerable decidable but not recursively enumerable
Let $\langle M \rangle$ be the encoding of a Turing machine as a string over $\Sigma=\left\{0,1\right\}$. Let $$L=\left\{\langle M \rangle \mid M \text{ is a Turing machi...
go_editor
27.8k
views
go_editor
asked
Sep 28, 2014
Theory of Computation
gatecse-2014-set2
theory-of-computation
turing-machine
normal
+
–
52
votes
3
answers
497
GATE CSE 2004 | Question: 89
$L_1$ is a recursively enumerable language over $\Sigma$. An algorithm $A$ effectively enumerates its words as $\omega_1, \omega_2, \omega_3, \dots .$ Define another language $L_2$ over $\Sigma \cup \left\{\text{#}\right\}$ ... $S_1$ is true but $S_2$ is not necessarily true $S_2$ is true but $S_1$ is not necessarily true Neither is necessarily true
$L_1$ is a recursively enumerable language over $\Sigma$. An algorithm $A$ effectively enumerates its words as $\omega_1, \omega_2, \omega_3, \dots .$ Define another lang...
Kathleen
11.1k
views
Kathleen
asked
Sep 18, 2014
Theory of Computation
gatecse-2004
theory-of-computation
turing-machine
difficult
+
–
41
votes
5
answers
498
GATE CSE 2003 | Question: 53
A single tape Turing Machine $M$ has two states $q0$ and $q1$, of which $q0$ is the starting state. The tape alphabet of $M$ is $\{0, 1, B\}$ and its input alphabet is $\{0, 1\}$. The symbol $B$ is the blank symbol used to indicate end of an input ... halt on any string in $(00+1)^*$ $M$ halts on all strings ending in a $0$ $M$ halts on all strings ending in a $1$
A single tape Turing Machine $M$ has two states $q0$ and $q1$, of which $q0$ is the starting state. The tape alphabet of $M$ is $\{0, 1, B\}$ and its input alphabet is $\...
Kathleen
11.9k
views
Kathleen
asked
Sep 17, 2014
Theory of Computation
gatecse-2003
theory-of-computation
turing-machine
normal
+
–
24
votes
1
answer
499
GATE CSE 2002 | Question: 14
The aim of the following question is to prove that the language $\{M \mid M$ $\text {is the code of the Turing Machine which, irrespective of the input, halts and outputs a}$ $1\}$ ... step $M$ must make? What key property relates the behaviour of $M$ on $w$ to the behaviour of $M'$ on $x$?
The aim of the following question is to prove that the language $\{M \mid M$ $\text {is the code of the Turing Machine which, irrespective of the input, halts and outputs...
Kathleen
3.2k
views
Kathleen
asked
Sep 15, 2014
Theory of Computation
gatecse-2002
theory-of-computation
decidability
normal
turing-machine
descriptive
difficult
+
–
32
votes
3
answers
500
GATE CSE 2001 | Question: 7
Let a decision problem $X$ be defined as follows: $X$: Given a Turing machine $M$ over $\Sigma$ and any word $w \in \Sigma$, does $M$ loop forever on $w$? You may assume that the halting problem of Turing machine is undecidable but partially decidable. Show that $X$ is undecidable Show that $X$ is not even partially decidable
Let a decision problem $X$ be defined as follows:$X$: Given a Turing machine $M$ over $\Sigma$ and any word $w \in \Sigma$, does $M$ loop forever on $w$?You may assume th...
Kathleen
4.6k
views
Kathleen
asked
Sep 14, 2014
Theory of Computation
gatecse-2001
theory-of-computation
decidability
turing-machine
easy
descriptive
+
–
70
votes
4
answers
501
GATE CSE 2003 | Question: 54
Define languages $L_0$ and $L_1$ as follows : $L_0 = \{\langle M, w, 0 \rangle \mid M \text{ halts on }w\} $ $L_1 = \{\langle M, w, 1 \rangle \mid M \text{ does not halts on }w\}$ Here $\langle M, w, i \rangle$ is a ... $L'$ is recursively enumerable, but $ L$ is not Both $L$ and $L'$ are recursive Neither $L$ nor $L'$ is recursively enumerable
Define languages $L_0$ and $L_1$ as follows :$L_0 = \{\langle M, w, 0 \rangle \mid M \text{ halts on }w\} $$L_1 = \{\langle M, w, 1 \rangle \mid M \text{ does not halts o...
Arjun
24.2k
views
Arjun
asked
Sep 8, 2014
Theory of Computation
theory-of-computation
turing-machine
gatecse-2003
difficult
+
–
17
votes
2
answers
502
L(M) = Σ*
$L= \{\langle M \rangle\mid L(M) = \Sigma^*\} $ A. $L$ is RE but $L'$ is not RE B. Both $L$ and $L'$ are RE C. $L$ is not RE but $L'$ is RE D. Both $L$ and $L'$ are not RE
$L= \{\langle M \rangle\mid L(M) = \Sigma^*\} $A. $L$ is RE but $L'$ is not REB. Both $L$ and $L'$ are REC. $L$ is not RE but $L'$ is RED. Both $L$ and $L'$ are not RE...
gatecse
2.4k
views
gatecse
asked
Aug 20, 2014
Theory of Computation
theory-of-computation
turing-machine
recursive-and-recursively-enumerable-languages
decidability
difficult
+
–
17
votes
4
answers
503
L(M) is infinite
$L= \{\langle M\rangle \mid L(M)\text{ is infinite}\}$ $L$ is RE but $L'$ is not RE Both $L$ and $L'$ are RE $L$ is not RE but $L'$ is RE Both $L$ and $L'$ are not RE
$L= \{\langle M\rangle \mid L(M)\text{ is infinite}\}$$L$ is RE but $L'$ is not REBoth $L$ and $L'$ are RE$L$ is not RE but $L'$ is REBoth $L$ and $L'$ are not RE
gatecse
5.8k
views
gatecse
asked
Aug 20, 2014
Theory of Computation
theory-of-computation
identify-class-language
turing-machine
decidability
recursive-and-recursively-enumerable-languages
difficult
+
–
39
votes
1
answer
504
Consider the following languages
Consider the following languages $A=\left\{ \langle M\rangle \mid \text{ TM M accepts at most 2 distinct inputs} \right\}$ $B=\left\{\langle M \rangle \mid \text{ TM M accepts more than 2 distinct inputs} \right\}$ Identify the ... Turing recognizable $A$ is not Turing recognizable Both $A$ and $B$ are Turing recognizable Neither $A$ nor $B$ is Turing recognizable
Consider the following languages$A=\left\{ \langle M\rangle \mid \text{ TM M accepts at most 2 distinct inputs} \right\}$$B=\left\{\langle M \rangle \mid \text{ TM M acce...
gatecse
10.8k
views
gatecse
asked
Aug 7, 2014
Theory of Computation
turing-machine
theory-of-computation
normal
+
–
Page:
« prev
1
...
12
13
14
15
16
17
Email or Username
Show
Hide
Password
I forgot my password
Remember
Log in
Register