अमूर्त डेटा प्रकार: Difference between revisions

Latest revision as of 16:20, 11 March 2023

कंप्यूटर विज्ञान में अमूर्त डेटा प्रकार (एडीटी) डेटा प्रकारों के लिए एक गणितीय मॉडल है। अमूर्त डेटा प्रकार को उसके व्यवहार (सिमेंटिक्स (कंप्यूटर विज्ञान)) द्वारा परिभाषित किया जाता है। डेटा के उपयोगकर्ता (कंप्यूटिंग) के दृष्टिकोण से विशेष रूप से संभावित मूल्यों के संदर्भ में इस प्रकार के डेटा पर संभावित संचालन और इन परिचालनों का व्यवहार गणितीय मॉडल डेटा संरचनाओं के विपरीत है। जो डेटा के ठोस प्रतिनिधित्व हैं और एक कार्यान्वयनकर्ता के दृष्टिकोण हैं, परन्तु उपयोगकर्ता नहीं है।

औपचारिक रूप से एडीटी को वस्तुओं के एक वर्ग के रूप में परिभाषित किया जा सकता है। जिसका तार्कपूर्ण व्यवहार मूल्यों के एक समुच्चय और संचालन के समुच्चय द्वारा परिभाषित किया गया है।^[1] यह गणित में बीजगणितीय संरचना के अनुरूप है। व्यवहार से क्या अभिप्राय लेखक द्वारा भिन्न होता है। व्यवहार दो मुख्य प्रकार के औपचारिक विनिर्देशों के साथ स्वयंसिद्ध (बीजगणितीय) विनिर्देश और अमूर्त मॉडल होता है।^[2] ये क्रमशः अमूर्त मशीन के स्वयंसिद्ध शब्दार्थ और परिचालन शब्दार्थ के अनुरूप हैं। कुछ लेखकों में समय (कंप्यूटिंग संचालन के लिए) और स्थान (मूल्यों का प्रतिनिधित्व करने के लिए) दोनों के संदर्भ में कम्प्यूटेशनल जटिलता सिद्धांत (क्रय मूल्य) भी सम्मिलित है। व्यवहार में कई सामान्य डेटा प्रकार एडीटीएस नहीं हैं क्योंकि अमूर्तता सही नहीं है और उपयोगकर्ताओं को अंकगणितीय अतिप्रवाह जैसे विषयों के बारे में पता होना चाहिए। जो प्रतिनिधित्व के कारण होते हैं। उदाहरण के लिए पूर्णांकों को प्रायः निश्चित-चौड़ाई मान (32-बिट या 64-बिट बाइनरी संख्या) के रूप में संग्रहीत किया जाता है और इस प्रकार अधिकतम मान पार होने पर पूर्णांक अतिप्रवाह का अनुभव होता है।

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

अमूर्त डेटा प्रकार

उदाहरण के लिए पूर्णांक एक एडीटी होते हैं। जिन्हें मान ..., -2, -1, 0, 1, 2, ... के रूप में परिभाषित किया जाता है और जोड़, घटाव, गुणा और भाग की संक्रियाओं के साथ-साथ से अधिक के रूप में परिभाषित किया जाता है। जो परिचित गणित के अनुअमूर्त व्यवहार करते हैं। पूर्णांक विभाजन की देखभाल के साथ, कम, आदि स्वतंत्र रूप से कंप्यूटर द्वारा पूर्णांकों का प्रतिनिधित्व कैसे किया जाता है। ^{[lower-alpha 1]} स्पष्ट रूप से व्यवहार में विभिन्न स्वयंसिद्धों (संबद्धता और जोड़ की क्रमविनिमेयता आदि) का पालन करना और संचालन पर पूर्व नियम (शून्य से विभाजित नहीं किया जा सकता) सम्मिलित है। सामान्यतः पूर्णांकों को डेटा संरचना में बाइनरी संख्या के रूप प्रायः दो के पूरक के रूप में दर्शाया जाता है। किन्तु बाइनरी-कोडित दशमलव या एक के पूरक में हो सकता है। किन्तु अधिकांश उद्देश्यों के लिए उपयोगकर्ता प्रतिनिधित्व के ठोस विकल्प के अतिरिक्त अमूर्तता के साथ काम कर सकता है और केवल डेटा का उपयोग कर सकते हैं। जैसे कि प्रकार वास्तव में अमूर्त थे।

एडीटी में न केवल संचालन होते हैं। बल्कि मूल्यों का डोमेन भी होता है और परिभाषित संचालन पर बाधाएं होती हैं। इंटरफ़ेस सामान्यतः केवल संचालन को संदर्भित करता है और संचालन पर कुछ बाधाएं जैसे कि पूर्व-नियम और पश्च-नियम। किन्तु संचालन के बीच संबंध जैसी अन्य बाधाओं के लिए नहीं हैं।

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

एल्गोरिदम के एल्गोरिदम का विश्लेषण करते समय यह भी निर्दिष्ट किया जा सकता है कि सभी ऑपरेशन एक ही समय लेते हैं। तथापि कितने डेटा आइटम समूह में धकेल दिए गए हों और यह कि स्टैक प्रत्येक तत्व के लिए भंडारण की निरंतर मात्रा का उपयोग करता है। चूंकि समय सीमा को सदैव एडीटी की परिभाषा का भाग नहीं माना जाता है।

परिचय

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

अमूर्त डेटा प्रकार शब्द को कई बीजगणितीय संरचनाओं के सामान्यीकृत दृष्टिकोण के रूप में भी माना जा सकता है। जैसे जाली, समूह और छल्ले।^[4] अमूर्त डेटा प्रकारों की धारणा डेटा अमूर्तता की अवधारणा से संबंधित है। जो वस्तु-उन्मुख प्रोग्रामिंग भाषा में महत्वपूर्ण है| सॉफ्टवेयर इंजीनियरिंग के लिए अनुबंध पद्धतियों द्वारा ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग और प्रारूप तैयार किया गया है।

अमूर्त डेटा प्रकार परिभाषित करना

अमूर्त डेटा प्रकार को डेटा ऑब्जेक्ट्स के गणितीय मॉडल के रूप में परिभाषित किया जाता है। जो डेटा प्रकार के साथ-साथ इन ऑब्जेक्ट्स पर काम करने वाले कार्यों को भी बनाता है। उन्हें परिभाषित करने के लिए कोई मानक सम्मेलन नहीं हैं। अनिवार्य (या परिचालन) और कार्यात्मक (या स्वयंसिद्ध) परिभाषा शैलियों के बीच व्यापक विभाजन तैयार किया जा सकता है।

आदेशात्मक-शैली परिभाषा

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

अमूर्त चर

एडीटी की अनिवार्य-शैली की परिभाषाएं प्रायः अमूर्त चर की अवधारणा पर निर्भर करती हैं। जिसे सबसे सरल गैर-तुच्छ एडीटी माना जा सकता है। एक अमूर्त चर V एक परिवर्तनशील इकाई है। जो दो संक्रियाओं को स्वीकार करता है:

store(V, x) जहाँ x अनिर्दिष्ट प्रकृति का मान है;
fetch(V), जो एक मान देता है,

उस जानकारी के साथ

fetch(V) सदैव उसी वेरिएबल V पर नवीनतम store(V, x) ऑपरेशन में उपयोग किए गए मान x को वापस करता है।

भंडारण से पहले लाने की अनुमति नहीं दी जा सकती है। एक निश्चित परिणाम के लिए परिभाषित किया गया है या (कम वांछनीय रूप से) व्यवहार को अनिर्दिष्ट छोड़ दें।

कई प्रोग्रामिंग भाषाओं की प्रकार ऑपरेशन store(V, x) को प्रायः V ← x (या कुछ समान अंकन) लिखा जाता है और fetch(V) निहित होता है। जब कोई चर V का उपयोग उस संदर्भ में किया जाता है। जहाँ मान की आवश्यकता होती है। इस प्रकार उदाहरण के लिए V ← V + 1 को सामान्यतः store(V,fetch(V) + 1) के लिए शॉर्टहैंड समझा जाता है।

इस परिभाषा में यह स्पष्ट रूप से माना जाता है कि नाम सदैव अलग होते हैं: एक चर U में मान संग्रहीत करने से एक अलग चर V की स्थिति पर कोई प्रभाव नहीं पड़ता है। इस धारणा को स्पष्ट करने के लिए कोई बाधा जोड़ सकता है। जो

यदि U और V भिन्न चर हैं। तो अनुक्रम {store(U, x); store(V, y) } { store(V, y) स्टोर(यू, एक्स)} के बराबर है।

सामान्यतः एडीटी परिभाषाएँ प्रायः मानती हैं कि कोई भी ऑपरेशन, जो एक एडीटी उदाहरण की स्थिति को बदलता है, उसी एडीटी के किसी अन्य उदाहरण की स्थिति पर कोई प्रभाव नहीं पड़ता है। जब तक कि एडीटी स्वयंसिद्ध कुछ उदाहरणों को कनेक्टेड के रूप में परिभाषित नहीं करता है (अलियासिंग (कंप्यूटिंग) देखें)। विशिष्ट उपाय सबसे सामान्य ऐसे कनेक्शनों में सम्मिलित हैं:

अलियासिंग, जिसमें दो या दो से अधिक नाम एक ही डेटा ऑब्जेक्ट को स्पष्ट रूप से संदर्भित करते हैं।
रचना, जिसमें एडीटी को (समान या अन्य) एडीटी के उदाहरण सम्मिलित करने के लिए परिभाषित किया गया है।
संदर्भ, जिसमें एडीटी को (समान या अन्य) एडीटी के उदाहरण के संदर्भ में परिभाषित किया गया है।

उदाहरण के लिए अमूर्त रिकॉर्ड (कंप्यूटर विज्ञान) को सम्मिलित करने के लिए अमूर्त चर की परिभाषा का विस्तार करते समय रिकॉर्ड चर आर के क्षेत्र एफ पर संचालन, स्पष्ट रूप से एफ को सम्मिलित करता है। जो आर से अलग है। किन्तु इसका एक भाग भी है।

एडीटी की परिभाषा अपने उदाहरणों के लिए संग्रहीत मूल्य (एस) को एक विशिष्ट समुच्चय एक्स के सदस्यों तक सीमित कर सकती है। जिसे उन चरों की श्रेणी कहा जाता है। उदाहरण के लिए एक समूह या पंक्ति जैसे समुच्चय के लिए एडीटी पंक्ति में सभी वस्तुओं को पूर्णांक होने के लिए बाध्य कर सकता है या कम से कम सभी एक ही प्रकार के हो सकते हैं। (देखें एकरूपता_और_विषमता_(आँकड़े))। प्रोग्रामिंग भाषाओं की प्रकार ऐसे प्रतिबंध एल्गोरिदम के विवरण और विश्लेषण को सरल बना सकते हैं और इसकी पठनीयता में सुधार कर सकते हैं।

ध्यान दें कि यह परिभाषा fetch(V) के मूल्यांकन के परिणाम के बारे में कुछ भी नहीं बताती है। जब V प्रारंभिक नहीं है अर्थात V पर कोई store ऑपरेशन करने से पहले An एल्गोरिथम, जो ऐसा करता है, उसे अमान्य माना जा सकता है या तो (ए) क्योंकि एडीटी इस प्रकार के ऑपरेशन को प्रतिबंधित करता है या (बी) केवल इसलिए कि इसका प्रभाव एडीटी द्वारा परिभाषित नहीं किया गया है। चूंकि कुछ महत्वपूर्ण एल्गोरिदम हैं। जिनकी दक्षता दृढ़ता से इस धारणा पर निर्भर करती है कि ऐसा fetch नियमानुअमूर्त है और वेरिएबल की सीमा में कुछ अनावश्यक मान देता है।

उदाहरण निर्माण

कुछ एल्गोरिदम को कुछ एडीटी (जैसे नए चर, या नए समूह) के नए उदाहरण बनाने की आवश्यकता होती है। इस प्रकार के एल्गोरिदम का वर्णन करने के लिए सामान्यतः एडीटी परिभाषा में create() ऑपरेशन सम्मिलित होता है। जो एडीटी का सामान्यतः स्वयंसिद्धों के बराबर उदाहरण देता है।

create() का परिणाम एल्गोरिथम द्वारा पहले से उपयोग किए जा रहे किसी भी उदाहरण से अलग है।

