शास्त्रीय रूप से, गणना के बारे में सोचने के 3 लोकप्रिय तरीके हैं: ट्यूरिंग मशीन, सर्किट, और लैम्ब्डा-कैलकुलस (मैं इसे सबसे कार्यात्मक विचारों के लिए सभी को पकड़ने के रूप में उपयोग करता हूं)। सभी 3 विभिन्न प्रकार की समस्याओं के बारे में सोचने के लिए फलदायी तरीके हैं, और अलग-अलग क्षेत्र इस कारण से अलग-अलग सूत्रीकरण का उपयोग करते हैं।
जब मैं क्वांटम कंप्यूटिंग के साथ काम करता हूं, हालांकि, मैं केवल सर्किट मॉडल के बारे में कभी सोचता हूं। मूल रूप से, क्यूसी को क्वांटम ट्यूरिंग मशीनों के संदर्भ में परिभाषित किया गया था, लेकिन जहां तक मैं समझता हूं, यह परिभाषा (हालांकि क्वांटम सर्किट के बराबर है अगर दोनों को सावधानीपूर्वक तैयार किया गया है) लगभग फलदायी नहीं हुआ है। तीसरा सूत्रीकरण (लंबो-कैलकुलस या इसी प्रकार की कार्यात्मक सेटिंग्स के संदर्भ में) मैं पूरी तरह से अपरिचित हूं। इसलिए मेरे सवाल:
क्वांटम लैम्ब्डा-कैलकुलस (या अन्य कार्यात्मक प्रतिमान) की उपयोगी परिभाषाएं क्या हैं?
सर्किट मॉडल के बजाय क्यूपी के उप-क्षेत्र इस फॉर्मूलेशन का उपयोग करने से गहन अंतर्दृष्टि प्राप्त करते हैं?
टिप्पणियाँ
मुझे पता है कि मैं कई अन्य लोकप्रिय औपचारिकताओं जैसे सेलुलर ऑटोमेटा, रैम-मॉडल इत्यादि को अनदेखा कर रहा हूं, क्योंकि मैं ज्यादातर इन मॉडलों के संदर्भ में सोच के साथ अनुभव नहीं करता हूं, क्योंकि मैं अकेले क्वांटमली देता हूं ।
मुझे यह भी पता है कि क्वांटम सेटिंग में लोकप्रिय विकल्प हैं, जैसे माप-आधारित, टोपोलॉजिकल और एडियाबेटिक। मैं उनकी चर्चा नहीं करता क्योंकि मैं शास्त्रीय समकक्षों से परिचित नहीं हूं।