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

Another question on Engineering

Engineering, 04.07.2019 18:10

If a particle moves along a path such that r : (3 sin t) m and ? : 2t rad, where t is in seconds. what is the particle's acceleration in m/s in 4 seconds? a)- 16.43 b)- 16.29 c)- 15.21 d)- 13.79

Answers: 1

Answer

Engineering, 04.07.2019 18:10

Acompressor receives the shaft work to decrease the pressure of the fluid. a)- true b)- false

Answers: 3

Answer

Engineering, 04.07.2019 18:10

Air is to be cooled in the evaporator section of a refrigerator by passing it over a bank of 0.8-cm-outer-diameter and 0.4-m-long tubes inside which the refrigerant is evaporating at -20°c. air approaches the tube bank in the normal direction at 0°c and 1 atm with a mean velocity of 4 m/s. the tubes are arranged in-line with longitudinal and transverse pitches of sl- st 1.5 cm. there are 30 rows in the flow direction with 15 tubes in each row. determine (a) the refrigeration capacity of this system and (b) pressure drop across the tube bank. evaluate the air properties at an assumed mean temperature of -5°c and 1 atm. is this a good assumption?

Answers: 1

Answer

Engineering, 04.07.2019 18:10

Water at 70°f and streams enter the mixing chamber at the same mass flow rate, determine the temperature and the quality of the exiting stream. 0 psia is heated in a chamber by mixing it with saturated water vapor at 20 psia. if both streams enters the mixing chamber at the same mass flow rate, determine the temperature and the quality of the existing system.

Answers: 2

Answer

You know the right answer?

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

Questions