अन्य उदाहरणों के साथ आंशिक अलियासिंग को भी बाप्रत्येक करने के लिए इस स्वयंसिद्ध को शक्तिशाली किया जा सकता है। व्यावहारिक उपयोग के लिए, जैसे स्वयंसिद्ध अभी भी create() के कार्यान्वयन की अनुमति दे सकता है, जो पहले से बनाए गए उदाहरण को प्राप्त करने के लिए प्रोग्राम के लिए दुर्गम हो गया है। चूंकि परिभाषित करना कि ऐसा उदाहरण भी समान है। विशेष रूप से अमूर्त में (चूंकि स्मृति का एक पुन: उपयोग किया गया। ब्लॉक भी कुछ इंद्रियों में केवल एक ही वस्तु है।

उदाहरण: अमूर्त समूह (अनिवार्य)

एक अन्य उदाहरण के रूप में अमूर्त स्टैक की अनिवार्य-शैली की परिभाषा निर्दिष्ट कर सकती है कि स्टैक S की स्थिति को केवल संचालन द्वारा संशोधित किया जा सकता है।

push(S, x), जहाँ x अनिर्दिष्ट प्रकृति का कुछ मान है।
pop(S), जो परिणाम के रूप में मूल्य देता है।

उस जानकारी के साथ

किसी भी मान x और किसी अमूर्त चर V के लिए संचालन का क्रम {push(S, x); V ← pop(S) }, V ← x के बराबर है।

चूँकि असाइनमेंट V ← x, परिभाषा के अनुअमूर्त S की स्थिति को नहीं बदल सकता है। इस स्थिति का तात्पर्य है कि V ← pop(S) S को उस स्थिति में पुनर्स्थापित करता है। जो push(S, x)। इस स्थिति से अमूर्त चर के गुणों से यह इस प्रकार है। उदाहरण के लिए अनुक्रम

{ push(S, x); push(S, y); U ← pop(S); push(S, z); V ← pop(S); W ← pop(S) }

जहां x, y, और z कोई मान हैं, और U, V, W जोड़ीदार विशिष्ट चर हैं, के समतुल्य है

{ U ← y; V ← z; W ← x }

यहाँ यह स्पष्ट रूप से माना जाता है कि स्टैक इंस्टेंस पर संचालन अन्य स्टैक सहित किसी अन्य एडीटी इंस्टेंस की स्थिति को संशोधित नहीं करता है। वह है,

किसी भी मान x, y और किसी भी विशिष्ट स्टैक S और T के लिए अनुक्रम { push(S, x); push(T, y) } { push(T, y) के बराबर है; push(S, x)}।

अमूर्त स्टैक परिभाषा में सामान्यतः बूलियन मान-मूल्यवान फलन खाली(S) और एक बनाना() ऑपरेशन सम्मिलित होता है। जो स्टैक उदाहरण वापस करता है। इसके समकक्ष स्वयंसिद्धों के साथ व्यवस्थित करता है।

create() ≠ S किसी भी पिछले स्टैक के लिए S (एक नया बनाया गया स्टैक पिछले सभी स्टैक से अलग है)।
empty(create() नया बनाया गया समूब खाली है।
not empty(push(S, x) किसी चीज़ को समूब में धकेलने से वह गैर-रिक्त हो जाती है।

एकल-आवृत्ति शैली

कभी-कभी एडीटी को परिभाषित किया जाता है। जैसे कि एल्गोरिथम के निष्पादन के समय इसका केवल एक उदाहरण उपस्थित था और सभी ऑपरेशन उस उदाहरण पर संचालित किए गए थे। जो स्पष्ट रूप से नोट नहीं किया गया है। उदाहरण के लिए उपरोक्त अमूर्त स्टैक को ऑपरेशन push(x) और pop() के साथ परिभाषित किया जा सकता था। जो केवल उपस्थिता स्टैक पर काम करता है। इस शैली में एडीटी परिभाषाओं को सरलता से एडीटी के कई सह-अस्तित्व वाले उदाहरणों को स्वीकार करने के लिए पुनः लिखा जा सकता है। एक स्पष्ट उदाहरण पैरामीटर (जैसे पिछले उदाहरण में S) को प्रत्येक ऑपरेशन में जोड़ा जाता है। जो अंतर्निहित उदाहरण का उपयोग करता है या संशोधित करता है।

दूसरी ओर कुछ एडीटी को कई उदाहरण ग्रहण किए बिना अमूर्त्थक रूप से परिभाषित नहीं किया जा सकता है। यह वह स्थिति है, जब एकल ऑपरेशन एडीटी के पैरामीटर के रूप में दो अलग-अलग उदाहरण लेता है। उदाहरण के लिए तुलना (S, T) ऑपरेशन के साथ अमूर्त स्टैक की परिभाषा को बढ़ाने पर विचार करें जो यह जाँचता है कि स्टैक S और T में समान क्रम में समान आइटम हैं या नहीं।

कार्यात्मक-शैली परिभाषा

एडीटी को परिभाषित करने का एक और उपाय कार्यात्मक प्रोग्रामिंग की भावना के पास संरचना के प्रत्येक राज्य को अलग इकाई के रूप में माना जाता है। इस दृष्टि से एडीटी को संशोधित करने वाले किसी भी ऑपरेशन को एक फलन (गणित) के रूप में तैयार किया जाता है। जो पुरानी स्थिति को तर्क के रूप में लेता है और परिणाम के भाग के रूप में नया स्थिति देता है। अनिवार्य संचालन के विपरीत इन कार्यों का कोई दुष्प्रभाव (कंप्यूटर विज्ञान) नहीं है। इसलिए जिस क्रम में उनका मूल्यांकन किया जाता है। वह अमूर्तहीन है और समान तर्कों (समान इनपुट राज्यों सहित) पर संचालित समान ऑपरेशन सदैव समान परिणाम (और आउटपुट स्थिति) वापस करेगा।

कार्यात्मक दृश्य में विशेष रूप से अनिवार्य चर के शब्दार्थ के साथ अमूर्त चर को परिभाषित करने का कोई उपाय (या आवश्यकता) नहीं है। (अर्थात, fetch और store संचालन के साथ) मानों को वेरिएबल्स में संग्रहीत करने के अतिरिक्त उन्हें फलन के तर्क के रूप में पास किया जाता है।

उदाहरण: अमूर्त समूह (कार्यात्मक)

उदाहरण के लिए अमूर्त समूह की एक पूर्ण कार्यात्मक-शैली परिभाषा तीन परिचालनों का उपयोग कर सकती है:

push: एक स्टैक स्थिति और मान लेता है। एक स्टैक स्थिति लौटाता है।
top: एक समूह स्थिति लेता है, एक मान देता है।
pop: स्टैक स्थिति लेता है, स्टैक स्थिति लौटाता है।

कार्यात्मक-शैली की परिभाषा में create ऑपरेशन की कोई आवश्यकता नहीं है। स्टैक इंस्टेंस की कोई धारणा नहीं है। स्टैक स्टेट्स को सिंगल स्टैक स्ट्रक्चर के संभावित स्टेट्स के रूप में माना जा सकता है और दो-स्टैक स्टेट्स, जिनमें समान क्रम में समान मान होते हैं, को समान स्टेट्स माना जाता है। यह दृश्य वास्तव में कुछ ठोस कार्यान्वयनों के व्यवहार को प्रतिबिंबित करता है। जैसे कि हैश विपक्ष के साथ लिंक्ड सूचियाँ व्यवस्थित करते हैं।

create() के अतिरिक्त अमूर्त स्टैक की कार्यात्मक-शैली परिभाषा विशेष स्टैक स्थिति के अस्तित्व को मान सकती है। खाली स्टैक, जिसे Λ या () जैसे विशेष प्रतीक द्वारा निर्दिष्ट किया जाता है या bottom() ऑपरेशन परिभाषित करें। जो कोई तर्क नहीं लेता है और इस विशेष स्टैक स्थिति को लौटाता है। ध्यान दें कि स्वयंसिद्धों का अर्थ है।

push(Λ, x) ≠ Λ.

स्टैक की कार्यात्मक-शैली की परिभाषा में किसी को खाली विधेय की आवश्यकता नहीं होती है। इसके अतिरिक्त कोई यह परीक्षण कर सकता है कि स्टैक खाली है या नहीं। यह परीक्षण करके कि क्या यह Λ के बराबर है।

ध्यान दें कि ये सिद्धांत top(s) या pop(s) के प्रभाव को परिभाषित नहीं करते हैं। जब तक कि s push उपस्थित न हो। चूँकि push स्टैक को गैर-खाली छोड़ देता है। वे दो ऑपरेशन अपरिभाषित हैं। जब s = Λ। दूसरी ओर स्वयंसिद्ध (और साइड इफेक्ट की कमी) का अर्थ है कि push(s, x) = push(t, y) यदि और केवल यदि x = y और s = t।

जैसा कि गणित की कुछ अन्य शाखाओं में होता है। यह मान लेना भी प्रथागत है कि स्टैक अवस्थाएँ केवल वे हैं, जिनका अस्तित्व स्वयंसिद्धों से सीमित संख्या में चरणों में सिद्ध किया जा सकता है। उपरोक्त अमूर्त स्टैक उदाहरण में इस नियम का अर्थ है कि प्रत्येक स्टैक मूल्यों का एक परिमित अनुक्रम है। जो pops की सीमित संख्या के बाद खाली स्टैक (Λ) बन जाता है। स्वयं में ऊपर दिए गए स्वयंसिद्ध अनंत स्टैक के अस्तित्व को प्रत्येक बार नहीं करते हैं (जो सदैव के लिए pop पेड हो सकते हैं, प्रत्येक बार एक अलग स्थिति उत्पन्न करते हैं) या गोलाकार समूह (जो एक परिमित संख्या के बाद उसी स्थिति में वापस आ जाते हैं) विशेष रूप से वे ऐसी स्थिति को उत्पन्न नहीं करते हैं। जैसे pop(s) = s या push(s, x) = s । चूंकि दिए गए कार्यों के साथ ऐसे समूह स्थिति प्राप्त नहीं किए जा सकते हैं। इसलिए उन्हें अस्तित्व में नहीं माना जाता है।

जटिलता सम्मिलित करना है या नहीं

स्वयंसिद्धों के संदर्भ में व्यवहार के अतिरिक्त एडीटी ऑपरेशन की परिभाषा में उनके एल्गोरिदम का विश्लेषण भी सम्मिलित करना संभव है। सी++ मानक टेम्पलेट लाइब्रेरी के प्रारूपर अलेक्जेंडर स्टेपानोव ने तर्क देते हुए एसटीएल विनिर्देशन में जटिलता की गारंटी सम्मिलित की:

सार डेटा प्रकारों की धारणा को प्रस्तुत करने का कारण विनिमेय सॉफ़्टवेयर मॉड्यूल की अनुमति देना था। आप विनिमेय मॉड्यूल नहीं रख सकते हैं। जब तक कि ये मॉड्यूल समान जटिलता व्यवहार साझा न करें। यदि मैं एक मॉड्यूल को दूसरे मॉड्यूल के साथ समान कार्यात्मक व्यवहार के साथ बदलता हूं। किन्तु विभिन्न जटिलता ट्रेडऑफ़ के साथ इस कोड के उपयोगकर्ता अप्रिय रूप से आश्चर्यचकित होंगे। मैं उसे डेटा अमूर्तता के बारे में कुछ भी बता सकता था और वह अभी भी कोड का उपयोग नहीं करना चाहेगा। जटिलता अभिकथन इंटरफ़ेस का भाग होना चाहिए।
— अलेक्जेंडर स्टेपानोव^[5]

अमूर्त डेटा टाइपिंग के लाभ

एनकैप्सुलेशन

अमूर्तता (कंप्यूटर विज्ञान) प्रतिज्ञा प्रदान करता है कि एडीटी के किसी भी कार्यान्वयन में कुछ गुण और क्षमताएं हैं। एडीटी ऑब्जेक्ट का उपयोग करने के लिए यह जानना आवश्यक है। यह प्रोग्रामिंग भाषा में डेटा प्रकार के साथ परिधीय और गैर परिधीय डेटा प्रकार प्रयोग करने के लिए तैयार है।

परिवर्तन का स्थानीयकरण

एडीटी ऑब्जेक्ट का उपयोग करने वाले कोड को एडीटी के कार्यान्वयन को बदलने पर संपादित करने की आवश्यकता नहीं होगी। चूंकि कार्यान्वयन में कोई भी परिवर्तन अभी भी इंटरफ़ेस का अनुपालन करना चाहिए और चूंकि एडीटी ऑब्जेक्ट का उपयोग करने वाला कोड केवल इंटरफ़ेस में निर्दिष्ट गुणों और क्षमताओं को संदर्भित कर सकता है। कोड में किसी भी बदलाव की आवश्यकता के बिना कार्यान्वयन में परिवर्तन किए जा सकते हैं। जहां एडीटी का उपयोग किया जाता है। .

लचीलापन

एडीटी के विभिन्न कार्यान्वयन सभी समान गुणों और क्षमताओं वाले समतुल्य हैं और एडीटी का उपयोग करने वाले कोड में कुछ समय तक एकांतर रूप से उपयोग किया जा सकता है। विभिन्न परिस्थितियों में एडीटी वस्तुओं का उपयोग करते समय यह बहुत अधिक लचीलापन देता है। उदा प्रत्येक कण के लिए अलग-अलग परिस्थितियों में एडीटी के विभिन्न कार्यान्वयन अधिक कुशल हो सकते हैं। प्रत्येक का उस स्थिति में उपयोग करना संभव है, जहां वे अच्छे हैं और इस प्रकार समग्र दक्षता में वृद्धि होती है।

विशिष्ट संचालन

कुछ ऑपरेशन जो प्रायः एडीटीs (संभवतः अन्य नामों के अनुअमूर्त) के लिए निर्दिष्ट होते हैं

compare(s, t), जो परीक्षण करता है कि क्या दो दृष्टान्तों की अवस्थाएँ किसी अर्थ में समान हैं।
hash(s), जो उदाहरण की स्थिति से कुछ मानक हैश फंकशन की गणना करता है;
print(s)या show(s), जो उदाहरण की स्थिति का मानव-पठनीय प्रतिनिधित्व उत्पन्न करता है।

अनिवार्य-शैली एडीटी परिभाषाओं में प्रायः यह भी पाया जाता है।

create(), जो एडीटी का एक नया उदाहरण देता है।
initializes(s), जो आगे के संचालन के लिए एक नया बनाया गया उदाहरण तैयार करता है या इसे कुछ प्रारंभिक अवस्था में समुच्चय करता है।
copy(s, t), जो उदाहरण s को t के समतुल्य स्थिति में रखती है।
clone(t), जो s ← create(), copy(s, t) करता है और s लौटाता है।
free(s) या destroy(s), जो s द्वारा उपयोग की गई मेमोरी और अन्य संसाधनों को पुनः प्राप्त करता है।

मुफ्त ऑपरेशन सामान्य रूप से प्रासंगिक या अमूर्त्थक नहीं है क्योंकि एडीटी सैद्धांतिक संस्थाएं हैं। जो मेमोरी का उपयोग नहीं करती हैं। चूंकि यह आवश्यक हो सकता है। जब किसी को एडीटी का उपयोग करने वाले एल्गोरिथम द्वारा उपयोग किए गए संग्रहण का विश्लेषण करने की आवश्यकता हो। उस स्थिति में किसी को अतिरिक्त सिद्धांतों की आवश्यकता होती है। जो निर्दिष्ट करती है कि प्रत्येक एडीटी इंस्टेंस अपने स्थिति के कार्य के रूप में कितनी मेमोरी का उपयोग करता है और इसमें से कितना मुफ्त द्वारा पूल में वापस किया जाता है।

उदाहरण

कुछ सामान्य एडीटी, जो विभिन्न प्रकार के अनुप्रयोगों में उपयोगी सिद्ध हुए हैं, हैं

इन एडीटी में से प्रत्येक को कई तरीकों और रूपों में परिभाषित किया जा सकता है, जरूरी नहीं कि समकक्ष उदाहरण के लिए अमूर्त स्टैक में गिनती ऑपरेशन हो सकता है या नहीं भी हो सकता है। जो बताता है कि कितने आइटम push किए गए हैं और अभी तक pop नहीं हुए हैं। यह विकल्प न केवल इसके ग्राहकों के लिए बल्कि कार्यान्वयन के लिए भी एक अंतर बनाता है।

अमूर्त चित्रमय डेटा प्रकार

1979 में कंप्यूटर ग्राफिक्स के लिए एडीटी का विस्तार प्रस्तावित किया गया था।^[6] एक अमूर्त चित्रमय डेटा प्रकार (एजीडीटी) इसे नादिया मैग्नेनेट थल्मन और डेनियल थाल्मन द्वारा प्रस्तुत किया गया था। एजीडीटी एक संरचित प्रकार से ग्राफिकल ऑब्जेक्ट्स बनाने की सुविधा के साथ एडीटी के लाभ प्रदान करते हैं।

कार्यान्वयन

एडीटी को संचालित करने का अर्थ है प्रत्येक अमूर्त ऑपरेशन के लिए एक सबरूटीन प्रदान करना। एडीटी उदाहरणों को कुछ ठोस डेटा संरचना द्वारा दर्शाया जाता है। जो एडीटी के विनिर्देशों के अनुअमूर्त उन प्रक्रियाओं द्वारा हेरफेर किया जाता है।

सामान्यतः कई अलग-अलग ठोस डेटा संरचनाओं का उपयोग करके एक ही एडीटी को संचालित करने के कई प्रकार हैं। इस प्रकार उदाहरण के लिए अमूर्त समूह को एक लिंक्ड सूची या एक ऐरे डेटा संरचना द्वारा कार्यान्वित किया जा सकता है।

ग्राहकों को कार्यान्वयन पर निर्भर रहने से रोकने के लिए एडीटी को प्रायः एक या अधिक मॉड्यूल (प्रोग्रामिंग) में एक अपारदर्शी डेटा प्रकार के रूप में पैक किया जाता है। जिसके इंटरफ़ेस में केवल संचालन के हस्ताक्षर (संख्या और प्रकार के पैरामीटर और परिणाम) होते हैं। मॉड्यूल के कार्यान्वयन अर्थात् प्रक्रियाओं के निकाय और उपयोग की जाने वाली ठोस डेटा संरचना को तब मॉड्यूल के अधिकांश ग्राहकों से छिपाया जा सकता है। इससे ग्राहकों को प्रभावित किए बिना कार्यान्वयन को बदलना संभव हो जाता है। यदि कार्यान्वयन उजागर होता है। तो इसे एक पारदर्शी डेटा प्रकार के रूप में जाना जाता है।

एडीटी संचालित करते समय प्रत्येक उदाहरण (अनिवार्य-शैली परिभाषाओं में) या प्रत्येक राज्य (कार्यात्मक-शैली परिभाषाओं में) सामान्यतः किसी प्रकार के हैंडल (कंप्यूटिंग) द्वारा दर्शाया जाता है।^[7] आधुनिक वस्तु-उन्मुख भाषाएँ जैसे सी++ और जावा प्रोग्रामिंग भाषा अमूर्त डेटा प्रकारों के एक रूप का समर्थन करती हैं। जब एक वर्ग का उपयोग एक प्रकार के रूप में किया जाता है। तो यह एक अमूर्त प्रकार होता है, जो एक छिपे हुए प्रतिनिधित्व को संदर्भित करता है। इस मॉडल में एडीटी को सामान्यतः एक वर्ग (कंप्यूटर विज्ञान) के रूप में संचालित किया जाता है और एडीटी का प्रत्येक उदाहरण सामान्यतः उस वर्ग का एक ऑब्जेक्ट (कंप्यूटर विज्ञान) होता है। मॉड्यूल का इंटरफ़ेस सामान्यतः निर्माणकर्ताओं को सामान्य प्रक्रियाओं के रूप में घोषित करता है और अधिकांश अन्य एडीटी संचालन उस वर्ग के तरीके (कंप्यूटर प्रोग्रामिंग) के रूप में होते हैं। चूंकि ऐसा दृष्टिकोण एडीटी में पाए जाने वाले कई प्रतिनिधित्वात्मक वेरिएंट को सरलता से एनकैप्सुलेट नहीं करता है। यह वस्तु-उन्मुख कार्यक्रमों की व्यापकता को भी कम कर सकता है। एक शुद्ध वस्तु-उन्मुख कार्यक्रम में जो इंटरफेस को प्रकार के रूप में उपयोग करता है, प्रकार व्यवहार को संदर्भित करता है, परन्तु प्रतिनिधित्व नहीं करता है।

उदाहरण: अमूर्त समूह का कार्यान्वयन एक उदाहरण के रूप में यहाँ सी (प्रोग्रामिंग लैंग्वेज) में उपरोक्त अमूर्त स्टैक का कार्यान्वयन है।

इम्पीरेटिव-स्टाइल इंटरफ़ेस

अनिवार्य-शैली इंटरफ़ेस हो सकता है:

typedef struct stack_Rep stack_Rep;       // type: stack instance representation (opaque record)
typedef stack_Rep* stack_T;               // type: handle to a stack instance (opaque pointer)
typedef void* stack_Item;                 // type: value stored in stack instance (arbitrary address)

stack_T stack_create(void);               // creates a new empty stack instance
void stack_push(stack_T s, stack_Item x); // adds an item at the top of the stack
stack_Item stack_pop(stack_T s);          // removes the top item from the stack and returns it
bool stack_empty(stack_T s);              // checks whether stack is empty

इस इंटरफ़ेस का उपयोग निम्नलिखित तरीके से किया जा सकता है:

#include <stack.h>          // includes the stack interface

stack_T s = stack_create(); // creates a new empty stack instance
int x = 17;
stack_push(s, &x);          // adds the address of x at the top of the stack
void* y = stack_pop(s);     // removes the address of x from the stack and returns it
if (stack_empty(s)) { }     // does something if stack is empty

इस इंटरफ़ेस को कई प्रकार से संचालित किया जा सकता है। कार्यान्वयन मनमाने ढंग से अक्षम हो सकता है क्योंकि उपरोक्त एडीटी की औपचारिक परिभाषा निर्दिष्ट नहीं करती है कि समूह कितनी स्थान का उपयोग कर सकता है, न ही प्रत्येक ऑपरेशन में कितना समय लगना चाहिए। यह यह भी निर्दिष्ट नहीं करता है कि कॉल x ← pop(s) के बाद स्टैक स्थिति उपस्थित रहती है या नहीं।

व्यवहार में औपचारिक परिभाषा में यह निर्दिष्ट होना चाहिए कि स्थान धकेले गए आइटमों की संख्या के समानुपाती है और अभी तक pop नहीं हुआ है और ऊपर दिए गए प्रत्येक ऑपरेशन को उस संख्या से स्वतंत्र रूप से निरंतर समय में पूरा करना चाहिए। इन अतिरिक्त विशिष्टताओं का अनुपालन करने के लिए कार्यान्वयन दो पूर्णांकों (एक आइटम संख्या और सरणी आकार) के साथ एक लिंक की गई सूची या अमूर्तणी (गतिशील आकार बदलने के साथ) का उपयोग कर सकता है।

कार्यात्मक-शैली इंटरफ़ेस

कार्यात्मक प्रोग्रामिंग भाषाओं के लिए कार्यात्मक-शैली एडीटी परिभाषाएं अधिक उपयुक्त हैं और इसके विपरीत। चूंकि सी जैसी अनिवार्य भाषा में भी कोई कार्यात्मक-शैली इंटरफ़ेस प्रदान कर सकता है। उदाहरण के लिए:

एडीटी पुस्तकालय

कई आधुनिक प्रोग्रामिंग भाषाएं जैसे कि सी ++ और जावा, मानक पुस्तकालयों के साथ आती हैं। जो कई सामान्य एडीटी को संचालित करती हैं। जैसे ऊपर सूचीबद्ध हैं।

अंतर्निहित अमूर्त डेटा प्रकार

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

यह भी देखें

उद्धरण

↑ Dale & Walker 1996, p. 3.
↑ Dale & Walker 1996, p. 4.
↑ Liskov & Zilles 1974.
↑ Rudolf Lidl (2004). Abstract Algebra. Springer. ISBN 978-81-8128-149-4., Chapter 7, section 40.
↑ Stevens, Al (March 1995). "Al Stevens Interviews Alex Stepanov". Dr. Dobb's Journal. Retrieved 31 January 2015.
↑ D. Thalmann, N. Magnenat Thalmann (1979). Design and Implementation of Abstract Graphical Data Types. IEEE. doi:10.1109/CMPSAC.1979.762551., Proc. 3rd International Computer Software and Applications Conference (COMPSAC'79), IEEE, Chicago, USA, pp.519-524
↑ Robert Sedgewick (1998). Algorithms in C. Addison/Wesley. ISBN 978-0-201-31452-6., definition 4.4.

संदर्भ

Liskov, Barbara; Zilles, Stephen (1974). "Programming with abstract data types". Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages. SIGPLAN Notices. Vol. 9. pp. 50–59. CiteSeerX 10.1.1.136.3043. doi:10.1145/800233.807045.
Dale, Nell; Walker, Henry M. (1996). Abstract Data Types: Specifications, Implementations, and Applications. Jones & Bartlett Learning. ISBN 978-0-66940000-7.

अग्रिम पठन

Mitchell, John C.; Plotkin, Gordon (July 1988). "Abstract Types Have Existential Type" (PDF). ACM Transactions on Programming Languages and Systems. 10 (3): 470–502. doi:10.1145/44501.45065. S2CID 1222153. Archived (PDF) from the original on 2022-10-09.

बाप्रत्येकी संबंध

Media related to Abstract data types at Wikimedia Commons
Abstract data type in NIST Dictionary of Algorithms and Data Structures

[4] Compare to the characterization of integers in abstract algebra.

[FOOTNOTEDaleWalker19963-1] Dale & Walker 1996, p. 3.

[FOOTNOTEDaleWalker19964-2] Dale & Walker 1996, p. 4.

[FOOTNOTELiskovZilles1974-3] Liskov & Zilles 1974.

[5] Rudolf Lidl (2004). Abstract Algebra. Springer. ISBN 978-81-8128-149-4., Chapter 7, section 40.

[6] Stevens, Al (March 1995). "Al Stevens Interviews Alex Stepanov". Dr. Dobb's Journal. Retrieved 31 January 2015.

[7] D. Thalmann, N. Magnenat Thalmann (1979). Design and Implementation of Abstract Graphical Data Types. IEEE. doi:10.1109/CMPSAC.1979.762551., Proc. 3rd International Computer Software and Applications Conference (COMPSAC'79), IEEE, Chicago, USA, pp.519-524

[8] Robert Sedgewick (1998). Algorithms in C. Addison/Wesley. ISBN 978-0-201-31452-6., definition 4.4.

[1]

[2]

[3]

[lower-alpha 1]

[4]

[5]

[6]

[7]

Anonymous

Search

अमूर्त डेटा प्रकार: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 16:20, 11 March 2023

Contents

अमूर्त डेटा प्रकार

परिचय

अमूर्त डेटा प्रकार परिभाषित करना

आदेशात्मक-शैली परिभाषा

अमूर्त चर

उदाहरण निर्माण

उदाहरण: अमूर्त समूह (अनिवार्य)

एकल-आवृत्ति शैली

कार्यात्मक-शैली परिभाषा

उदाहरण: अमूर्त समूह (कार्यात्मक)

जटिलता सम्मिलित करना है या नहीं

अमूर्त डेटा टाइपिंग के लाभ

एनकैप्सुलेशन

परिवर्तन का स्थानीयकरण

लचीलापन

विशिष्ट संचालन

उदाहरण

कार्यान्वयन

इम्पीरेटिव-स्टाइल इंटरफ़ेस

कार्यात्मक-शैली इंटरफ़ेस

एडीटी पुस्तकालय

अंतर्निहित अमूर्त डेटा प्रकार

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

अग्रिम पठन

बाप्रत्येकी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
-{{short description|Mathematical model for data types}}
+{{short description|Mathematical model for data types}}[[कंप्यूटर विज्ञान]] में '''अमूर्त डेटा प्रकार''' (एडीटी) डेटा प्रकारों के लिए एक गणितीय मॉडल है। '''अमूर्त डेटा प्रकार''' को उसके व्यवहार (सिमेंटिक्स (कंप्यूटर विज्ञान)) द्वारा परिभाषित किया जाता है। डेटा के'' [[उपयोगकर्ता (कंप्यूटिंग)]]'' के दृष्टिकोण से विशेष रूप से संभावित मूल्यों के संदर्भ में इस प्रकार के डेटा पर संभावित संचालन और इन परिचालनों का व्यवहार गणितीय मॉडल [[डेटा संरचना]]ओं के विपरीत है। जो डेटा के ठोस प्रतिनिधित्व हैं और एक कार्यान्वयनकर्ता के दृष्टिकोण हैं, परन्तु उपयोगकर्ता नहीं है।
-{{Distinguish|बीजगणितीय डेटा प्रकार}}
-[[कंप्यूटर विज्ञान]] में '''अमूर्त [[डेटा प्रकार]]''' (एडीटी) डेटा प्रकारों के लिए एक गणितीय मॉडल है। '''अमूर्त डेटा प्रकार''' को उसके व्यवहार (सिमेंटिक्स (कंप्यूटर विज्ञान)) द्वारा परिभाषित किया जाता है। डेटा के'' [[उपयोगकर्ता (कंप्यूटिंग)]] '' के दृष्टिकोण से विशेष रूप से संभावित मूल्यों के संदर्भ में इस प्रकार के डेटा पर संभावित संचालन और इन परिचालनों का व्यवहार गणितीय मॉडल [[डेटा संरचना]]ओं के विपरीत है। जो डेटा के ठोस प्रतिनिधित्व हैं और एक कार्यान्वयनकर्ता के दृष्टिकोण हैं, परन्तु उपयोगकर्ता नहीं है।
+औपचारिक रूप से एडीटी को वस्तुओं के एक वर्ग के रूप में परिभाषित किया जा सकता है। जिसका तार्कपूर्ण व्यवहार मूल्यों के एक समुच्चय और संचालन के समुच्चय द्वारा परिभाषित किया गया है।{{sfn|Dale|Walker|1996|p=3}} यह गणित में [[बीजगणितीय संरचना]] के अनुरूप है। व्यवहार से क्या अभिप्राय लेखक द्वारा भिन्न होता है। व्यवहार दो मुख्य प्रकार के औपचारिक विनिर्देशों के साथ स्वयंसिद्ध (बीजगणितीय) विनिर्देश और अमूर्त मॉडल होता है।{{sfn|Dale|Walker|1996|p=4}} ये क्रमशः [[अमूर्त मशीन]] के [[स्वयंसिद्ध शब्दार्थ]] और [[परिचालन शब्दार्थ]] के अनुरूप हैं। कुछ लेखकों में समय (कंप्यूटिंग संचालन के लिए) और स्थान (मूल्यों का प्रतिनिधित्व करने के लिए) दोनों के संदर्भ में [[कम्प्यूटेशनल जटिलता सिद्धांत]] (क्रय मूल्य) भी सम्मिलित है। व्यवहार में कई सामान्य डेटा प्रकार एडीटीएस नहीं हैं क्योंकि अमूर्तता सही नहीं है और उपयोगकर्ताओं को [[अंकगणितीय अतिप्रवाह]] जैसे विषयों के बारे में पता होना चाहिए। जो प्रतिनिधित्व के कारण होते हैं। उदाहरण के लिए पूर्णांकों को प्रायः निश्चित-चौड़ाई मान (32-बिट या 64-बिट बाइनरी संख्या) के रूप में संग्रहीत किया जाता है और इस प्रकार अधिकतम मान पार होने पर पूर्णांक अतिप्रवाह का अनुभव होता है।
-औपचारिक रूप से, ADT को वस्तुओं के एक वर्ग के रूप में परिभाषित किया जा सकता है जिसका तार्किक व्यवहार मूल्यों के एक सेट और संचालन के एक सेट द्वारा परिभाषित किया गया है;{{sfn|Dale|Walker|1996|p=3}} यह गणित में एक [[बीजगणितीय संरचना]] के अनुरूप है। व्यवहार से क्या अभिप्राय लेखक द्वारा भिन्न होता है, व्यवहार के दो मुख्य प्रकार के औपचारिक विनिर्देशों के साथ स्वयंसिद्ध (बीजगणितीय) विनिर्देश और एक अमूर्त मॉडल;{{sfn|Dale|Walker|1996|p=4}} ये क्रमशः एक [[अमूर्त मशीन]] के [[स्वयंसिद्ध शब्दार्थ]] और [[परिचालन शब्दार्थ]] के अनुरूप हैं। कुछ लेखकों में समय (कंप्यूटिंग संचालन के लिए) और स्थान (मूल्यों का प्रतिनिधित्व करने के लिए) दोनों के संदर्भ में [[कम्प्यूटेशनल जटिलता सिद्धांत]] (लागत) भी शामिल है। व्यवहार में, कई सामान्य डेटा प्रकार ADTs नहीं हैं, क्योंकि अमूर्तता सही नहीं है, और उपयोगकर्ताओं को [[अंकगणितीय अतिप्रवाह]] जैसे मुद्दों के बारे में पता होना चाहिए जो प्रतिनिधित्व के कारण होते हैं। उदाहरण के लिए, पूर्णांकों को अक्सर निश्चित-चौड़ाई मान (32-बिट या 64-बिट बाइनरी संख्या) के रूप में संग्रहीत किया जाता है, और इस प्रकार अधिकतम मान पार होने पर पूर्णांक अतिप्रवाह का अनुभव होता है।
+एडीटी एक सैद्धांतिक अवधारणा है। कंप्यूटर विज्ञान में [[कलन विधि]], डेटा संरचना और [[सॉफ्टवेयर सिस्टम|सॉफ्टवेयर तन्त्र]] के प्रारूप और विश्लेषण में उपयोग किया जाता है और [[कंप्यूटर भाषा]]ओं की विशिष्ट विशेषताओं के अनुरूप नहीं है। कंप्यूटर की मुख्य भाषाएँ सीधे औपचारिक रूप से निर्दिष्ट एडीटी का समर्थन नहीं करती हैं। चूंकि विभिन्न भाषा सुविधाएँ एडीटी के कुछ नियमों के अनुरूप हैं और एडीटी के साथ सरलता से भ्रमित हो जाती हैं। इनमें अमूर्त प्रकार, [[अपारदर्शी डेटा प्रकार]], [[प्रोटोकॉल (ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग)]] और अनुबंध द्वारा प्रारूप सम्मिलित हैं। सीएलयू (प्रोग्रामिंग लैंग्वेज) भाषा के विकास के भाग के रूप में एडीटी को पहली बार 1974 में [[बारबरा लिस्कोव]] और स्टीफन एन ज़िल्स द्वारा प्रस्तावित किया गया था।{{sfn|Liskov|Zilles|1974}}
-ADT एक सैद्धांतिक अवधारणा है, कंप्यूटर विज्ञान में, [[कलन विधि]], डेटा संरचना और [[सॉफ्टवेयर सिस्टम]] के डिज़ाइन और विश्लेषण में उपयोग किया जाता है, और [[कंप्यूटर भाषा]]ओं की विशिष्ट विशेषताओं के अनुरूप नहीं है- मुख्यधारा की कंप्यूटर भाषाएँ सीधे औपचारिक रूप से निर्दिष्ट ADTs का समर्थन नहीं करती हैं। हालाँकि, विभिन्न भाषा सुविधाएँ ADTs के कुछ पहलुओं के अनुरूप हैं, और ADTs के साथ आसानी से भ्रमित हो जाती हैं; इनमें अमूर्त प्रकार, [[अपारदर्शी डेटा प्रकार]], [[प्रोटोकॉल (ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग)]] और अनुबंध द्वारा डिज़ाइन शामिल हैं। CLU (प्रोग्रामिंग लैंग्वेज) भाषा के विकास के हिस्से के रूप में ADT को पहली बार 1974 में [[बारबरा लिस्कोव]] और स्टीफन एन। ज़िल्स द्वारा प्रस्तावित किया गया था।{{sfn|Liskov|Zilles|1974}}
+== अमूर्त डेटा प्रकार ==
+उदाहरण के लिए [[पूर्णांक]] एक एडीटी होते हैं। जिन्हें मान ..., -2, -1, 0, 1, 2, ... के रूप में परिभाषित किया जाता है और जोड़, घटाव, गुणा और भाग की संक्रियाओं के साथ-साथ से अधिक के रूप में परिभाषित किया जाता है। जो परिचित गणित के अनुअमूर्त व्यवहार करते हैं। [[पूर्णांक विभाजन]] की देखभाल के साथ, कम, आदि स्वतंत्र रूप से कंप्यूटर द्वारा पूर्णांकों का प्रतिनिधित्व कैसे किया जाता है। {{efn|Compare to the characterization of integers in abstract algebra.}} स्पष्ट रूप से व्यवहार में विभिन्न स्वयंसिद्धों (संबद्धता और जोड़ की क्रमविनिमेयता आदि) का पालन करना और संचालन पर पूर्व नियम (शून्य से विभाजित नहीं किया जा सकता) सम्मिलित है। सामान्यतः पूर्णांकों को डेटा संरचना में [[बाइनरी संख्या]] के रूप प्रायः दो के पूरक के रूप में दर्शाया जाता है। किन्तु [[बाइनरी-कोडित दशमलव]] या एक के पूरक में हो सकता है। किन्तु अधिकांश उद्देश्यों के लिए उपयोगकर्ता प्रतिनिधित्व के ठोस विकल्प के अतिरिक्त अमूर्तता के साथ काम कर सकता है और केवल डेटा का उपयोग कर सकते हैं। जैसे कि प्रकार वास्तव में अमूर्त थे।
-== सार डेटा प्रकार ==
+एडीटी में न केवल संचालन होते हैं। बल्कि मूल्यों का डोमेन भी होता है और परिभाषित संचालन पर बाधाएं होती हैं। इंटरफ़ेस सामान्यतः केवल संचालन को संदर्भित करता है और संचालन पर कुछ बाधाएं जैसे कि पूर्व-नियम और पश्च-नियम। किन्तु संचालन के बीच संबंध जैसी अन्य बाधाओं के लिए नहीं हैं।
-उदाहरण के लिए, [[पूर्णांक]] एक एडीटी होते हैं, जिन्हें मान ..., -2, -1, 0, 1, 2, ... के रूप में परिभाषित किया जाता है और जोड़, घटाव, गुणा और भाग की संक्रियाओं के साथ-साथ से अधिक के रूप में परिभाषित किया जाता है। , कम, आदि, जो परिचित गणित के अनुसार व्यवहार करते हैं ([[पूर्णांक विभाजन]] की देखभाल के साथ), स्वतंत्र रूप से कंप्यूटर द्वारा पूर्णांकों का प्रतिनिधित्व कैसे किया जाता है। {{efn|Compare to the characterization of integers in abstract algebra.}} स्पष्ट रूप से, व्यवहार में विभिन्न स्वयंसिद्धों (संबद्धता और जोड़ की क्रमविनिमेयता, आदि) का पालन करना, और संचालन पर पूर्व शर्त (शून्य से विभाजित नहीं किया जा सकता) शामिल है। आमतौर पर पूर्णांकों को डेटा संरचना में [[बाइनरी संख्या]] के रूप में दर्शाया जाता है, अक्सर दो के पूरक के रूप में, लेकिन [[बाइनरी-कोडित दशमलव]] या एक के पूरक में हो सकता है, लेकिन अधिकांश उद्देश्यों के लिए उपयोगकर्ता प्रतिनिधित्व के ठोस विकल्प के बजाय अमूर्तता के साथ काम कर सकता है, और केवल डेटा का उपयोग कर सकते हैं जैसे कि प्रकार वास्तव में सार थे।
-एक एडीटी में न केवल संचालन होते हैं बल्कि मूल्यों का एक डोमेन भी होता है, और परिभाषित संचालन पर बाधाएं होती हैं। एक इंटरफ़ेस आमतौर पर केवल संचालन को संदर्भित करता है, और शायद संचालन पर कुछ बाधाएं, जैसे कि पूर्व-शर्तें और पश्च-शर्तें; लेकिन संचालन के बीच संबंध जैसी अन्य बाधाओं के लिए नहीं।
+उदाहरण के लिए अमूर्त स्टैक (अमूर्त डेटा प्रकार), जो एक लास्ट-इन-फर्स्ट-आउट संरचना है, को तीन ऑपरेशनों द्वारा परिभाषित किया जा सकता है: पुस, जो स्टैक पर डेटा आइटम सम्मिलित करता है और <kbd>पॉप</kbd>, जो डेटा आइटम को इससे हटा देता है और पीक या टॉप, जो स्टैक के शीर्ष पर डेटा आइटम को बिना हटाए एक्सेस करता है। एक अमूर्त पंक्ति (अमूर्त डेटा प्रकार), जो पहले-में-पहले-आउट संरचना है, में भी तीन ऑपरेशन होंगे: <kbd>पंक्तिबद्ध करें</kbd>, जो पंक्ति में डेटा आइटम सम्मिलित करता है; <kbd>विपंक्ति</kbd>, जो इसमें से पहला डेटा आइटम हटा देता है और <kbd>सामने</kbd>, जो क्यू में पहले डेटा आइटम को एक्सेस और सर्व करता है। यदि ये संपूर्ण परिभाषाएँ होतीं। तो इन दो डेटा प्रकारों और उनके बहुत भिन्न अपेक्षित क्रम व्यवहार में अंतर करने का कोई उपाय नहीं होता। इस प्रकार एक बाधा प्रस्तुत की जाती है कि स्टैक के लिए यह निर्दिष्ट करता है कि प्रत्येक पॉप सदैव सबसे वर्तमान में धकेले गए आइटम को लौटाता है (और हटाता है)। जो अभी तक पॉप नहीं किया गया है और पंक्ति के लिए (इसके विपरीत) निर्दिष्ट करता है कि पॉप कम से कम वर्तमान में धकेले गए आइटम पर काम करता है।
-उदाहरण के लिए, एक सार स्टैक (अमूर्त डेटा प्रकार), जो एक लास्ट-इन-फर्स्ट-आउट संरचना है, को तीन ऑपरेशनों द्वारा परिभाषित किया जा सकता है: <kbd>push</kbd>, जो स्टैक पर एक डेटा आइटम सम्मिलित करता है; <kbd>पॉप</kbd>, जो डेटा आइटम को इससे हटा देता है; और <kbd>peek</kbd> या <kbd>top</kbd>, जो स्टैक के शीर्ष पर डेटा आइटम को बिना हटाए एक्सेस करता है। एक सार कतार (अमूर्त डेटा प्रकार), जो एक पहले-में-पहले-आउट संरचना है, में भी तीन ऑपरेशन होंगे: <kbd>enqueue</kbd>, जो कतार में एक डेटा आइटम सम्मिलित करता है; <kbd>dequeue</kbd>, जो इसमें से पहला डेटा आइटम हटा देता है; और <kbd>सामने</kbd>, जो क्यू में पहले डेटा आइटम को एक्सेस और सर्व करता है। यदि ये संपूर्ण परिभाषाएँ होतीं, तो इन दो डेटा प्रकारों और उनके बहुत भिन्न अपेक्षित क्रम व्यवहार में अंतर करने का कोई तरीका नहीं होता। इस प्रकार, एक बाधा पेश की जाती है कि स्टैक के लिए यह निर्दिष्ट करता है कि प्रत्येक पॉप हमेशा सबसे हाल ही में धकेले गए आइटम को लौटाता है (और हटाता है) जो अभी तक पॉप नहीं किया गया है, और कतार के लिए (इसके विपरीत) निर्दिष्ट करता है कि पॉप कम से कम हाल ही में धकेले गए आइटम पर काम करता है .
+एल्गोरिदम के [[एल्गोरिदम का विश्लेषण]] करते समय यह भी निर्दिष्ट किया जा सकता है कि सभी ऑपरेशन एक ही समय लेते हैं। तथापि कितने डेटा आइटम समूह में धकेल दिए गए हों और यह कि स्टैक प्रत्येक तत्व के लिए भंडारण की निरंतर मात्रा का उपयोग करता है। चूंकि समय सीमा को सदैव एडीटी की परिभाषा का भाग नहीं माना जाता है।
-एल्गोरिदम के [[एल्गोरिदम का विश्लेषण]] करते समय, यह भी निर्दिष्ट किया जा सकता है कि सभी ऑपरेशन एक ही समय लेते हैं चाहे कितने डेटा आइटम ढेर में धकेल दिए गए हों, और यह कि स्टैक प्रत्येक तत्व के लिए भंडारण की निरंतर मात्रा का उपयोग करता है। हालाँकि, समय सीमा को हमेशा ADT की परिभाषा का हिस्सा नहीं माना जाता है।
+== परिचय ==
+अमूर्त डेटा प्रकार विशुद्ध रूप से सैद्धांतिक इकाइयाँ हैं। जिनका उपयोग (अन्य बातों के अतिरिक्त) अमूर्त एल्गोरिदम के विवरण को सरल बनाने के लिए, डेटा संरचनाओं को वर्गीकृत और मूल्यांकन करने के लिए और औपचारिक रूप से प्रोग्रामिंग भाषाओं के प्रकार तन्त्र का वर्णन करने के लिए किया जाता है। चूंकि एडीटी विशिष्ट डेटा प्रकारों या डेटा संरचनाओं द्वारा कई प्रकारों से और कई प्रोग्रामिंग भाषाओं में [[कार्यान्वयन]] हो सकता है या [[औपचारिक विनिर्देश भाषा]] में वर्णित है। एडीटी को प्रायः [[मॉड्यूलर प्रोग्रामिंग]] के रूप में संचालित किया जाता है। मॉड्यूल का इंटरफ़ेस (कंप्यूटर साइंस) एडीटी संचालन के अनुरूप प्रक्रियाओं की घोषणा करता है। कभी-कभी [[टिप्पणी (कंप्यूटर प्रोग्रामिंग)]] के साथ जो बाधाओं का वर्णन करता है। यह सूचना छिपाने की रणनीति [[क्लाइंट (कंप्यूटिंग)]] प्रोग्राम को परेशान किए बिना मॉड्यूल के कार्यान्वयन को बदलने की अनुमति देती है।
-== परिचय ==
+अमूर्त डेटा प्रकार शब्द को कई बीजगणितीय संरचनाओं के सामान्यीकृत दृष्टिकोण के रूप में भी माना जा सकता है। जैसे जाली, समूह और छल्ले।<ref>{{cite book | author=Rudolf Lidl | title=Abstract Algebra| publisher=Springer | year=2004 | isbn=978-81-8128-149-4}}, Chapter 7, section 40.</ref> अमूर्त डेटा प्रकारों की धारणा डेटा अमूर्तता की अवधारणा से संबंधित है। जो [[वस्तु-उन्मुख प्रोग्रामिंग भाषा]] में महत्वपूर्ण है| [[सॉफ्टवेयर इंजीनियरिंग]] के लिए अनुबंध पद्धतियों द्वारा ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग और प्रारूप तैयार किया गया है।
-सार डेटा प्रकार विशुद्ध रूप से सैद्धांतिक इकाइयाँ हैं, जिनका उपयोग (अन्य बातों के अलावा) अमूर्त एल्गोरिदम के विवरण को सरल बनाने के लिए, डेटा संरचनाओं को वर्गीकृत और मूल्यांकन करने के लिए, और औपचारिक रूप से प्रोग्रामिंग भाषाओं के प्रकार सिस्टम का वर्णन करने के लिए किया जाता है। हालाँकि, एक ADT विशिष्ट डेटा प्रकारों या डेटा संरचनाओं द्वारा, कई तरीकों से और कई प्रोग्रामिंग भाषाओं में [[कार्यान्वयन]] हो सकता है; या एक [[औपचारिक विनिर्देश भाषा]] में वर्णित है। ADTs को अक्सर [[मॉड्यूलर प्रोग्रामिंग]] के रूप में लागू किया जाता है: मॉड्यूल का इंटरफ़ेस (कंप्यूटर साइंस) ADT संचालन के अनुरूप प्रक्रियाओं की घोषणा करता है, कभी-कभी [[टिप्पणी (कंप्यूटर प्रोग्रामिंग)]] के साथ जो बाधाओं का वर्णन करता है। यह सूचना छिपाने की रणनीति [[क्लाइंट (कंप्यूटिंग)]] प्रोग्राम को परेशान किए बिना मॉड्यूल के कार्यान्वयन को बदलने की अनुमति देती है।
-सार डेटा प्रकार शब्द को कई बीजगणितीय संरचनाओं के सामान्यीकृत दृष्टिकोण के रूप में भी माना जा सकता है, जैसे जाली, समूह और छल्ले।<ref>{{cite book | author=Rudolf Lidl | title=Abstract Algebra| publisher=Springer | year=2004 | isbn=978-81-8128-149-4}}, Chapter 7, section 40.</ref> [[अमूर्त डेटा]] प्रकारों की धारणा डेटा अमूर्तता की अवधारणा से संबंधित है, जो [[वस्तु-उन्मुख प्रोग्रामिंग भाषा]] में महत्वपूर्ण है| [[सॉफ्टवेयर इंजीनियरिंग]] के लिए अनुबंध पद्धतियों द्वारा ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग और डिज़ाइन।{{cn|date=September 2022}}
-== एक सार डेटा प्रकार परिभाषित करना ==
+== अमूर्त डेटा प्रकार परिभाषित करना ==
-एक अमूर्त डेटा प्रकार को डेटा ऑब्जेक्ट्स के गणितीय मॉडल के रूप में परिभाषित किया जाता है जो डेटा प्रकार के साथ-साथ इन ऑब्जेक्ट्स पर काम करने वाले कार्यों को भी बनाता है।
+अमूर्त डेटा प्रकार को डेटा ऑब्जेक्ट्स के गणितीय मॉडल के रूप में परिभाषित किया जाता है। जो डेटा प्रकार के साथ-साथ इन ऑब्जेक्ट्स पर काम करने वाले कार्यों को भी बनाता है। उन्हें परिभाषित करने के लिए कोई मानक सम्मेलन नहीं हैं। अनिवार्य (या परिचालन) और कार्यात्मक (या स्वयंसिद्ध) परिभाषा शैलियों के बीच व्यापक विभाजन तैयार किया जा सकता है।
-उन्हें परिभाषित करने के लिए कोई मानक सम्मेलन नहीं हैं। अनिवार्य (या परिचालन) और कार्यात्मक (या स्वयंसिद्ध) परिभाषा शैलियों के बीच एक व्यापक विभाजन तैयार किया जा सकता है।
 ===आदेशात्मक-शैली परिभाषा===
-[[अनिवार्य प्रोग्रामिंग]] भाषाओं के सिद्धांत में, एक सार डेटा संरचना को एक इकाई के रूप में माना जाता है जो कि परिवर्तनशील है - जिसका अर्थ है कि यह अलग-अलग समय पर अलग-अलग राज्यों में हो सकता है। कुछ ऑपरेशन ADT की स्थिति को बदल सकते हैं; इसलिए, जिस क्रम में संचालन का मूल्यांकन किया जाता है वह महत्वपूर्ण है, और अलग-अलग समय पर निष्पादित होने पर समान संस्थाओं पर समान संचालन के अलग-अलग प्रभाव हो सकते हैं। यह एक कंप्यूटर के निर्देशों या अनिवार्य भाषा के आदेशों और प्रक्रियाओं के अनुरूप है। इस दृष्टिकोण को रेखांकित करने के लिए यह कहना प्रथागत है कि मूल्यांकन के बजाय परिचालनों को निष्पादित या लागू किया जाता है, अमूर्त एल्गोरिदम का वर्णन करते समय अक्सर उपयोग की जाने वाली अनिवार्य शैली के समान। (अधिक विवरण के लिए [[डोनाल्ड नुथ]] द्वारा [[कंप्यूटर प्रोग्रामिंग की कला]] देखें)।
+[[अनिवार्य प्रोग्रामिंग]] भाषाओं के सिद्धांत में अमूर्त डेटा संरचना को इकाई के रूप में माना जाता है। जो कि परिवर्तनशील है। जिसका अर्थ है कि यह अलग-अलग समय पर अलग-अलग स्थितियों में हो सकता है। कुछ ऑपरेशन एडीटी की स्थिति को बदल सकते हैं। इसलिए जिस क्रम में संचालन का मूल्यांकन किया जाता है। वह महत्वपूर्ण है और अलग-अलग समय पर निष्पादित होने पर समान संस्थाओं पर समान संचालन के अलग-अलग प्रभाव हो सकते हैं। यह कंप्यूटर के निर्देशों या अनिवार्य भाषा के आदेशों और प्रक्रियाओं के अनुरूप है। इस दृष्टिकोण को रेखांकित करने के लिए यह कहना प्रथागत है कि मूल्यांकन के अतिरिक्त परिचालनों को निष्पादित या संचालित किया जाता है। अमूर्त एल्गोरिदम का वर्णन करते समय प्रायः उपयोग की जाने वाली अनिवार्य शैली के समान ही है। (अधिक विवरण के लिए [[डोनाल्ड नुथ]] द्वारा [[कंप्यूटर प्रोग्रामिंग की कला]] देखें)।
-==== सार चर ====
+==== अमूर्त चर ====
-एडीटी की अनिवार्य-शैली की परिभाषाएं अक्सर अमूर्त चर की अवधारणा पर निर्भर करती हैं, जिसे सबसे सरल गैर-तुच्छ एडीटी माना जा सकता है। एक अमूर्त चर V एक परिवर्तनशील इकाई है जो दो संक्रियाओं को स्वीकार करता है:
+एडीटी की अनिवार्य-शैली की परिभाषाएं प्रायः अमूर्त चर की अवधारणा पर निर्भर करती हैं। जिसे सबसे सरल गैर-तुच्छ एडीटी माना जा सकता है। एक अमूर्त चर V एक परिवर्तनशील इकाई है। जो दो संक्रियाओं को स्वीकार करता है:
 * <kbd>store</kbd>(V, x) जहाँ x अनिर्दिष्ट प्रकृति का मान है;
 * <kbd>fetch</kbd>(V), जो एक मान देता है,
-उस विवशता के साथ
+उस जानकारी के साथ
-* <kbd>fetch</kbd>(V) हमेशा उसी वेरिएबल V पर नवीनतम <kbd>store</kbd>(V, x) ऑपरेशन में उपयोग किए गए मान x को लौटाता है।
+* <kbd>fetch</kbd>(V) सदैव उसी वेरिएबल V पर नवीनतम <kbd>store</kbd>(V, x) ऑपरेशन में उपयोग किए गए मान x को वापस करता है।
-भंडारण से पहले लाने की अनुमति नहीं दी जा सकती है, एक निश्चित परिणाम के लिए परिभाषित किया गया है, या (कम वांछनीय रूप से), व्यवहार को अनिर्दिष्ट छोड़ दें।
+भंडारण से पहले लाने की अनुमति नहीं दी जा सकती है। एक निश्चित परिणाम के लिए परिभाषित किया गया है या (कम वांछनीय रूप से) व्यवहार को अनिर्दिष्ट छोड़ दें।
-कई प्रोग्रामिंग भाषाओं की तरह, ऑपरेशन <kbd>store</kbd>(V, x) को अक्सर V ← x (या कुछ समान अंकन) लिखा जाता है, और <kbd>fetch</kbd>(V) निहित होता है जब कोई चर V का उपयोग उस संदर्भ में किया जाता है जहाँ एक मान की आवश्यकता होती है। इस प्रकार, उदाहरण के लिए, V ← V + 1 को आमतौर पर <kbd>store</kbd>(V,<kbd>fetch</kbd>(V) + 1) के लिए शॉर्टहैंड समझा जाता है।
+कई प्रोग्रामिंग भाषाओं की प्रकार ऑपरेशन <kbd>store</kbd>(V, x) को प्रायः V ← x (या कुछ समान अंकन) लिखा जाता है और <kbd>fetch</kbd>(V) निहित होता है। जब कोई चर V का उपयोग उस संदर्भ में किया जाता है। जहाँ मान की आवश्यकता होती है। इस प्रकार उदाहरण के लिए V ← V + 1 को सामान्यतः <kbd>store</kbd>(V,<kbd>fetch</kbd>(V) + 1) के लिए शॉर्टहैंड समझा जाता है।
-इस परिभाषा में, यह स्पष्ट रूप से माना जाता है कि नाम हमेशा अलग होते हैं: एक चर U में मान संग्रहीत करने से एक अलग चर V की स्थिति पर कोई प्रभाव नहीं पड़ता है। इस धारणा को स्पष्ट करने के लिए, कोई बाधा जोड़ सकता है जो
+इस परिभाषा में यह स्पष्ट रूप से माना जाता है कि नाम सदैव अलग होते हैं: एक चर U में मान संग्रहीत करने से एक अलग चर V की स्थिति पर कोई प्रभाव नहीं पड़ता है। इस धारणा को स्पष्ट करने के लिए कोई बाधा जोड़ सकता है। जो
-* यदि U और V भिन्न चर हैं, तो अनुक्रम {<kbd>store</kbd>(U, x); <kbd>store</kbd>(V, y) } { <kbd>store</kbd>(V, y) के बराबर है; <kbd>स्टोर</kbd>(यू, एक्स)}।
+* यदि U और V भिन्न चर हैं। तो अनुक्रम {<kbd>store</kbd>(U, x); <kbd>store</kbd>(V, y) } { <kbd>store</kbd>(V, y) <kbd>स्टोर</kbd>(यू, एक्स)} के बराबर है।
-आम तौर पर, ADT परिभाषाएँ अक्सर मानती हैं कि कोई भी ऑपरेशन जो एक ADT उदाहरण की स्थिति को बदलता है, उसी ADT के किसी अन्य उदाहरण की स्थिति पर कोई प्रभाव नहीं पड़ता है, जब तक कि ADT स्वयंसिद्ध कुछ उदाहरणों को कनेक्टेड के रूप में परिभाषित नहीं करता है ([[अलियासिंग (कंप्यूटिंग)]] देखें) एक विशिष्ट तरीका। सबसे आम ऐसे कनेक्शनों में शामिल हैं:
+सामान्यतः एडीटी परिभाषाएँ प्रायः मानती हैं कि कोई भी ऑपरेशन, जो एक एडीटी उदाहरण की स्थिति को बदलता है, उसी एडीटी के किसी अन्य उदाहरण की स्थिति पर कोई प्रभाव नहीं पड़ता है। जब तक कि एडीटी स्वयंसिद्ध कुछ उदाहरणों को कनेक्टेड के रूप में परिभाषित नहीं करता है ([[अलियासिंग (कंप्यूटिंग)]] देखें)। विशिष्ट उपाय सबसे सामान्य ऐसे कनेक्शनों में सम्मिलित हैं:
-* अलियासिंग, जिसमें दो या दो से अधिक नाम सटीक एक ही डेटा ऑब्जेक्ट को संदर्भित करते हैं।
+* अलियासिंग, जिसमें दो या दो से अधिक नाम एक ही डेटा ऑब्जेक्ट को स्पष्ट रूप से संदर्भित करते हैं।
-* रचना, जिसमें ADT को (समान या अन्य) ADTs के उदाहरण शामिल करने के लिए परिभाषित किया गया है।
+* रचना, जिसमें एडीटी को (समान या अन्य) एडीटी के उदाहरण सम्मिलित करने के लिए परिभाषित किया गया है।
 * संदर्भ, जिसमें एडीटी को (समान या अन्य) एडीटी के उदाहरण के संदर्भ में परिभाषित किया गया है।
-उदाहरण के लिए, सार [[रिकॉर्ड (कंप्यूटर विज्ञान)]] को शामिल करने के लिए एक अमूर्त चर की परिभाषा का विस्तार करते समय, एक रिकॉर्ड चर आर के क्षेत्र एफ पर संचालन, स्पष्ट रूप से एफ को शामिल करता है, जो आर से अलग है, लेकिन इसका एक हिस्सा भी है।
+उदाहरण के लिए अमूर्त [[रिकॉर्ड (कंप्यूटर विज्ञान)]] को सम्मिलित करने के लिए अमूर्त चर की परिभाषा का विस्तार करते समय रिकॉर्ड चर आर के क्षेत्र एफ पर संचालन, स्पष्ट रूप से एफ को सम्मिलित करता है। जो आर से अलग है। किन्तु इसका एक भाग भी है।
-एडीटी की परिभाषा अपने उदाहरणों के लिए संग्रहीत मूल्य (एस) को एक विशिष्ट सेट एक्स के सदस्यों तक सीमित कर सकती है, जिसे उन चरों की श्रेणी कहा जाता है। उदाहरण के लिए, एक ढेर या कतार जैसे समुच्चय के लिए एक ADT, कतार में सभी वस्तुओं को पूर्णांक होने के लिए बाध्य कर सकता है, या कम से कम सभी को एक ही प्रकार का हो सकता है (देखें Homogeneity_and_heterogeneity_(statistics))। प्रोग्रामिंग भाषाओं की तरह, ऐसे प्रतिबंध एल्गोरिदम के विवरण और विश्लेषण को सरल बना सकते हैं और इसकी पठनीयता में सुधार कर सकते हैं।
+एडीटी की परिभाषा अपने उदाहरणों के लिए संग्रहीत मूल्य (एस) को एक विशिष्ट समुच्चय एक्स के सदस्यों तक सीमित कर सकती है। जिसे उन चरों की श्रेणी कहा जाता है। उदाहरण के लिए एक समूह या पंक्ति जैसे समुच्चय के लिए एडीटी पंक्ति में सभी वस्तुओं को पूर्णांक होने के लिए बाध्य कर सकता है या कम से कम सभी एक ही प्रकार के हो सकते हैं। (देखें एकरूपता_और_विषमता_(आँकड़े))। प्रोग्रामिंग भाषाओं की प्रकार ऐसे प्रतिबंध एल्गोरिदम के विवरण और विश्लेषण को सरल बना सकते हैं और इसकी पठनीयता में सुधार कर सकते हैं।
-ध्यान दें कि यह परिभाषा <kbd>fetch</kbd>(V) के मूल्यांकन के परिणाम के बारे में कुछ भी नहीं बताती है जब V प्रारंभिक नहीं है, अर्थात, V पर कोई <kbd>store</kbd> ऑपरेशन करने से पहले। An एल्गोरिथम जो ऐसा करता है उसे अमान्य माना जा सकता है, या तो (ए) क्योंकि एडीटी इस तरह के ऑपरेशन को प्रतिबंधित करता है, या (बी) केवल इसलिए कि इसका प्रभाव एडीटी द्वारा परिभाषित नहीं किया गया है। हालांकि, कुछ महत्वपूर्ण एल्गोरिदम हैं जिनकी दक्षता दृढ़ता से इस धारणा पर निर्भर करती है कि ऐसा <kbd>fetch</kbd> कानूनी है, और वेरिएबल की सीमा में कुछ मनमाना मान देता है।{{Citation needed|date=May 2009}})
+ध्यान दें कि यह परिभाषा <kbd>fetch</kbd>(V) के मूल्यांकन के परिणाम के बारे में कुछ भी नहीं बताती है। जब V प्रारंभिक नहीं है अर्थात V पर कोई <kbd>store</kbd> ऑपरेशन करने से पहले An एल्गोरिथम, जो ऐसा करता है, उसे अमान्य माना जा सकता है या तो (ए) क्योंकि एडीटी इस प्रकार के ऑपरेशन को प्रतिबंधित करता है या (बी) केवल इसलिए कि इसका प्रभाव एडीटी द्वारा परिभाषित नहीं किया गया है। चूंकि कुछ महत्वपूर्ण एल्गोरिदम हैं। जिनकी दक्षता दृढ़ता से इस धारणा पर निर्भर करती है कि ऐसा <kbd>fetch</kbd> नियमानुअमूर्त है और वेरिएबल की सीमा में कुछ अनावश्यक मान देता है।
 ==== उदाहरण निर्माण ====
-कुछ एल्गोरिदम को कुछ ADT (जैसे नए चर, या नए ढेर) के नए उदाहरण बनाने की आवश्यकता होती है। इस तरह के एल्गोरिदम का वर्णन करने के लिए, आमतौर पर ADT परिभाषा में <kbd>create</kbd>() ऑपरेशन शामिल होता है जो ADT का एक उदाहरण देता है, आमतौर पर स्वयंसिद्धों के बराबर
+कुछ एल्गोरिदम को कुछ एडीटी (जैसे नए चर, या नए समूह) के नए उदाहरण बनाने की आवश्यकता होती है। इस प्रकार के एल्गोरिदम का वर्णन करने के लिए सामान्यतः एडीटी परिभाषा में <kbd>create</kbd>() ऑपरेशन सम्मिलित होता है। जो एडीटी का सामान्यतः स्वयंसिद्धों के बराबर उदाहरण देता है।
 * <kbd>create</kbd>() का परिणाम एल्गोरिथम द्वारा पहले से उपयोग किए जा रहे किसी भी उदाहरण से अलग है।
-अन्य उदाहरणों के साथ आंशिक अलियासिंग को भी बाहर करने के लिए इस स्वयंसिद्ध को मजबूत किया जा सकता है{{clarification needed|date=January 2022}}. व्यावहारिक उपयोग के लिए, जैसे स्वयंसिद्ध अभी भी <kbd>create</kbd>() के कार्यान्वयन की अनुमति दे सकता है जो पहले से बनाए गए उदाहरण को प्राप्त करने के लिए प्रोग्राम के लिए दुर्गम हो गया है; हालाँकि, परिभाषित करना कि ऐसा उदाहरण भी समान है, विशेष रूप से अमूर्त में (हालांकि स्मृति का एक पुन: उपयोग किया गया ब्लॉक भी कुछ इंद्रियों में केवल एक ही वस्तु है)।
+अन्य उदाहरणों के साथ आंशिक अलियासिंग को भी बाप्रत्येक करने के लिए इस स्वयंसिद्ध को शक्तिशाली किया जा सकता है। व्यावहारिक उपयोग के लिए, जैसे स्वयंसिद्ध अभी भी <kbd>create</kbd>() के कार्यान्वयन की अनुमति दे सकता है, जो पहले से बनाए गए उदाहरण को प्राप्त करने के लिए प्रोग्राम के लिए दुर्गम हो गया है। चूंकि परिभाषित करना कि ऐसा उदाहरण भी समान है। विशेष रूप से अमूर्त में (चूंकि स्मृति का एक पुन: उपयोग किया गया। ब्लॉक भी कुछ इंद्रियों में केवल एक ही वस्तु है।
-==== उदाहरण: सार ढेर (अनिवार्य) ====
+==== उदाहरण: अमूर्त समूह (अनिवार्य) ====
-एक अन्य उदाहरण के रूप में, अमूर्त स्टैक की अनिवार्य-शैली की परिभाषा निर्दिष्ट कर सकती है कि स्टैक S की स्थिति को केवल संचालन द्वारा संशोधित किया जा सकता है
+एक अन्य उदाहरण के रूप में अमूर्त स्टैक की अनिवार्य-शैली की परिभाषा निर्दिष्ट कर सकती है कि स्टैक S की स्थिति को केवल संचालन द्वारा संशोधित किया जा सकता है।
-* <kbd>push</kbd>(S, x), जहाँ x अनिर्दिष्ट प्रकृति का कुछ मान है;
+* <kbd>push</kbd>(S, x), जहाँ x अनिर्दिष्ट प्रकृति का कुछ मान है।
-* <kbd>पॉप</kbd>(S), जो परिणाम के रूप में एक मूल्य देता है,
+* <kbd>pop</kbd>(S), जो परिणाम के रूप में मूल्य देता है।
-उस विवशता के साथ
+उस जानकारी के साथ
-* किसी भी मान x और किसी अमूर्त चर V के लिए, संचालन का क्रम {<kbd>push</kbd>(S, x); वी ← <kbd>पॉप</kbd>(S) }, V ← x के बराबर है।
+* किसी भी मान x और किसी अमूर्त चर V के लिए संचालन का क्रम {<kbd>push</kbd>(S, x); ''V'' ← <kbd>pop</kbd>(S) }, V ← x के बराबर है।
-चूँकि असाइनमेंट V ← x, परिभाषा के अनुसार, S की स्थिति को नहीं बदल सकता है, इस स्थिति का तात्पर्य है कि V ← <kbd>pop</kbd>(S) S को उस स्थिति में पुनर्स्थापित करता है जो <kbd>push</kbd से पहले थी >(एस, एक्स)। इस स्थिति से और अमूर्त चर के गुणों से, यह इस प्रकार है, उदाहरण के लिए, अनुक्रम
+चूँकि असाइनमेंट V ← x, परिभाषा के अनुअमूर्त S की स्थिति को नहीं बदल सकता है। इस स्थिति का तात्पर्य है कि V ← <kbd>pop</kbd>(S) S को उस स्थिति में पुनर्स्थापित करता है। जो <kbd>push</kbd से पहले थी >(''S'', ''x'')। इस स्थिति से अमूर्त चर के गुणों से यह इस प्रकार है। उदाहरण के लिए अनुक्रम
-: { <kbd>पुश</kbd>(S, x); <kbd>पुश</kbd>(एस, वाई); यू ← <kbd>पॉप</kbd>(एस); <kbd>पुश</kbd>(S, z); वी ← <kbd>पॉप</kbd>(एस); डब्ल्यू ← <kbd>पॉप</kbd>(एस)}
+: { <kbd>push</kbd>(''S'', ''x''); <kbd>push</kbd>(''S'', ''y''); ''U'' ← <kbd>pop</kbd>(''S''); <kbd>push</kbd>(''S'', ''z''); ''V'' ← <kbd>pop</kbd>(''S''); ''W'' ← <kbd>pop</kbd>(''S'') }
 जहां x, y, और z कोई मान हैं, और U, V, W जोड़ीदार विशिष्ट चर हैं, के समतुल्य है
-: { यू ← वाई; वी ← जेड; डब्ल्यू ← एक्स}
+: { ''U'' ← ''y''; ''V'' ← ''z''; ''W'' ← ''x'' }
-यहाँ यह स्पष्ट रूप से माना जाता है कि स्टैक इंस्टेंस पर संचालन अन्य स्टैक सहित किसी अन्य ADT इंस्टेंस की स्थिति को संशोधित नहीं करता है; वह है,
+यहाँ यह स्पष्ट रूप से माना जाता है कि स्टैक इंस्टेंस पर संचालन अन्य स्टैक सहित किसी अन्य एडीटी इंस्टेंस की स्थिति को संशोधित नहीं करता है। वह है,
-* किसी भी मान x, y, और किसी भी विशिष्ट स्टैक S और T के लिए, अनुक्रम { <kbd>push</kbd>(S, x); <kbd>push</kbd>(T, y) } { <kbd>push</kbd>(T, y) के बराबर है; <kbd>पुश</kbd>(एस, एक्स)}।
+* किसी भी मान x, y और किसी भी विशिष्ट स्टैक S और T के लिए अनुक्रम { <kbd>push</kbd>(S, x); <kbd>push</kbd>(T, y) } { <kbd>push</kbd>(T, y) के बराबर है; <kbd>push</kbd>(''S'', ''x'')}।
-एक सार स्टैक परिभाषा में आमतौर पर एक [[बूलियन मान]]-मूल्यवान फ़ंक्शन <kbd>खाली</kbd>(S) और एक <kbd>बनाना</kbd>() ऑपरेशन शामिल होता है जो एक स्टैक उदाहरण लौटाता है, इसके समकक्ष स्वयंसिद्धों के साथ
+अमूर्त स्टैक परिभाषा में सामान्यतः [[बूलियन मान]]-मूल्यवान फलन <kbd>खाली</kbd>(S) और एक <kbd>बनाना</kbd>() ऑपरेशन सम्मिलित होता है। जो स्टैक उदाहरण वापस करता है। इसके समकक्ष स्वयंसिद्धों के साथ व्यवस्थित करता है।
-* <kbd>create</kbd>() ≠ S किसी भी पिछले स्टैक के लिए S (एक नया बनाया गया स्टैक पिछले सभी स्टैक से अलग है);
+* <kbd>create</kbd>() ≠ S किसी भी पिछले स्टैक के लिए S (एक नया बनाया गया स्टैक पिछले सभी स्टैक से अलग है)।
-* <kbd>खाली</kbd>(<kbd>बनाना</kbd>()) (नया बनाया गया ढेर खाली है);
+* <kbd>empty</kbd>(<kbd>create</kbd>() नया बनाया गया समूब खाली है।
-* <kbd>नहीं</kbd> <kbd>खाली</kbd>(<kbd>पुश</kbd>(S, x)) (किसी चीज़ को ढेर में धकेलने से वह गैर-रिक्त हो जाती है)।
+* <kbd>not</kbd> <kbd>empty</kbd>(<kbd>push</kbd>(''S'', ''x'') किसी चीज़ को समूब में धकेलने से वह गैर-रिक्त हो जाती है।
-====एक उदाहरण शैली ====
+====एकल-आवृत्ति शैली ====
-कभी-कभी एडीटी को परिभाषित किया जाता है जैसे कि एल्गोरिथम के निष्पादन के दौरान इसका केवल एक उदाहरण मौजूद था, और सभी ऑपरेशन उस उदाहरण पर लागू किए गए थे, जो स्पष्ट रूप से नोट नहीं किया गया है। उदाहरण के लिए, उपरोक्त अमूर्त स्टैक को ऑपरेशन <kbd>push</kbd>(x) और <kbd>pop</kbd>() के साथ परिभाषित किया जा सकता था, जो केवल मौजूदा स्टैक पर काम करता है। इस शैली में ADT परिभाषाओं को आसानी से ADT के कई सह-अस्तित्व वाले उदाहरणों को स्वीकार करने के लिए फिर से लिखा जा सकता है, एक स्पष्ट उदाहरण पैरामीटर (जैसे पिछले उदाहरण में S) को प्रत्येक ऑपरेशन में जोड़ा जाता है जो अंतर्निहित उदाहरण का उपयोग करता है या संशोधित करता है।
+कभी-कभी एडीटी को परिभाषित किया जाता है। जैसे कि एल्गोरिथम के निष्पादन के समय इसका केवल एक उदाहरण उपस्थित था और सभी ऑपरेशन उस उदाहरण पर संचालित किए गए थे। जो स्पष्ट रूप से नोट नहीं किया गया है। उदाहरण के लिए उपरोक्त अमूर्त स्टैक को ऑपरेशन <kbd>push</kbd>(x) और <kbd>pop</kbd>() के साथ परिभाषित किया जा सकता था। जो केवल उपस्थिता स्टैक पर काम करता है। इस शैली में एडीटी परिभाषाओं को सरलता से एडीटी के कई सह-अस्तित्व वाले उदाहरणों को स्वीकार करने के लिए पुनः लिखा जा सकता है। एक स्पष्ट उदाहरण पैरामीटर (जैसे पिछले उदाहरण में S) को प्रत्येक ऑपरेशन में जोड़ा जाता है। जो अंतर्निहित उदाहरण का उपयोग करता है या संशोधित करता है।
-दूसरी ओर, कुछ ADTs को कई उदाहरण ग्रहण किए बिना सार्थक रूप से परिभाषित नहीं किया जा सकता है। यह वह मामला है जब एक एकल ऑपरेशन एडीटी के पैरामीटर के रूप में दो अलग-अलग उदाहरण लेता है। एक उदाहरण के लिए, <kbd>तुलना</kbd>(S, T) ऑपरेशन के साथ अमूर्त स्टैक की परिभाषा को बढ़ाने पर विचार करें जो यह जाँचता है कि स्टैक S और T में समान क्रम में समान आइटम हैं या नहीं।
+दूसरी ओर कुछ एडीटी को कई उदाहरण ग्रहण किए बिना अमूर्त्थक रूप से परिभाषित नहीं किया जा सकता है। यह वह स्थिति है, जब एकल ऑपरेशन एडीटी के पैरामीटर के रूप में दो अलग-अलग उदाहरण लेता है। उदाहरण के लिए <kbd>तुलना</kbd> (S, T) ऑपरेशन के साथ अमूर्त स्टैक की परिभाषा को बढ़ाने पर विचार करें जो यह जाँचता है कि स्टैक S और T में समान क्रम में समान आइटम हैं या नहीं।
 === कार्यात्मक-शैली परिभाषा ===
-एडीटी को परिभाषित करने का एक और तरीका, [[कार्यात्मक प्रोग्रामिंग]] की भावना के करीब, संरचना के प्रत्येक राज्य को एक अलग इकाई के रूप में माना जाता है। इस दृष्टि से, एडीटी को संशोधित करने वाले किसी भी ऑपरेशन को एक फ़ंक्शन (गणित) के रूप में तैयार किया जाता है जो पुराने राज्य को तर्क के रूप में लेता है और परिणाम के हिस्से के रूप में नया राज्य देता है। अनिवार्य संचालन के विपरीत, इन कार्यों का कोई दुष्प्रभाव (कंप्यूटर विज्ञान) नहीं है। इसलिए, जिस क्रम में उनका मूल्यांकन किया जाता है वह सारहीन है, और समान तर्कों (समान इनपुट राज्यों सहित) पर लागू समान ऑपरेशन हमेशा समान परिणाम (और आउटपुट स्थिति) लौटाएगा।
+एडीटी को परिभाषित करने का एक और उपाय [[कार्यात्मक प्रोग्रामिंग]] की भावना के पास संरचना के प्रत्येक राज्य को अलग इकाई के रूप में माना जाता है। इस दृष्टि से एडीटी को संशोधित करने वाले किसी भी ऑपरेशन को एक फलन (गणित) के रूप में तैयार किया जाता है। जो पुरानी स्थिति को तर्क के रूप में लेता है और परिणाम के भाग के रूप में नया स्थिति देता है। अनिवार्य संचालन के विपरीत इन कार्यों का कोई दुष्प्रभाव (कंप्यूटर विज्ञान) नहीं है। इसलिए जिस क्रम में उनका मूल्यांकन किया जाता है। वह अमूर्तहीन है और समान तर्कों (समान इनपुट राज्यों सहित) पर संचालित समान ऑपरेशन सदैव समान परिणाम (और आउटपुट स्थिति) वापस करेगा।
-कार्यात्मक दृश्य में, विशेष रूप से, अनिवार्य चर के शब्दार्थ के साथ एक अमूर्त चर को परिभाषित करने का कोई तरीका (या आवश्यकता) नहीं है (अर्थात, <kbd>fetch</kbd> और <kbd>store</kbd> संचालन के साथ) . मानों को वेरिएबल्स में संग्रहीत करने के बजाय, उन्हें फ़ंक्शन के तर्क के रूप में पास किया जाता है।
+कार्यात्मक दृश्य में विशेष रूप से अनिवार्य चर के शब्दार्थ के साथ अमूर्त चर को परिभाषित करने का कोई उपाय (या आवश्यकता) नहीं है। (अर्थात, <kbd>fetch</kbd> और <kbd>store</kbd> संचालन के साथ) मानों को वेरिएबल्स में संग्रहीत करने के अतिरिक्त उन्हें फलन के तर्क के रूप में पास किया जाता है।
-==== उदाहरण: सार ढेर (कार्यात्मक) ====
+==== उदाहरण: अमूर्त समूह (कार्यात्मक) ====
-उदाहरण के लिए, एक अमूर्त ढेर की एक पूर्ण कार्यात्मक-शैली परिभाषा तीन परिचालनों का उपयोग कर सकती है:
+उदाहरण के लिए अमूर्त समूह की एक पूर्ण कार्यात्मक-शैली परिभाषा तीन परिचालनों का उपयोग कर सकती है:
-* <kbd>push</kbd>: एक स्टैक स्थिति और मनमाना मान लेता है, एक स्टैक स्थिति लौटाता है;
+* <kbd>push</kbd>: एक स्टैक स्थिति और मान लेता है। एक स्टैक स्थिति लौटाता है।
-* <kbd>शीर्ष</kbd>: एक ढेर स्थिति लेता है, एक मान देता है;
+* <kbd>top</kbd>: एक समूह स्थिति लेता है, एक मान देता है।
-* <kbd>पॉप</kbd>: स्टैक स्थिति लेता है, स्टैक स्थिति लौटाता है।
+* <kbd>pop</kbd>: स्टैक स्थिति लेता है, स्टैक स्थिति लौटाता है।
-कार्यात्मक-शैली की परिभाषा में <kbd>create</kbd> ऑपरेशन की कोई आवश्यकता नहीं है। दरअसल, स्टैक इंस्टेंस की कोई धारणा नहीं है। स्टैक स्टेट्स को सिंगल स्टैक स्ट्रक्चर के संभावित स्टेट्स के रूप में माना जा सकता है, और दो-स्टैक स्टेट्स जिनमें समान क्रम में समान मान होते हैं, को समान स्टेट्स माना जाता है। यह दृश्य वास्तव में कुछ ठोस कार्यान्वयनों के व्यवहार को प्रतिबिंबित करता है, जैसे कि [[हैश विपक्ष]] के साथ लिंक्ड सूचियाँ।
+कार्यात्मक-शैली की परिभाषा में <kbd>create</kbd> ऑपरेशन की कोई आवश्यकता नहीं है। स्टैक इंस्टेंस की कोई धारणा नहीं है। स्टैक स्टेट्स को सिंगल स्टैक स्ट्रक्चर के संभावित स्टेट्स के रूप में माना जा सकता है और दो-स्टैक स्टेट्स, जिनमें समान क्रम में समान मान होते हैं, को समान स्टेट्स माना जाता है। यह दृश्य वास्तव में कुछ ठोस कार्यान्वयनों के व्यवहार को प्रतिबिंबित करता है। जैसे कि [[हैश विपक्ष]] के साथ लिंक्ड सूचियाँ व्यवस्थित करते हैं।
-<kbd>create</kbd>() के बजाय, सार स्टैक की एक कार्यात्मक-शैली परिभाषा एक विशेष स्टैक स्थिति के अस्तित्व को मान सकती है, खाली स्टैक, जिसे Λ या () जैसे विशेष प्रतीक द्वारा निर्दिष्ट किया जाता है; या <kbd>bottom</kbd>() ऑपरेशन परिभाषित करें जो कोई तर्क नहीं लेता है और इस विशेष स्टैक स्थिति को लौटाता है। ध्यान दें कि स्वयंसिद्धों का अर्थ है
+<kbd>create</kbd>() के अतिरिक्त अमूर्त स्टैक की कार्यात्मक-शैली परिभाषा विशेष स्टैक स्थिति के अस्तित्व को मान सकती है। खाली स्टैक, जिसे Λ या () जैसे विशेष प्रतीक द्वारा निर्दिष्ट किया जाता है या <kbd>bottom</kbd>() ऑपरेशन परिभाषित करें। जो कोई तर्क नहीं लेता है और इस विशेष स्टैक स्थिति को लौटाता है। ध्यान दें कि स्वयंसिद्धों का अर्थ है।
-* <kbd>पुश</kbd>(Λ, x) ≠ Λ.
+* <kbd>push</kbd>(Λ, x) ≠ Λ.
-स्टैक की कार्यात्मक-शैली की परिभाषा में किसी को <kbd>खाली</kbd> विधेय की आवश्यकता नहीं होती है: इसके बजाय, कोई यह परीक्षण कर सकता है कि स्टैक खाली है या नहीं, यह परीक्षण करके कि क्या यह Λ के बराबर है।
+स्टैक की कार्यात्मक-शैली की परिभाषा में किसी को <kbd>खाली</kbd> विधेय की आवश्यकता नहीं होती है। इसके अतिरिक्त कोई यह परीक्षण कर सकता है कि स्टैक खाली है या नहीं। यह परीक्षण करके कि क्या यह Λ के बराबर है।
-ध्यान दें कि ये सिद्धांत <kbd>top</kbd>(s) या <kbd>pop</kbd>(s) के प्रभाव को परिभाषित नहीं करते हैं, जब तक कि s <kbd>push</kbd द्वारा लौटाई गई स्टैक स्थिति नहीं है >। चूँकि <kbd>push</kbd> स्टैक को गैर-खाली छोड़ देता है, वे दो ऑपरेशन अपरिभाषित हैं (इसलिए अमान्य) जब s = Λ। दूसरी ओर, स्वयंसिद्ध (और साइड इफेक्ट की कमी) का अर्थ है कि <kbd>push</kbd>(s, x) = <kbd>push</kbd>(t, y) यदि और केवल यदि x = वाई और एस = टी।
+ध्यान दें कि ये सिद्धांत <kbd>top</kbd>(s) या <kbd>pop</kbd>(s) के प्रभाव को परिभाषित नहीं करते हैं। जब तक कि s <kbd>push उपस्थित न हो</kbd द्वारा लौटाई गई स्टैक स्थिति नहीं है >। चूँकि <kbd>push</kbd> स्टैक को गैर-खाली छोड़ देता है। वे दो ऑपरेशन अपरिभाषित हैं। जब s = Λ। दूसरी ओर स्वयंसिद्ध (और साइड इफेक्ट की कमी) का अर्थ है कि <kbd>push</kbd>(s, x) = <kbd>push</kbd>(t, y) यदि और केवल यदि x = y और s = t।
-जैसा कि गणित की कुछ अन्य शाखाओं में होता है, यह मान लेना भी प्रथागत है कि स्टैक अवस्थाएँ केवल वे हैं जिनका अस्तित्व स्वयंसिद्धों से सीमित संख्या में चरणों में सिद्ध किया जा सकता है। उपरोक्त अमूर्त स्टैक उदाहरण में, इस नियम का अर्थ है कि प्रत्येक स्टैक मूल्यों का एक परिमित अनुक्रम है, जो <kbd>pop</kbd>s की सीमित संख्या के बाद खाली स्टैक (Λ) बन जाता है। अपने आप में, ऊपर दिए गए स्वयंसिद्ध अनंत स्टैक के अस्तित्व को बाहर नहीं करते हैं (जो हमेशा के लिए <kbd>पॉप</kbd>पेड हो सकते हैं, हर बार एक अलग स्थिति उत्पन्न करते हैं) या गोलाकार ढेर (जो एक परिमित संख्या के बाद उसी स्थिति में वापस आ जाते हैं) of <kbd>पॉप</kbd>s)। विशेष रूप से, वे ऐसे राज्यों को बाहर नहीं करते हैं जैसे <kbd>pop</kbd>(s) = s या <kbd>push</kbd>(s, x) = s कुछ x के लिए। हालांकि, चूंकि दिए गए कार्यों के साथ ऐसे ढेर राज्य प्राप्त नहीं किए जा सकते हैं, इसलिए उन्हें अस्तित्व में नहीं माना जाता है।
+जैसा कि गणित की कुछ अन्य शाखाओं में होता है। यह मान लेना भी प्रथागत है कि स्टैक अवस्थाएँ केवल वे हैं, जिनका अस्तित्व स्वयंसिद्धों से सीमित संख्या में चरणों में सिद्ध किया जा सकता है। उपरोक्त अमूर्त स्टैक उदाहरण में इस नियम का अर्थ है कि प्रत्येक स्टैक मूल्यों का एक परिमित अनुक्रम है। जो <kbd>pop</kbd>s की सीमित संख्या के बाद खाली स्टैक (Λ) बन जाता है। स्वयं में ऊपर दिए गए स्वयंसिद्ध अनंत स्टैक के अस्तित्व को प्रत्येक बार नहीं करते हैं (जो सदैव के लिए pop पेड हो सकते हैं, प्रत्येक बार एक अलग स्थिति उत्पन्न करते हैं) या गोलाकार समूह (जो एक परिमित संख्या के बाद उसी स्थिति में वापस आ जाते हैं) विशेष रूप से वे ऐसी स्थिति को उत्पन्न नहीं करते हैं। जैसे <kbd>pop</kbd>(s) = s या <kbd>push</kbd>(s, x) = s । चूंकि दिए गए कार्यों के साथ ऐसे समूह स्थिति प्राप्त नहीं किए जा सकते हैं। इसलिए उन्हें अस्तित्व में नहीं माना जाता है।
-=== जटिलता शामिल करना है या नहीं ===
+=== जटिलता सम्मिलित करना है या नहीं ===
-स्वयंसिद्धों के संदर्भ में व्यवहार के अलावा, एडीटी ऑपरेशन की परिभाषा में, उनके एल्गोरिदम का विश्लेषण भी शामिल करना संभव है। C++ [[मानक टेम्पलेट लाइब्रेरी]] के डिज़ाइनर [[अलेक्जेंडर स्टेपानोव]] ने तर्क देते हुए STL विनिर्देशन में जटिलता की गारंटी शामिल की:
+स्वयंसिद्धों के संदर्भ में व्यवहार के अतिरिक्त एडीटी ऑपरेशन की परिभाषा में उनके एल्गोरिदम का विश्लेषण भी सम्मिलित करना संभव है। सी++ [[मानक टेम्पलेट लाइब्रेरी]] के प्रारूपर [[अलेक्जेंडर स्टेपानोव]] ने तर्क देते हुए एसटीएल विनिर्देशन में जटिलता की गारंटी सम्मिलित की:
-{{quote|The reason for introducing the notion of abstract data types was to allow interchangeable software modules. You cannot have interchangeable modules unless these modules share similar complexity behavior. If I replace one module with another module with the same functional behavior but with different complexity tradeoffs, the user of this code will be unpleasantly surprised. I could tell him anything I like about data abstraction, and he still would not want to use the code. Complexity assertions have to be part of the interface.|Alexander Stepanov<ref>{{Cite journal |first=Al |last=Stevens |title=Al Stevens Interviews Alex Stepanov |date=March 1995 |journal=[[Dr. Dobb's Journal]] |url=http://www.sgi.com/tech/stl/drdobbs-interview.html |access-date=31 January 2015}}</ref>}}
+{{quote|सार डेटा प्रकारों की धारणा को प्रस्तुत करने का कारण विनिमेय सॉफ़्टवेयर मॉड्यूल की अनुमति देना था। आप विनिमेय मॉड्यूल नहीं रख सकते हैं। जब तक कि ये मॉड्यूल समान जटिलता व्यवहार साझा न करें। यदि मैं एक मॉड्यूल को दूसरे मॉड्यूल के साथ समान कार्यात्मक व्यवहार के साथ बदलता हूं। किन्तु विभिन्न जटिलता ट्रेडऑफ़ के साथ इस कोड के उपयोगकर्ता अप्रिय रूप से आश्चर्यचकित होंगे। मैं उसे डेटा अमूर्तता के बारे में कुछ भी बता सकता था और वह अभी भी कोड का उपयोग नहीं करना चाहेगा। जटिलता अभिकथन इंटरफ़ेस का भाग होना चाहिए।|अलेक्जेंडर स्टेपानोव<ref>{{Cite journal |first=Al |last=Stevens |title=Al Stevens Interviews Alex Stepanov |date=March 1995 |journal=[[Dr. Dobb's Journal]] |url=http://www.sgi.com/tech/stl/drdobbs-interview.html |access-date=31 January 2015}}</ref>}}
 == अमूर्त डेटा टाइपिंग के लाभ ==
-{{More citations needed section|date=May 2011}}
 === एनकैप्सुलेशन ===
-अमूर्तता (कंप्यूटर विज्ञान) एक वादा प्रदान करता है कि एडीटी के किसी भी कार्यान्वयन में कुछ गुण और क्षमताएं हैं; एडीटी ऑब्जेक्ट का उपयोग करने के लिए यह जानना आवश्यक है। यह प्रोग्रामिंग भाषा में डेटा प्रकार के साथ प्रयोग करने के लिए तैयार है
+अमूर्तता (कंप्यूटर विज्ञान) प्रतिज्ञा प्रदान करता है कि एडीटी के किसी भी कार्यान्वयन में कुछ गुण और क्षमताएं हैं। एडीटी ऑब्जेक्ट का उपयोग करने के लिए यह जानना आवश्यक है। यह प्रोग्रामिंग भाषा में डेटा प्रकार के साथ परिधीय और गैर परिधीय डेटा प्रकार प्रयोग करने के लिए तैयार है।
-परिधीय और गैर परिधीय डेटा प्रकार।
 === परिवर्तन का स्थानीयकरण ===
-एडीटी ऑब्जेक्ट का उपयोग करने वाले कोड को एडीटी के कार्यान्वयन को बदलने पर संपादित करने की आवश्यकता नहीं होगी। चूंकि कार्यान्वयन में कोई भी परिवर्तन अभी भी इंटरफ़ेस का अनुपालन करना चाहिए, और चूंकि ADT ऑब्जेक्ट का उपयोग करने वाला कोड केवल इंटरफ़ेस में निर्दिष्ट गुणों और क्षमताओं को संदर्भित कर सकता है, कोड में किसी भी बदलाव की आवश्यकता के बिना कार्यान्वयन में परिवर्तन किए जा सकते हैं जहां ADT का उपयोग किया जाता है .
+एडीटी ऑब्जेक्ट का उपयोग करने वाले कोड को एडीटी के कार्यान्वयन को बदलने पर संपादित करने की आवश्यकता नहीं होगी। चूंकि कार्यान्वयन में कोई भी परिवर्तन अभी भी इंटरफ़ेस का अनुपालन करना चाहिए और चूंकि एडीटी ऑब्जेक्ट का उपयोग करने वाला कोड केवल इंटरफ़ेस में निर्दिष्ट गुणों और क्षमताओं को संदर्भित कर सकता है। कोड में किसी भी बदलाव की आवश्यकता के बिना कार्यान्वयन में परिवर्तन किए जा सकते हैं। जहां एडीटी का उपयोग किया जाता है। .
 === लचीलापन ===
-एडीटी के विभिन्न कार्यान्वयन, सभी समान गुणों और क्षमताओं वाले, समतुल्य हैं और एडीटी का उपयोग करने वाले कोड में कुछ हद तक एकांतर रूप से उपयोग किया जा सकता है। विभिन्न परिस्थितियों में एडीटी वस्तुओं का उपयोग करते समय यह बहुत अधिक लचीलापन देता है। उदाहरण के लिए, अलग-अलग परिस्थितियों में एडीटी के विभिन्न कार्यान्वयन अधिक कुशल हो सकते हैं; प्रत्येक का उस स्थिति में उपयोग करना संभव है जहां वे बेहतर हैं, इस प्रकार समग्र दक्षता में वृद्धि होती है।
+एडीटी के विभिन्न कार्यान्वयन सभी समान गुणों और क्षमताओं वाले समतुल्य हैं और एडीटी का उपयोग करने वाले कोड में कुछ समय तक एकांतर रूप से उपयोग किया जा सकता है। विभिन्न परिस्थितियों में एडीटी वस्तुओं का उपयोग करते समय यह बहुत अधिक लचीलापन देता है। उदा प्रत्येक कण के लिए अलग-अलग परिस्थितियों में एडीटी के विभिन्न कार्यान्वयन अधिक कुशल हो सकते हैं। प्रत्येक का उस स्थिति में उपयोग करना संभव है, जहां वे अच्छे हैं और इस प्रकार समग्र दक्षता में वृद्धि होती है।
 == विशिष्ट संचालन ==
-कुछ ऑपरेशन जो अक्सर ADTs (संभवतः अन्य नामों के तहत) के लिए निर्दिष्ट होते हैं
+कुछ ऑपरेशन जो प्रायः एडीटीs (संभवतः अन्य नामों के अनुअमूर्त) के लिए निर्दिष्ट होते हैं
-* <kbd>तुलना करें</kbd>(s, t), जो परीक्षण करता है कि क्या दो दृष्टान्तों की अवस्थाएँ किसी अर्थ में समान हैं;
+* <kbd>compare</kbd>(''s'', ''t''), जो परीक्षण करता है कि क्या दो दृष्टान्तों की अवस्थाएँ किसी अर्थ में समान हैं।
-* <kbd>हैश</kbd>(s), जो उदाहरण की स्थिति से कुछ मानक [[हैश फंकशन]] की गणना करता है;
+* <kbd>hash</kbd>(''s''), जो उदाहरण की स्थिति से कुछ मानक [[हैश फंकशन]] की गणना करता है;
-* <kbd>प्रिंट</kbd>(s) या <kbd>शो</kbd>(s), जो उदाहरण की स्थिति का मानव-पठनीय प्रतिनिधित्व उत्पन्न करता है।
+* <kbd>print</kbd>(''s'')या show(s), जो उदाहरण की स्थिति का मानव-पठनीय प्रतिनिधित्व उत्पन्न करता है।
-अनिवार्य-शैली एडीटी परिभाषाओं में, अक्सर यह भी पाया जाता है
+अनिवार्य-शैली एडीटी परिभाषाओं में प्रायः यह भी पाया जाता है।
-* <kbd>create</kbd>(), जो ADT का एक नया उदाहरण देता है;
+* <kbd>create</kbd>(), जो एडीटी का एक नया उदाहरण देता है।
-* <kbd>प्रारंभिक</kbd>(s), जो आगे के संचालन के लिए एक नया बनाया गया उदाहरण तैयार करता है, या इसे कुछ प्रारंभिक अवस्था में रीसेट करता है;
+* <kbd>initializes</kbd>(s), जो आगे के संचालन के लिए एक नया बनाया गया उदाहरण तैयार करता है या इसे कुछ प्रारंभिक अवस्था में समुच्चय करता है।
-* <kbd>प्रतिलिपि</kbd>(s, t), जो उदाहरण s को t के समतुल्य स्थिति में रखती है;
+* copy(s, t), जो उदाहरण s को t के समतुल्य स्थिति में रखती है।
-* <kbd>क्लोन</kbd>(t), जो s ← <kbd>create</kbd>(), <kbd>कॉपी</kbd>(s, t) करता है, और s लौटाता है;
+* clone(t), जो s ← <kbd>create</kbd>(), <kbd>copy</kbd>(s, t) करता है और s लौटाता है।
-* <kbd>मुफ़्त</kbd>(s) या <kbd>नष्ट</kbd>(s), जो s द्वारा उपयोग की गई मेमोरी और अन्य संसाधनों को पुनः प्राप्त करता है।
+* free(s) या destroy(s), जो s द्वारा उपयोग की गई मेमोरी और अन्य संसाधनों को पुनः प्राप्त करता है।
-<kbd>मुफ्त</kbd> ऑपरेशन सामान्य रूप से प्रासंगिक या सार्थक नहीं है, क्योंकि ADTs सैद्धांतिक संस्थाएं हैं जो मेमोरी का उपयोग नहीं करती हैं। हालाँकि, यह आवश्यक हो सकता है जब किसी को ADT का उपयोग करने वाले एल्गोरिथम द्वारा उपयोग किए गए संग्रहण का विश्लेषण करने की आवश्यकता हो। उस स्थिति में, किसी को अतिरिक्त सिद्धांतों की आवश्यकता होती है जो निर्दिष्ट करती है कि प्रत्येक एडीटी इंस्टेंस अपने राज्य के कार्य के रूप में कितनी मेमोरी का उपयोग करता है, और इसमें से कितना <kbd>मुफ्त</kbd> द्वारा पूल में लौटाया जाता है।
+<kbd>मुफ्त</kbd> ऑपरेशन सामान्य रूप से प्रासंगिक या अमूर्त्थक नहीं है क्योंकि एडीटी सैद्धांतिक संस्थाएं हैं। जो मेमोरी का उपयोग नहीं करती हैं। चूंकि यह आवश्यक हो सकता है। जब किसी को एडीटी का उपयोग करने वाले एल्गोरिथम द्वारा उपयोग किए गए संग्रहण का विश्लेषण करने की आवश्यकता हो। उस स्थिति में किसी को अतिरिक्त सिद्धांतों की आवश्यकता होती है। जो निर्दिष्ट करती है कि प्रत्येक एडीटी इंस्टेंस अपने स्थिति के कार्य के रूप में कितनी मेमोरी का उपयोग करता है और इसमें से कितना <kbd>मुफ्त</kbd> द्वारा पूल में वापस किया जाता है।
 == उदाहरण ==
-कुछ सामान्य ADT, जो विभिन्न प्रकार के अनुप्रयोगों में उपयोगी साबित हुए हैं, हैं
+कुछ सामान्य एडीटी, जो विभिन्न प्रकार के अनुप्रयोगों में उपयोगी सिद्ध हुए हैं, हैं
 {{div col|colwidth=20em}}
 * [[संग्रह (सार डेटा प्रकार)]]
@@ Line 152: / Line 147: @@
 * [[सेट (सार डेटा प्रकार)]]
 * [[मल्टीसेट]]
-* सहयोगी सरणी
+* सहयोगी सारणी
 * [[मल्टीमैप]]
 * ग्राफ (सार डेटा प्रकार)
 * ट्री (डेटा संरचना)
 * ढेर (सार डेटा प्रकार)
-* कतार (सार डेटा प्रकार)
+* पंक्ति (सार डेटा प्रकार)
-* [[प्राथमिकता कतार]]
+* [[प्राथमिकता पंक्ति]]
-* [[डबल-एंडेड कतार]]
+* [[डबल-एंडेड पंक्ति]]
-* [[डबल-एंडेड प्राथमिकता कतार]]
+* [[डबल-एंडेड प्राथमिकता पंक्ति]]
 {{div col end}}
-इन एडीटी में से प्रत्येक को कई तरीकों और रूपों में परिभाषित किया जा सकता है, जरूरी नहीं कि समकक्ष। उदाहरण के लिए, एक अमूर्त स्टैक में <kbd>गिनती</kbd> ऑपरेशन हो सकता है या नहीं भी हो सकता है जो बताता है कि कितने आइटम पुश किए गए हैं और अभी तक पॉप नहीं हुए हैं। यह विकल्प न केवल इसके ग्राहकों के लिए बल्कि कार्यान्वयन के लिए भी एक अंतर बनाता है।
+इन एडीटी में से प्रत्येक को कई तरीकों और रूपों में परिभाषित किया जा सकता है, जरूरी नहीं कि समकक्ष उदाहरण के लिए अमूर्त स्टैक में <kbd>गिनती</kbd> ऑपरेशन हो सकता है या नहीं भी हो सकता है। जो बताता है कि कितने आइटम push किए गए हैं और अभी तक pop नहीं हुए हैं। यह विकल्प न केवल इसके ग्राहकों के लिए बल्कि कार्यान्वयन के लिए भी एक अंतर बनाता है।
-; सार चित्रमय डेटा प्रकार
+; अमूर्त चित्रमय डेटा प्रकार
-में कंप्यूटर ग्राफिक्स के लिए ADT का विस्तार प्रस्तावित किया गया था:<ref>{{Cite conference | author= D. Thalmann, N. Magnenat Thalmann |title= Design and Implementation of Abstract Graphical Data Types |date=1979 |conference=IEEE|doi= 10.1109/CMPSAC.1979.762551 }}, Proc. 3rd International Computer Software and Applications Conference (COMPSAC'79), IEEE, Chicago, USA, pp.519-524</ref> एक [[सार चित्रमय डेटा प्रकार]] (AGDT)। इसे [[नादिया मैग्नेनेट थल्मन]] और [[डेनियल थाल्मन]] द्वारा पेश किया गया था। एजीडीटी एक संरचित तरीके से ग्राफिकल ऑब्जेक्ट्स बनाने की सुविधा के साथ एडीटी के लाभ प्रदान करते हैं।
+में कंप्यूटर ग्राफिक्स के लिए एडीटी का विस्तार प्रस्तावित किया गया था।<ref>{{Cite conference | author= D. Thalmann, N. Magnenat Thalmann |title= Design and Implementation of Abstract Graphical Data Types |date=1979 |conference=IEEE|doi= 10.1109/CMPSAC.1979.762551 }}, Proc. 3rd International Computer Software and Applications Conference (COMPSAC'79), IEEE, Chicago, USA, pp.519-524</ref> एक [[सार चित्रमय डेटा प्रकार|अमूर्त चित्रमय डेटा प्रकार]] (एजीडीटी) इसे [[नादिया मैग्नेनेट थल्मन]] और [[डेनियल थाल्मन]] द्वारा प्रस्तुत किया गया था। एजीडीटी एक संरचित प्रकार से ग्राफिकल ऑब्जेक्ट्स बनाने की सुविधा के साथ एडीटी के लाभ प्रदान करते हैं।
 == कार्यान्वयन ==
-{{further|Opaque data type}}
+{{further|अपारदर्शी डेटा प्रकार}}
-ADT को लागू करने का अर्थ है प्रत्येक अमूर्त ऑपरेशन के लिए एक [[सबरूटीन]] प्रदान करना। ADT उदाहरणों को कुछ ठोस डेटा संरचना द्वारा दर्शाया जाता है जो ADT के विनिर्देशों के अनुसार उन प्रक्रियाओं द्वारा हेरफेर किया जाता है।
+एडीटी को संचालित करने का अर्थ है प्रत्येक अमूर्त ऑपरेशन के लिए एक [[सबरूटीन]] प्रदान करना। एडीटी उदाहरणों को कुछ ठोस डेटा संरचना द्वारा दर्शाया जाता है। जो एडीटी के विनिर्देशों के अनुअमूर्त उन प्रक्रियाओं द्वारा हेरफेर किया जाता है।
-आम तौर पर, कई अलग-अलग ठोस डेटा संरचनाओं का उपयोग करके एक ही ADT को लागू करने के कई तरीके हैं। इस प्रकार, उदाहरण के लिए, एक अमूर्त ढेर को एक लिंक्ड सूची या एक ऐरे डेटा संरचना द्वारा कार्यान्वित किया जा सकता है।
+सामान्यतः कई अलग-अलग ठोस डेटा संरचनाओं का उपयोग करके एक ही एडीटी को संचालित करने के कई प्रकार हैं। इस प्रकार उदाहरण के लिए अमूर्त समूह को एक लिंक्ड सूची या एक ऐरे डेटा संरचना द्वारा कार्यान्वित किया जा सकता है।
-ग्राहकों को कार्यान्वयन पर निर्भर रहने से रोकने के लिए, ADT को अक्सर एक या अधिक [[मॉड्यूल (प्रोग्रामिंग)]] में एक अपारदर्शी डेटा प्रकार के रूप में पैक किया जाता है, जिसके इंटरफ़ेस में केवल संचालन के हस्ताक्षर (संख्या और प्रकार के पैरामीटर और परिणाम) होते हैं। मॉड्यूल के कार्यान्वयन - अर्थात्, प्रक्रियाओं के निकाय और उपयोग की जाने वाली ठोस डेटा संरचना - को तब मॉड्यूल के अधिकांश ग्राहकों से छिपाया जा सकता है। इससे ग्राहकों को प्रभावित किए बिना कार्यान्वयन को बदलना संभव हो जाता है। यदि कार्यान्वयन उजागर होता है, तो इसे एक पारदर्शी डेटा प्रकार के रूप में जाना जाता है।
+ग्राहकों को कार्यान्वयन पर निर्भर रहने से रोकने के लिए एडीटी को प्रायः एक या अधिक [[मॉड्यूल (प्रोग्रामिंग)]] में एक अपारदर्शी डेटा प्रकार के रूप में पैक किया जाता है। जिसके इंटरफ़ेस में केवल संचालन के हस्ताक्षर (संख्या और प्रकार के पैरामीटर और परिणाम) होते हैं। मॉड्यूल के कार्यान्वयन अर्थात् प्रक्रियाओं के निकाय और उपयोग की जाने वाली ठोस डेटा संरचना को तब मॉड्यूल के अधिकांश ग्राहकों से छिपाया जा सकता है। इससे ग्राहकों को प्रभावित किए बिना कार्यान्वयन को बदलना संभव हो जाता है। यदि कार्यान्वयन उजागर होता है। तो इसे एक पारदर्शी डेटा प्रकार के रूप में जाना जाता है।
-एडीटी लागू करते समय, प्रत्येक उदाहरण (अनिवार्य-शैली परिभाषाओं में) या प्रत्येक राज्य (कार्यात्मक-शैली परिभाषाओं में) आमतौर पर किसी प्रकार के [[हैंडल (कंप्यूटिंग)]] द्वारा दर्शाया जाता है।<ref>{{cite book | author=Robert Sedgewick | title=Algorithms in C | publisher=Addison/Wesley | year=1998 | isbn=978-0-201-31452-6 | url-access=registration | url=https://archive.org/details/algorithmsinc00sedg }}, definition 4.4.</ref>
+एडीटी संचालित करते समय प्रत्येक उदाहरण (अनिवार्य-शैली परिभाषाओं में) या प्रत्येक राज्य (कार्यात्मक-शैली परिभाषाओं में) सामान्यतः किसी प्रकार के [[हैंडल (कंप्यूटिंग)]] द्वारा दर्शाया जाता है।<ref>{{cite book | author=Robert Sedgewick | title=Algorithms in C | publisher=Addison/Wesley | year=1998 | isbn=978-0-201-31452-6 | url-access=registration | url=https://archive.org/details/algorithmsinc00sedg }}, definition 4.4.</ref> आधुनिक वस्तु-उन्मुख भाषाएँ जैसे [[C++|सी++]] और जावा प्रोग्रामिंग भाषा अमूर्त डेटा प्रकारों के एक रूप का समर्थन करती हैं। जब एक वर्ग का उपयोग एक प्रकार के रूप में किया जाता है। तो यह एक अमूर्त प्रकार होता है, जो एक छिपे हुए प्रतिनिधित्व को संदर्भित करता है। इस मॉडल में एडीटी को सामान्यतः एक वर्ग (कंप्यूटर विज्ञान) के रूप में संचालित किया जाता है और एडीटी का प्रत्येक उदाहरण सामान्यतः उस वर्ग का एक ऑब्जेक्ट (कंप्यूटर विज्ञान) होता है। मॉड्यूल का इंटरफ़ेस सामान्यतः निर्माणकर्ताओं को सामान्य प्रक्रियाओं के रूप में घोषित करता है और अधिकांश अन्य एडीटी संचालन उस वर्ग के तरीके (कंप्यूटर प्रोग्रामिंग) के रूप में होते हैं। चूंकि ऐसा दृष्टिकोण एडीटी में पाए जाने वाले कई प्रतिनिधित्वात्मक वेरिएंट को सरलता से एनकैप्सुलेट नहीं करता है। यह वस्तु-उन्मुख कार्यक्रमों की व्यापकता को भी कम कर सकता है। एक शुद्ध वस्तु-उन्मुख कार्यक्रम में जो इंटरफेस को प्रकार के रूप में उपयोग करता है, प्रकार व्यवहार को संदर्भित करता है, परन्तु प्रतिनिधित्व नहीं करता है।
-आधुनिक वस्तु-उन्मुख भाषाएँ, जैसे [[C++]] और Java प्रोग्रामिंग भाषा, सार डेटा प्रकारों के एक रूप का समर्थन करती हैं। जब एक वर्ग का उपयोग एक प्रकार के रूप में किया जाता है, तो यह एक सार प्रकार होता है जो एक छिपे हुए प्रतिनिधित्व को संदर्भित करता है। इस मॉडल में, ADT को आमतौर पर एक वर्ग (कंप्यूटर विज्ञान) के रूप में लागू किया जाता है, और ADT का प्रत्येक उदाहरण आमतौर पर उस वर्ग का एक ऑब्जेक्ट (कंप्यूटर विज्ञान) होता है। मॉड्यूल का इंटरफ़ेस आमतौर पर निर्माणकर्ताओं को सामान्य प्रक्रियाओं के रूप में घोषित करता है, और अधिकांश अन्य ADT संचालन उस वर्ग के तरीके (कंप्यूटर प्रोग्रामिंग) के रूप में होते हैं। हालाँकि, ऐसा दृष्टिकोण ADT में पाए जाने वाले कई प्रतिनिधित्वात्मक वेरिएंट को आसानी से एनकैप्सुलेट नहीं करता है। यह वस्तु-उन्मुख कार्यक्रमों की व्यापकता को भी कम कर सकता है। एक शुद्ध वस्तु-उन्मुख कार्यक्रम में जो इंटरफेस को प्रकार के रूप में उपयोग करता है, प्रकार व्यवहार को संदर्भित करता है, प्रतिनिधित्व नहीं।
-=== उदाहरण: अमूर्त ढेर === का कार्यान्वयन
+उदाहरण: अमूर्त समूह का कार्यान्वयन एक उदाहरण के रूप में यहाँ सी (प्रोग्रामिंग लैंग्वेज) में उपरोक्त अमूर्त स्टैक का कार्यान्वयन है।
-एक उदाहरण के रूप में, यहाँ C (प्रोग्रामिंग लैंग्वेज) में उपरोक्त अमूर्त स्टैक का कार्यान्वयन है।
 ==== इम्पीरेटिव-स्टाइल इंटरफ़ेस ====
-एक अनिवार्य-शैली इंटरफ़ेस हो सकता है:
+अनिवार्य-शैली इंटरफ़ेस हो सकता है:
-<वाक्यविन्यास लैंग = सीपीपी>
-टाइपपीफ स्ट्रक्चर स्टैक_रेप स्टैक_रेप; // प्रकार: ढेर उदाहरण प्रतिनिधित्व (अपारदर्शी रिकॉर्ड)
-टाइपपीफ स्टैक_रेप * स्टैक_टी; // टाइप करें: स्टैक इंस्टेंस (अपारदर्शी सूचक) को हैंडल करें
-टाइपपीफ शून्य * स्टैक_आइटम; // प्रकार: स्टैक उदाहरण में संग्रहीत मूल्य (मनमाना पता)
-स्टैक_टी स्टैक_क्रिएट (शून्य); // एक नया खाली स्टैक उदाहरण बनाता है
+<syntaxhighlight lang="cpp">
-शून्य स्टैक_पुश (स्टैक_टी एस, स्टैक_आइटम एक्स); // स्टैक के शीर्ष पर एक आइटम जोड़ता है
+typedef struct stack_Rep stack_Rep;       // type: stack instance representation (opaque record)
-स्टैक_आइटम स्टैक_पॉप (स्टैक_टी एस); // शीर्ष आइटम को स्टैक से हटा दें और इसे वापस कर दें
+typedef stack_Rep* stack_T;               // type: handle to a stack instance (opaque pointer)
-बूल स्टैक_एम्प्टी (स्टैक_टी एस); // जाँचता है कि क्या स्टैक खाली है
+typedef void* stack_Item;                 // type: value stored in stack instance (arbitrary address)
-</वाक्यविन्यास हाइलाइट>
+stack_T stack_create(void);               // creates a new empty stack instance
+void stack_push(stack_T s, stack_Item x); // adds an item at the top of the stack
+stack_Item stack_pop(stack_T s);          // removes the top item from the stack and returns it
+bool stack_empty(stack_T s);              // checks whether stack is empty
+</syntaxhighlight>
 इस इंटरफ़ेस का उपयोग निम्नलिखित तरीके से किया जा सकता है:
-<वाक्यविन्यास लैंग = सीपीपी>
+<syntaxhighlight lang="cpp">
-#शामिल <stack.h> // में स्टैक इंटरफ़ेस शामिल है
+#include <stack.h>          // includes the stack interface
+stack_T s = stack_create(); // creates a new empty stack instance
+int x = 17;
+stack_push(s, &x);          // adds the address of x at the top of the stack
+void* y = stack_pop(s);     // removes the address of x from the stack and returns it
+if (stack_empty(s)) { }     // does something if stack is empty
+</syntaxhighlight>
+इस इंटरफ़ेस को कई प्रकार से संचालित किया जा सकता है। कार्यान्वयन मनमाने ढंग से अक्षम हो सकता है क्योंकि उपरोक्त एडीटी की औपचारिक परिभाषा निर्दिष्ट नहीं करती है कि समूह कितनी स्थान का उपयोग कर सकता है, न ही प्रत्येक ऑपरेशन में कितना समय लगना चाहिए। यह यह भी निर्दिष्ट नहीं करता है कि कॉल x ← <kbd>pop</kbd>(s) के बाद स्टैक स्थिति उपस्थित रहती है या नहीं।
+व्यवहार में औपचारिक परिभाषा में यह निर्दिष्ट होना चाहिए कि स्थान धकेले गए आइटमों की संख्या के समानुपाती है और अभी तक pop नहीं हुआ है और ऊपर दिए गए प्रत्येक ऑपरेशन को उस संख्या से स्वतंत्र रूप से निरंतर समय में पूरा करना चाहिए। इन अतिरिक्त विशिष्टताओं का अनुपालन करने के लिए कार्यान्वयन दो पूर्णांकों (एक आइटम संख्या और सरणी आकार) के साथ एक लिंक की गई सूची या अमूर्तणी (गतिशील आकार बदलने के साथ) का उपयोग कर सकता है।
-स्टैक_टी एस = स्टैक_क्रिएट (); // एक नया खाली स्टैक उदाहरण बनाता है
-इंट एक्स = 17;
-स्टैक_पुश (एस, और एक्स); // स्टैक के शीर्ष पर x का पता जोड़ता है
-शून्य * वाई = स्टैक_पॉप (एस); // स्टैक से x का पता हटाता है और इसे वापस करता है
-if (stack_empty(s)) { } // स्टैक खाली होने पर कुछ करता है
-</वाक्यविन्यास हाइलाइट>
-इस इंटरफ़ेस को कई तरह से लागू किया जा सकता है। कार्यान्वयन मनमाने ढंग से अक्षम हो सकता है, क्योंकि उपरोक्त एडीटी की औपचारिक परिभाषा निर्दिष्ट नहीं करती है कि ढेर कितनी जगह का उपयोग कर सकता है, न ही प्रत्येक ऑपरेशन में कितना समय लगना चाहिए। यह यह भी निर्दिष्ट नहीं करता है कि कॉल x ← <kbd>pop</kbd>(s) के बाद स्टैक स्थिति मौजूद रहती है या नहीं।
-व्यवहार में औपचारिक परिभाषा में यह निर्दिष्ट होना चाहिए कि स्थान धकेले गए आइटमों की संख्या के समानुपाती है और अभी तक पॉप नहीं हुआ है; और ऊपर दिए गए प्रत्येक ऑपरेशन को उस संख्या से स्वतंत्र रूप से निरंतर समय में पूरा करना चाहिए। इन अतिरिक्त विशिष्टताओं का अनुपालन करने के लिए, कार्यान्वयन दो पूर्णांकों (एक आइटम संख्या और सरणी आकार) के साथ एक लिंक की गई सूची, या एक सरणी (गतिशील आकार बदलने के साथ) का उपयोग कर सकता है।
 ==== कार्यात्मक-शैली इंटरफ़ेस ====
-कार्यात्मक प्रोग्रामिंग भाषाओं के लिए कार्यात्मक-शैली एडीटी परिभाषाएं अधिक उपयुक्त हैं, और इसके विपरीत। हालाँकि, सी जैसी अनिवार्य भाषा में भी कोई कार्यात्मक-शैली इंटरफ़ेस प्रदान कर सकता है। उदाहरण के लिए:
+कार्यात्मक प्रोग्रामिंग भाषाओं के लिए कार्यात्मक-शैली एडीटी परिभाषाएं अधिक उपयुक्त हैं और इसके विपरीत। चूंकि सी जैसी अनिवार्य भाषा में भी कोई कार्यात्मक-शैली इंटरफ़ेस प्रदान कर सकता है। उदाहरण के लिए:
-<वाक्यविन्यास लैंग = सीपीपी>
-टाइपपीफ स्ट्रक्चर स्टैक_रेप स्टैक_रेप; // प्रकार: ढेर राज्य प्रतिनिधित्व (अपारदर्शी रिकॉर्ड)
-टाइपपीफ स्टैक_रेप * स्टैक_टी; // टाइप करें: एक स्टैक स्थिति (अपारदर्शी सूचक) को संभालें
-टाइपपीफ शून्य * स्टैक_आइटम; // प्रकार: स्टैक स्थिति का मान (मनमाना पता)
-स्टैक_टी स्टैक_खाली (शून्य); // खाली स्टैक स्थिति लौटाता है
-स्टैक_टी स्टैक_पुश (स्टैक_टी एस, स्टैक_आइटम एक्स); // स्टैक स्थिति के शीर्ष पर एक आइटम जोड़ता है और परिणामी स्टैक स्थिति देता है
-स्टैक_टी स्टैक_पॉप (स्टैक_टी एस); // शीर्ष आइटम को स्टैक स्थिति से हटाता है और परिणामी स्टैक स्थिति देता है
-स्टैक_आइटम स्टैक_टॉप (स्टैक_टी एस); // स्टैक स्थिति का शीर्ष आइटम लौटाता है
-</वाक्यविन्यास हाइलाइट>
 === एडीटी पुस्तकालय ===
-कई आधुनिक प्रोग्रामिंग भाषाएं, जैसे कि सी ++ और जावा, मानक पुस्तकालयों के साथ आती हैं जो कई सामान्य एडीटी को लागू करती हैं, जैसे ऊपर सूचीबद्ध हैं।
+कई आधुनिक प्रोग्रामिंग भाषाएं जैसे कि सी ++ और जावा, मानक पुस्तकालयों के साथ आती हैं। जो कई सामान्य एडीटी को संचालित करती हैं। जैसे ऊपर सूचीबद्ध हैं।
-=== अंतर्निहित सार डेटा प्रकार ===
+=== अंतर्निहित अमूर्त डेटा प्रकार ===
-कुछ प्रोग्रामिंग भाषाओं के विनिर्देश जानबूझकर कुछ अंतर्निहित डेटा प्रकारों के प्रतिनिधित्व के बारे में अस्पष्ट हैं, केवल उन कार्यों को परिभाषित करते हैं जो उन पर किए जा सकते हैं। इसलिए, उन प्रकारों को अंतर्निर्मित एडीटी के रूप में देखा जा सकता है। उदाहरण कई स्क्रिप्टिंग भाषाओं में सरणियाँ हैं, जैसे कि ऑक, [[लुआ (प्रोग्रामिंग भाषा)]], और [[पर्ल]], जिसे सार सूची के कार्यान्वयन के रूप में माना जा सकता है।
+कुछ प्रोग्रामिंग भाषाओं के विनिर्देश जानबूझकर कुछ अंतर्निहित डेटा प्रकारों के प्रतिनिधित्व के बारे में अस्पष्ट हैं। केवल उन कार्यों को परिभाषित करते हैं, जो उन पर किए जा सकते हैं। इसलिए उन प्रकारों को अंतर्निर्मित एडीटी के रूप में देखा जा सकता है। उदाहरण कई स्क्रिप्टिंग भाषाओं में अमूर्तणियाँ हैं। जैसे कि ऑक, [[लुआ (प्रोग्रामिंग भाषा)]] और [[पर्ल]], जिसे अमूर्त सूची के कार्यान्वयन के रूप में माना जा सकता है।
 == यह भी देखें ==
@@ Line 247: / Line 242: @@
 ==संदर्भ==
-{{more footnotes|date=April 2022}}
 {{refbegin}}
 * {{Cite conference
@@ Line 270: / Line 264: @@
-==बाहरी संबंध==
+==बाप्रत्येकी संबंध==
 *{{Commonscatinline|Abstract data types}}
 *[https://xlinux.nist.gov/dads/HTML/abstractDataType.html Abstract data type] in [[NIST]] Dictionary of Algorithms and Data Structures
-{{Data structures}}
-{{Data types}}
 {{Authority control}}
-{{DEFAULTSORT:Abstract Data Type}}[[Category: सार डेटा प्रकार | सार डेटा प्रकार ]] [[Category: डेटा के प्रकार]] [[Category: प्रकार सिद्धांत]]
+{{DEFAULTSORT:Abstract Data Type}}
-[[Category: Machine Translated Page]]
+[[Category:Collapse templates|Abstract Data Type]]
-[[Category:Created On 17/02/2023]]
+[[Category:Commons category link is locally defined|Abstract Data Type]]
+[[Category:Created On 17/02/2023|Abstract Data Type]]
+[[Category:Lua-based templates|Abstract Data Type]]
+[[Category:Machine Translated Page|Abstract Data Type]]
+[[Category:Multi-column templates|Abstract Data Type]]
+[[Category:Navigational boxes| ]]
+[[Category:Navigational boxes without horizontal lists|Abstract Data Type]]
+[[Category:Pages using div col with small parameter|Abstract Data Type]]
+[[Category:Pages with script errors|Abstract Data Type]]
+[[Category:Short description with empty Wikidata description|Abstract Data Type]]
+[[Category:Sidebars with styles needing conversion|Abstract Data Type]]
+[[Category:Template documentation pages|Documentation/doc]]
+[[Category:Templates Vigyan Ready|Abstract Data Type]]
+[[Category:Templates that add a tracking category|Abstract Data Type]]
+[[Category:Templates that generate short descriptions|Abstract Data Type]]
+[[Category:Templates using TemplateData|Abstract Data Type]]
+[[Category:Templates using under-protected Lua modules|Abstract Data Type]]
+[[Category:Wikipedia fully protected templates|Div col]]
+[[Category:डेटा के प्रकार|Abstract Data Type]]
+[[Category:प्रकार सिद्धांत|Abstract Data Type]]
+[[Category:सार डेटा प्रकार| सार डेटा प्रकार ]]

Anonymous

Search

अमूर्त डेटा प्रकार: Difference between revisions

Latest revision as of 16:20, 11 March 2023

अमूर्त डेटा प्रकार

परिचय

अमूर्त डेटा प्रकार परिभाषित करना

आदेशात्मक-शैली परिभाषा

अमूर्त चर

उदाहरण निर्माण

उदाहरण: अमूर्त समूह (अनिवार्य)

एकल-आवृत्ति शैली

कार्यात्मक-शैली परिभाषा

उदाहरण: अमूर्त समूह (कार्यात्मक)

जटिलता सम्मिलित करना है या नहीं

अमूर्त डेटा टाइपिंग के लाभ

एनकैप्सुलेशन

परिवर्तन का स्थानीयकरण

लचीलापन

विशिष्ट संचालन

उदाहरण

कार्यान्वयन

इम्पीरेटिव-स्टाइल इंटरफ़ेस

कार्यात्मक-शैली इंटरफ़ेस

एडीटी पुस्तकालय

अंतर्निहित अमूर्त डेटा प्रकार

यह भी देखें

टिप्पणियाँ

उद्धरण

संदर्भ

अग्रिम पठन

बाप्रत्येकी संबंध

Navigation

Wiki tools

Page tools

Other projects

Categories