Có tồn tại một máy Turing chạy trong thời gian , nhưng không tồn tại không?

Được biết, bất kỳ máy Turing nào (xác định, một lần nhấn) chạy trong thời gian , sẽ quyết định một ngôn ngữ thông thường (ví dụ: xem liên kết này ). Do đó, tồn tại một máy Turing tương đương chạy trong thời gian . Nói cách khác, nếu thì$o(n\log n)$$O(n)$$t(n)=o(n\log n)$

Tôi đã tự hỏi liệu có tồn tại một ví dụ trong đó máy Turing ban đầu không chạy trong thời gian .$O(n)$

Tóm lại: Có tồn tại một máy Turing chạy trong thời gian , nhưng không phải không?$o(n\log n)$$O(n)$

Câu trả lời có vẻ là tiêu cực, theo Hệ luỵ 4.12 của Xác minh Thời gian phức tạp của xác định máy Turing bởi David Gajser ( arXiv ).