(c) Halt01 = {< M >| M rejects string “1” andhalts on some string ending with 0}
Show the problem above is decidable, semi-decidable,co-semi-decidable or is higher in the arithmetic hierarchy.
First rewrite the problem descriptions using quantifiers andverifiers (use VA, VR, VH for checking that a computation isaccepting, rejecting and halting, respectively. )
Then prove that your intuition is correct;
You need to give an algorithm, and to prove that the problem isnot in the class, give a reduction.
Expert Answer
An answer will be send to you shortly. . . . .