In computability theory, the Church-Turing thesis implies that all reasonable models of computation are equivalent, that is, they all decide the same class of languages. In complexity theory, the choice of model affects the time complexity of languages. Languages that are decidable in, say, linear time aren't necessarily decidable in linear time on another.
~ Sipser
~ Sipser
No comments:
Post a Comment