time hierarchy theorem

Computer, Computing, Engineering, Mathematics, Natural sciences, Physical sciences, Science, Sciences A theorem that demonstrates that allowing Turing machines additional computation time strictly increases the class of languages that they can decide.