Related Articles
GATE | GATE-CS-2001 | Question 32
• Last Updated : 05 Dec, 2014

Consider the following problem X.

```Given a Turing machine M over the input alphabet Σ, any
state q of M And a word w∈Σ*, does the computation of M
on w visit the state q? ```

Which of the following statements about X is correct?
(A) X is decidable
(B) X is undecidable but partially decidable
(C) X is undecidable and not even partially decidable
(D) X is not a decision problem

Explanation:
This problem is a State Entry Problem. State entry problem can be reduced to halting problem.

We construct a turing machine M with final state ‘q’. We run a turing machine R (for state entry problem)
with inputs : M, q, w .

We give ‘w’ as input to M.

If M halts in the final state ‘q’ then R accepts the input. So, the given problem is partially decidable.

If M goes in an infinite loop then M can not output anything. So, R rejects the input. So, the given problem becomes undecidable.

Thus, option (B) is the answer.

Please comment below if you find anything wrong in the above post.

Quiz of this Question My Personal Notes arrow_drop_up
Recommended Articles
Page :
{"ft_lang_label":"__label__en","ft_lang_prob":0.87061024,"math_prob":0.86821836,"size":1006,"snap":"2021-04-2021-17","text_gpt3_token_len":252,"char_repetition_ratio":0.15269461,"word_repetition_ratio":0.021505376,"special_character_ratio":0.23558648,"punctuation_ratio":0.12093023,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9909109,"pos_list":[0,1,2],"im_url_duplicate_count":[null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-01-28T09:50:30Z\",\"WARC-Record-ID\":\"<urn:uuid:65248b1a-9bbe-47e3-b526-2c3ee7572892>\",\"Content-Length\":\"108046\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:91dbfad7-cad8-4457-a822-8ddbfc7a2ff2>\",\"WARC-Concurrent-To\":\"<urn:uuid:fd95d4ad-755c-439b-b8a7-ead4ccf379b9>\",\"WARC-IP-Address\":\"96.17.108.143\",\"WARC-Target-URI\":\"https://www.geeksforgeeks.org/gate-gate-cs-2001-question-32/\",\"WARC-Payload-Digest\":\"sha1:NK2V2JIOSCB7ZU2GBWMVHL5LXMYOO6HV\",\"WARC-Block-Digest\":\"sha1:ZITIHJ37CW64247AB4LRK4ALI4HY7MQG\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-04/CC-MAIN-2021-04_segments_1610704839214.97_warc_CC-MAIN-20210128071759-20210128101759-00069.warc.gz\"}"}