PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
[parent] Viewing Message
``Time constructible definition?'' by acone on 2005-04-27 01:38:14
What do you mean "there exists a turing machine that halts after using exactly f(n) cells?" For any value of f(n), I can construct a turing machine that halts after f(n) steps.

Did you mean halts after f(n) steps on input n? Or something like this?
[ reply | up ]

Interact
reply