subject

Break a Purported Halting Decider

Recall that an instance of the halting problem is a string of the form M; y and the goal is to decide if the S-Java program M (encoded as a string) halts on input y. If M halts on y, then M; y is a yes instance. Otherwise, M; y is a no instance. Let us say that an S-Java program D fails to solve the halting problem for instance M; y if it never terminates or if it produces the wrong answer, i. e., it rejects in case that M; y is a yes instance or it accepts in case that M; y is a no instance. Because the halting problem is undecidable, we know that for every S-Java program D there exists an instance M; y of the halting problem such that D fails to solve M; y. Describe an algorithm to find such an instance. The input to your algorithm is a description of a S-Java program D. For every such input, your algorithm should run for a finite number of steps and output a halting problem instance M; y such that D fails to solve M; y

ansver
Answers: 2

Another question on Computers and Technology

question
Computers and Technology, 22.06.2019 10:00
When is an original work considered public domain? a. when posted via social media b. when it is posted on the internet c. when a copyright symbol is not included with the piece of work d. when explicit permission is given by the author / owner
Answers: 1
question
Computers and Technology, 22.06.2019 16:20
It policy compliance and emerging technologies respond to the following: propose at least three control measures that organizations need to put in place to ensure that they remain complaint with emerging technologies and in a continually changing it environment. examine the correlation of effective configuration management and change control procedures to remain compliant with emerging technologies and it security changes.
Answers: 2
question
Computers and Technology, 24.06.2019 08:30
@josethesolis i need can anyone text me and follow me
Answers: 1
question
Computers and Technology, 24.06.2019 16:50
7.23 main lab 7 - online shopping cart background this main lab extends the earlier prep lab "online shopping cart part 1". (you should save this as a separate project from the earlier prep lab). you will create an on-line shopping cart like you might use for your on-line purchases. the goal is to become comfortable with setting up classes and using objects. requirements this lab can be done individually or as pair programming. expanded itemtopurchase class (15 points) extend the itemtopurchase class as follows. we will not do unit testing in this lab so we will not be giving you the names of the member functions. create good ones on your own. create a parameterized constructor to assign item name, item description, item price, and item quantity (default values of "none" for name and description, and 0 for price and quantity). additional public member functions set an item description get an item description print the cost of an item - outputs the item name followed by the quantity, price, and subtotal (see example) print the description of an item - outputs the item name and description (see example) additional private data members a string for the description of the item. example output of the function which prints the cost of an item: bottled water 10 @ $1.50 = $15.00 example output of the function which prints the item description:
Answers: 1
You know the right answer?
Break a Purported Halting Decider

Recall that an instance of the halting problem is a s...
Questions
question
Advanced Placement (AP), 26.01.2022 03:40
question
Mathematics, 26.01.2022 03:40
question
Social Studies, 26.01.2022 03:40
question
Chemistry, 26.01.2022 03:40
Questions on the website: 13722363