Bounded Rationality of Restricted Turing Machines