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

The mass flow rate of the fluid remains constant in all steady flow process. a)- true b)- false

Answers: 1

Answer

Engineering, 04.07.2019 18:10

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

Answer

Engineering, 04.07.2019 19:10

Plan an experiment to measure the surface tension of a liquid similar to water. if necessary, review the ncfmf video surface tension for ideas. which method would be most suitable for use in an undergraduate laboratory? what experimental precision could be expected?

Answers: 2

Answer

Engineering, 04.07.2019 19:20

Acommercial grade cubical freezer, 4 m on a side, has a composite wall consisting of an exterior sheet of 5.0-mm thick plain carbon steel (kst= 60.5 w/m k), an intermediate layer of 100-mm thick polyurethane insulation (kins 0.02 w/m k), and an inner sheet of 5.0- mm thick aluminium alloy (kal polyurethane insulation and both metallic sheets are each characterized by a thermal contact resistance of r 2.5 x 104 m2 k/w. (a) what is the steady-state cooling load that must be maintained by the refrigerator under conditions for which the outer and inner surface temperatures are 25°c and -5°c, respectively? (b) for power saving purpose, which wall material should be increased/reduced in. thickness in order to reduce 50% of the cooling load found in part (a)? redesign the thickness of the proposed material. 177 w/m-k). adhesive interfaces between the q=575.93 w

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