The Gateway to Computer Science Excellence
For all GATE CSE Questions
Toggle navigation
Facebook Login
or
Email or Username
Password
Remember
Login
Register
|
I forgot my password
Activity
Questions
Unanswered
Tags
Subjects
Users
Ask
Prev
Blogs
New Blog
Exams
Michael Sipser Edition 3 Exercise 5 Question 24 (Page No. 240)
0
votes
4
views
Let $J = \{w \mid \text{either $w = 0x$ for some $x \in A_{TM},$ or $w = 1y\:$ for some $y \in \overline{A_{TM}}\:\:$}\}$. Show that neither $J$ nor $\overline{J}$ is Turing-recognizable.
michael-sipser
theory-of-computation
turing-machine
turing-recognizable-languages
proof
asked
Oct 19
in
Theory of Computation
by
Lakshman Patel RJIT
Veteran
(
55k
points)
|
4
views
answer
comment
Please
log in
or
register
to add a comment.
Please
log in
or
register
to answer this question.
0
Answers
← Prev. Qn. in Sub.
Next Qn. in Sub. →
← Prev.
Next →
Related questions
0
votes
0
answers
1
Michael Sipser Edition 3 Exercise 4 Question 5 (Page No. 211)
Let $E_{TM} = \{\langle{ M \rangle } \mid M\: \text{is a TM}\: \text{and}\: L(M) = \phi\}$. Show that $E_{TM}$, the complement of $E_{TM}$, is Turing-recognizable.
asked
Oct 17
in
Theory of Computation
by
Lakshman Patel RJIT
Veteran
(
55k
points)
|
3
views
michael-sipser
theory-of-computation
turing-machine
turing-recognizable-languages
proof
0
votes
0
answers
2
Michael Sipser Edition 3 Exercise 5 Question 22 (Page No. 240)
Show that $A$ is Turing-recognizable iff $A \leq_{m} A_{TM}$.
asked
Oct 19
in
Theory of Computation
by
Lakshman Patel RJIT
Veteran
(
55k
points)
|
1
view
michael-sipser
theory-of-computation
turing-recognizable-languages
reduction
proof
0
votes
0
answers
3
Michael Sipser Edition 3 Exercise 4 Question 30 (Page No. 212)
Let $A$ be a Turing-recognizable language consisting of descriptions of Turing machines, $\{ \langle M_{1}\rangle,\langle M_{2}\rangle,\dots\}$, where every $M_{i}$ is a decider. Prove that some decidable language $D$ is not ... $A$. (Hint: You may find it helpful to consider an enumerator for $A$.)
asked
Oct 17
in
Theory of Computation
by
Lakshman Patel RJIT
Veteran
(
55k
points)
|
4
views
michael-sipser
theory-of-computation
turing-machine
turing-recognizable-languages
decidability
proof
0
votes
0
answers
4
Michael Sipser Edition 3 Exercise 3 Question 20 (Page No. 190)
Show that single-tape $TMs$ that cannot write on the portion of the tape containing the input string recognize only regular languages.
asked
Oct 15
in
Theory of Computation
by
Lakshman Patel RJIT
Veteran
(
55k
points)
|
2
views
michael-sipser
theory-of-computation
turing-machine
turing-recognizable-languages
proof
Quick search syntax
tags
tag:apple
author
user:martin
title
title:apple
content
content:apple
exclude
-tag:apple
force match
+apple
views
views:100
score
score:10
answers
answers:2
is accepted
isaccepted:true
is closed
isclosed:true
Recent Posts
ECIL Interview Experience
Linear Algebra Important Points
GATE 2020
OFFICIAL GATE MOCK TEST RELEASED
IIITH: Winter Research Admissions 2019 (For Spring 2020)
All categories
General Aptitude
1.9k
Engineering Mathematics
7.5k
Digital Logic
2.9k
Programming and DS
4.9k
Algorithms
4.3k
Theory of Computation
6.2k
Compiler Design
2.1k
Operating System
4.5k
Databases
4.1k
CO and Architecture
3.4k
Computer Networks
4.1k
Non GATE
1.5k
Others
1.5k
Admissions
595
Exam Queries
576
Tier 1 Placement Questions
23
Job Queries
72
Projects
17
Follow @csegate
Recent Blog Comments
Ok sir. Actually pricing on Flipkart is 200 less...
NO.
Is this application open for 2020 graduates i.e....
@Ayush Upadhyaya sir any approximate idea...
@Ayush Upadhyaya Thank you so much! ^_^
50,645
questions
56,596
answers
195,823
comments
102,069
users