[क्या] ट्यूरिंग मशीन के शीर्ष पर एक वितरित प्रणाली का एक औपचारिक प्रतिनिधित्व है?
इस बारे में, चर्चा (टिप्पणियों पर जुक्का द्वारा पोस्ट लिंक देखें) देखने का तरीका है। जिस तरह से, मैं इसे देखता हूं, आप एक वितरित प्रणाली का औपचारिक रूप से प्रतिनिधित्व कैसे करेंगे, यह काफी हद तक इस बात पर निर्भर करता है कि आप उन्हें कैसे देखते हैं, और यह "आपकी पसंदीदा प्रणाली मान्यताओं" पर निर्भर करता है (यानी, सिंक्रनाइज़ेशन पर मान्यताओं (अर्थात, वितरित में क्रियाओं के सापेक्ष समय) सिस्टम), संचार (संदेश बनाम साझा मेमोरी), दोषों पर (प्रक्रियाओं और / या लिंक, सौम्य या बीजान्टिन, आदि) पर। जैसा कि समुदाय इस बिंदु पर सहमत नहीं है, बुनियादी औपचारिकता पर भी कोई समझौता नहीं है। ।
क्या वितरित कंप्यूटिंग का लाभ उठाने के लिए ट्यूरिंग मशीन की अवधारणा का विस्तार (वैरिएंट बनाना) संभव है?
मुझे लगता है कि यह पूरी तरह से संभव है, लेकिन किसी ने भी (जिसे मैं जानता हूं) इस पर ध्यान दिया है। मुझे पता है कि ये क्या हैं:
- लिंच की डिस्ट्रीब्यूटेड कम्प्यूटिंग बुक में Timed IO Automata का भी इस्तेमाल किया गया
- अनुक्रमिक प्रक्रियाओं का संचार
- क्रियाओं का अस्थायी तर्क
- पाई-कैलकुलस (पहले से ही एलेक्स द्वारा उल्लिखित)
- और अधिक (और यहां उल्लेख किया गया है) ...