Wednesday, October 18, 2006

differences

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

No comments:

Post a Comment