Engineering, 08.05.2021 03:00 sjdswim

Here is an argument that HALTALL TM (from Question 2) is Turing recognizable: We can contruct a TM S to recognize HALTALL TM as follows:
Given an input M, S will simulate M for one step on the first string in {0,1}, then simulate M for two steps on each of the first two strings in {0,1} , then simulate M for thee steps on each of the first three strings in {0,1}* and so on. If at any point M halts on a string w after some number of steps, we remove w from the simulation and continue with the other strings. If M is in HALTALL TM then eventually M will halt on all strings in {0,1}* , so all the strings will be removed from the simulation. At that point S will halt in an accept state. If M loops on any w, then w at some point be added to the simulation but will never get removed, so S will loop (thereby never accepting M). Clearly S accepts M if and only if M is in HALTALL TM. So HALTALL is Turing-recognizable.
Is this argument sound?

Answers: 2

Show answers

Other questions on the subject: Engineering

Engineering, 03.07.2019 23:20, abbz13

Two technicians are discussing the intake air temperature (iat) sensor. technician a says that the computer uses the iat sensor as a backup to the engine coolant temperature (ect) sensor. technician b says that the powertrain control module (pcm) will subtract the calculated amount of fuel if the air measures hot. who is correct

Answers: 3

continue

Engineering, 04.07.2019 18:10, Strick1530

Which of the following components of a pid controlled accumulates the error over time and responds to system error after the error has been accumulated? a)- proportional b)- derivative c)- integral d)- on/off.

Answers: 2

continue

Engineering, 04.07.2019 18:10, namira16

Which of the following controllers anticipates the future from the slope of errors over time? a)-proportional b)-on/off c)-integral d)-derivative.

Answers: 2

continue

Engineering, 04.07.2019 18:20, cristykianpour

Describe one experiment in which the glass transition temperature and melting temperature of a totally amorphous thermoplastic material can be determined. show the relevant experimental results in a diagram which should be properly annotated with the two temperatures clearly marked. what is likely to happen to the curve in the diagram if the amorphous polymer is replaced by a thermosetting type?

Answers: 2

continue

You know the right answer?

Here is an argument that HALTALL TM (from Question 2) is Turing recognizable: We can contruct a TM...