Time hierarchy theorem: Difference between revisions

Content deleted Content added
migrate {{book reference}} to {{cite book}} using AWB
Proof: period
Line 40:
 
We thus conclude that the machine ''K'' does not exist, and so
: <math> H_f \notin \mathsf{TIME}(f( \left\lfloor m/2 \right\rfloor )) .</math>
 
===Extension===