contestada

Assume that the halting language [tex]H_T_M[/tex] is reducible to
some language B ([tex]H_T_M[/tex] [tex]$\leq$[/tex] [tex]_m[/tex] B). Is it possible that is decidable? Answer true/false and explain. Please help me this answer?

Respuesta :

H_TM is reduced to HALT_TM and as such, HALT_TM is undecidable.

How to Interpret Machine Language?

A language is referred to as Decidable or Recursive if there is a Turing machine that accepts and halts on every input string w. This tells us that every decidable language is Turing-Acceptable.

Now, we are told that the halting language is reducible to some language B. This means that it is an undecidability via reduction.

Now, Using the idea that “ If A is undecidable and reducible to B, then B is undecidable.” Suppose R decides HALT_TM, we will construct S to decide ATM .

S = “On input (M, B)

This means that H_TM is reduced to HALT_TM and as such, HALT_TM is undecidable.

Read more about machine language at; https://brainly.com/question/28026656

#SPJ1

Otras preguntas