Câu hỏi liên quan đến việc liệu tất cả các biến thể khác nhau của máy Turing có tương đương về khả năng tính toán hay không là một câu hỏi cơ bản trong lĩnh vực khoa học máy tính lý thuyết, đặc biệt là trong nghiên cứu về lý thuyết độ phức tạp tính toán và khả năng quyết định. Để giải quyết vấn đề này, điều cần thiết là phải xem xét bản chất của máy Turing và khái niệm về tính tương đương trong tính toán.