Consider the problem of determining whether a Turing machine on an input $w$ ever attempts to move its head left at any point during its computation on $w$. Show that this problem is decidable.
Posted: Jun 14 '12
Seen: 53 times
Last updated: Jun 14 '12
