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, 04.07.2019 18:10, salazjlove

Which of the following refers to refers to how well the control system responds to sudden changes in the system. a)-transient regulation b)- distributed regulation c)-constant regulation d)-steady-state regulation

Answers: 1

continue

Engineering, 04.07.2019 18:10, wirchakethan23

Hydraulic fluid with a sg. of 0.78 is flowing through a 1.5 in. i. d. pipe at 58 gal/min. the fluid has an absolute viscosity of 11.8 x 105 lbf-sec/ft2. is the flow laminar, turbulent or within the critical range? give both a numerical reynolds number and a term answer.

Answers: 3

continue

Engineering, 04.07.2019 18:10, oshawn108

Ahot wire operates at a temperature of 200°c while the air temperature is 20°c. the hot wire element is a tungsten wire of 5 um diameter and 2 mm in length. plot using excel current, heat transfer and heat generated by the wire for air velocity varying from 1-10 m/s in steps of lm/s? matlab the sensor voltage output, resistance, or assume nu 0.989 re033pr13 take air properties at tr (200°c20°c)/2 = 110°c properties of tungsten: c 0.13 kj/kg. k 3 p 19250 kg/m k (thermal conductivity) = 174 w/m. k

Answers: 2

continue

Engineering, 04.07.2019 19:10, Destinationz

Asteam is contained in a rigid tank with a volume of 1 m3. initially, the pressure and temperature are 7 bar and 500 oc, respectively. the temperature drops due to cooling process. determine: (1) the temperature at which condensation begins in °c, (2) the fraction of the total mass that has condensed when the pressure decreased to 0.5 bar. (3) the volume in m3 occupied by saturated liquid at the final state?

Answers: 3

continue

Do you know the correct answer?

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