简体   繁体   中英

Proving that a Turing machine accepting the string 'bb' is undecidable

Show that the problem of deciding whether an arbitrary Turing machine accepts the string 'bb' is undecidable.

I feel as though this should be decidable even without a turing machine because it is a finite string.

Look into Rice's theorem for a quick and easy proof.

Consider a TM that runs forever on the input aa. How will you know if it ever stops? That is why it is undecidable.

The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM