Theo tôi biết, các mô hình chính của khả năng tính toán là tính toán, máy Turing và các hàm đệ quy . Tôi không nhận thức được tình huống liên quan đến sự phức tạp trong các hàm đệ quy, chúng có thể hoặc không vô dụng đối với sự phức tạp.
n
Tính toán Pure thuần túy tự nó vô dụng vì sự phức tạp. Tuy nhiên, một hệ thống loại đơn giản đã ra đời và cho phép đảm bảo chấm dứt đối với một số thuật ngữ một cách rất dễ dàng. Sau đó, một số hệ thống khác (hệ thống T , F , ..) cho phép một biểu cảm tuyệt vời trong khi tiếp tục chấm dứt.
Hiệu quả hoặc phức tạp là một sàng lọc chấm dứt và các loại có liên quan chặt chẽ với logic, sau đó đến logic logic tuyến tính nhẹ đặc trưng cho một số lớp phức tạp. ( Tiểu học , P và một số biến thể cho PSPACE và các biến thể khác). Nghiên cứu trong lĩnh vực này rất tích cực và không bị giới hạn trong các lớp phức tạp này, và thậm chí không bị giới hạn trong phép tính.
tl; dr: -compus rất hữu ích cho khả năng tính toán, kết thúc và lý thuyết phức tạp.
Tuy nhiên, để cung cấp tín dụng khi tín dụng đến hạn Máy Turing là một cách tốt và nhất trí để xác định mức độ phức tạp, nhưng điều đó chỉ đúng đối với các giới hạn lỏng lẻo như "đa thức", không phải là giới hạn chặt chẽ mà các mô hình giống PRAM phù hợp hơn.