Độ phức tạp thời gian của ngôn ngữ thông thường

Tôi tự hỏi làm thế nào tôi có thể đi về việc chứng minh rằng nếu một ngôn ngữ L có thể quyết định bằng o (nlog (n)) thì L phải đều đặn.

Tôi có lẽ nên đề cập đến điều đó bởi "có thể quyết định", ý tôi là "có thể quyết định được bằng máy turing xác định băng đơn".

Cảm ơn và trân trọng Guillermo

Đây là kết quả cổ điển của Kobayashi, Về cấu trúc của hệ thống phân cấp thời gian máy Turing không điều kiện một băng , Định lý 3.3 trên trang 188. Ý tưởng là sử dụng các chuỗi chéo: bạn hiển thị trên trình tự, và sau đó sử dụng một đối số của Hennie, tính toán máy Turing ngoại tuyến một băng , Định lý 2 trên trang 561, để kết luận rằng ngôn ngữ được máy chấp nhận là thường xuyên.$O(1)$