Về mặt kinh điển, có 3 cách phổ biến để suy nghĩ về tính toán: máy Turing, mạch và lambda-tính toán (tôi sử dụng cách này như một cách bắt tất cả cho hầu hết các chế độ xem chức năng). Cả 3 đều là những cách hiệu quả để suy nghĩ về các loại vấn đề khác nhau và các lĩnh vực khác nhau sử dụng công thức khác nhau cho lý do này.
Tuy nhiên, khi tôi làm việc với máy tính lượng tử, tôi chỉ nghĩ về mô hình mạch. Ban đầu, QC được định nghĩa theo các máy Turing lượng tử nhưng theo tôi hiểu, định nghĩa này (mặc dù tương đương với các mạch lượng tử nếu cả hai được xây dựng cẩn thận) gần như không có kết quả. Công thức thứ 3 (về mặt lambda-tính toán hoặc các cài đặt chức năng tương tự) Tôi hoàn toàn không quen thuộc. Do đó câu hỏi của tôi:
Các định nghĩa hữu ích của lambda-tính toán lượng tử (hoặc các mô hình chức năng khác) là gì?
Những trường con nào của QIP đạt được cái nhìn sâu sắc hơn từ việc sử dụng công thức này thay vì mô hình mạch điện?
Ghi chú
Tôi nhận thức được rằng tôi đang bỏ qua nhiều hình thức phổ biến khác như automata di động, mô hình RAM, v.v. Tôi loại trừ những điều này chủ yếu là vì tôi không có kinh nghiệm suy nghĩ về các mô hình này một cách kinh điển, chứ đừng nói đến định lượng .
Tôi cũng nhận thức được rằng có những lựa chọn thay thế phổ biến trong cài đặt lượng tử, chẳng hạn như dựa trên đo lường, tô pô và tin cậy. Tôi không thảo luận về chúng bởi vì tôi không quen thuộc với các đối tác cổ điển.