time-bounded Turing machine

views updated