Comment Comment by anon291 It's not contradictory at all. The dfa at each step of the turing machine model is also o(1). parent anon291 5 days ago