मल्टी-ट्रैक ट्यूरिंग मशीन: Difference between revisions
No edit summary |
No edit summary |
||
Line 3: | Line 3: | ||
'''मल्टीट्रैक ट्यूरिंग मशीन''' एक विशिष्ट प्रकार की [[मल्टी-टेप ट्यूरिंग मशीन]] है। | '''मल्टीट्रैक ट्यूरिंग मशीन''' एक विशिष्ट प्रकार की [[मल्टी-टेप ट्यूरिंग मशीन]] है। | ||
एक मानक | एक मानक n-टेप ट्यूरिंग मशीन में, n हेड्स n ट्रैक्स के साथ स्वतंत्र रूप से चलते हैं। n-ट्रैक ट्यूरिंग मशीन में, एक हेड सभी ट्रैकों को एक साथ पढ़ता और लिखता है। n-ट्रैक ट्यूरिंग मशीन में एक टेप स्थिति में टेप वर्णमाला से n प्रतीक होते हैं। यह मानक ट्यूरिंग मशीन के समतुल्य है और इसलिए [[Index.php?title=पुनरावर्ती रूप से गणना योग्य भाषाओं|पुनरावर्ती रूप से गणना योग्य भाषाओं]] को सटीक रूप से स्वीकार करता है। | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
Line 11: | Line 11: | ||
* <math>Q</math> राज्यों का एक सीमित समूह है; | * <math>Q</math> राज्यों का एक सीमित समूह है; | ||
* <math>\Sigma \subseteq \Gamma \setminus\{b\} </math> इनपुट प्रतीकों का एक सीमित सेट है, | * <math>\Sigma \subseteq \Gamma \setminus\{b\} </math> इनपुट प्रतीकों का एक सीमित सेट है, अर्थात्, प्रारंभिक टेप सामग्री में प्रदर्शित होने की अनुमति वाले प्रतीकों का एक सेट है; | ||
*<math>\Gamma</math> टेप वर्णमाला प्रतीकों का एक सीमित सेट है; | *<math>\Gamma</math> टेप वर्णमाला प्रतीकों का एक सीमित सेट है; | ||
* <math>q_0 \in Q</math> प्रारंभिक अवस्था है; | * <math>q_0 \in Q</math> प्रारंभिक अवस्था है; | ||
Line 21: | Line 21: | ||
== मानक ट्यूरिंग मशीन के समतुल्यता का प्रमाण == | == मानक ट्यूरिंग मशीन के समतुल्यता का प्रमाण == | ||
इससे साबित होगा कि दो-ट्रैक ट्यूरिंग मशीन एक मानक ट्यूरिंग मशीन के बराबर है। इसे | इससे साबित होगा कि दो-ट्रैक ट्यूरिंग मशीन एक मानक ट्यूरिंग मशीन के बराबर है। इसे n-ट्रैक ट्यूरिंग मशीन के लिए सामान्यीकृत किया जा सकता है। L एक पुनरावर्ती गणना योग्य भाषा है। M = <math>\langle Q, \Sigma, \Gamma, \delta, q_0, F \rangle </math> मानक ट्यूरिंग मशीन हो जो L को स्वीकार करती है। M' एक दो-ट्रैक ट्यूरिंग मशीन है। M=M' को सिद्ध करने के लिए यह दिखाया जाना चाहिए कि M <math> \subseteq </math> M' स्पष्ट रूप से समकक्ष हैं। | ||
*<math> M \subseteq M' </math> | *<math> M \subseteq M' </math> | ||
यदि दूसरे ट्रैक को | यदि दूसरे ट्रैक को हटा दिया जाए तो M और M' स्पष्ट रूप से समकक्ष हैं। | ||
*<math> M' \subseteq M </math> | *<math> M' \subseteq M </math> | ||
दो-ट्रैक ट्यूरिंग मशीन के समतुल्य एक-ट्रैक ट्यूरिंग मशीन के टेप वर्णमाला में एक | दो-ट्रैक ट्यूरिंग मशीन के समतुल्य एक-ट्रैक ट्यूरिंग मशीन के टेप वर्णमाला में एक अनुक्रम जोड़ी होती है। ट्यूरिंग मशीन M' के इनपुट प्रतीक a को ट्यूरिंग मशीन M के अनुक्रम किए गए संलग्न [x,y] के रूप में पहचाना जा सकता है। जो वन-ट्रैक ट्यूरिंग मशीन है: | ||
M= <math>\langle Q, \Sigma \times {B}, \Gamma \times \Gamma, \delta ', q_0, F \rangle </math> संक्रमण फलन के साथ <math>\delta \left(q_i,[x_1,x_2]\right)=\delta ' \left(q_i,[x_1,x_2]\right)</math> | M= <math>\langle Q, \Sigma \times {B}, \Gamma \times \Gamma, \delta ', q_0, F \rangle </math> संक्रमण फलन के साथ <math>\delta \left(q_i,[x_1,x_2]\right)=\delta ' \left(q_i,[x_1,x_2]\right)</math> |
Revision as of 20:10, 1 August 2023
मल्टीट्रैक ट्यूरिंग मशीन एक विशिष्ट प्रकार की मल्टी-टेप ट्यूरिंग मशीन है।
एक मानक n-टेप ट्यूरिंग मशीन में, n हेड्स n ट्रैक्स के साथ स्वतंत्र रूप से चलते हैं। n-ट्रैक ट्यूरिंग मशीन में, एक हेड सभी ट्रैकों को एक साथ पढ़ता और लिखता है। n-ट्रैक ट्यूरिंग मशीन में एक टेप स्थिति में टेप वर्णमाला से n प्रतीक होते हैं। यह मानक ट्यूरिंग मशीन के समतुल्य है और इसलिए पुनरावर्ती रूप से गणना योग्य भाषाओं को सटीक रूप से स्वीकार करता है।
औपचारिक परिभाषा
एक मल्टीट्रैक ट्यूरिंग मशीन के साथ -टेप को औपचारिक रूप से 6-ट्यूपल के रूप में परिभाषित किया जा सकता है ,
जहाँ
- राज्यों का एक सीमित समूह है;
- इनपुट प्रतीकों का एक सीमित सेट है, अर्थात्, प्रारंभिक टेप सामग्री में प्रदर्शित होने की अनुमति वाले प्रतीकों का एक सेट है;
- टेप वर्णमाला प्रतीकों का एक सीमित सेट है;
- प्रारंभिक अवस्था है;
- अंतिम या स्वीकार करने वाली अवस्थाओं का समुच्चय है;
- एक आंशिक फलन है जिसे संक्रमण फलन कहा जाता है।
- कभी-कभी इसे भी दर्शाया जाता है , जहाँ .
संक्रमण फलन को प्रतिस्थापित करके एक गैर-नियतात्मक संस्करण को परिभाषित किया जा सकता है एक संक्रमण संबंध द्वारा .
मानक ट्यूरिंग मशीन के समतुल्यता का प्रमाण
इससे साबित होगा कि दो-ट्रैक ट्यूरिंग मशीन एक मानक ट्यूरिंग मशीन के बराबर है। इसे n-ट्रैक ट्यूरिंग मशीन के लिए सामान्यीकृत किया जा सकता है। L एक पुनरावर्ती गणना योग्य भाषा है। M = मानक ट्यूरिंग मशीन हो जो L को स्वीकार करती है। M' एक दो-ट्रैक ट्यूरिंग मशीन है। M=M' को सिद्ध करने के लिए यह दिखाया जाना चाहिए कि M M' स्पष्ट रूप से समकक्ष हैं।
यदि दूसरे ट्रैक को हटा दिया जाए तो M और M' स्पष्ट रूप से समकक्ष हैं।
दो-ट्रैक ट्यूरिंग मशीन के समतुल्य एक-ट्रैक ट्यूरिंग मशीन के टेप वर्णमाला में एक अनुक्रम जोड़ी होती है। ट्यूरिंग मशीन M' के इनपुट प्रतीक a को ट्यूरिंग मशीन M के अनुक्रम किए गए संलग्न [x,y] के रूप में पहचाना जा सकता है। जो वन-ट्रैक ट्यूरिंग मशीन है:
M= संक्रमण फलन के साथ
यह मशीन L भी स्वीकार करती है।
संदर्भ
- Thomas A. Sudkamp (2006). Languages and Machines, Third edition. Addison-Wesley. ISBN 0-321-32221-5. Chapter 8.6: Multitape Machines: pp 269–271