अंतर, पैच और विलय के श्रेणी-सिद्धांत संबंधी उपचार?

Question

क्या पैच की एक श्रेणी है जो लगभग इस तरह दिखती है:

• ऑब्जेक्ट कुछ आधार वर्णमाला में तार होते हैं
• आकारिकी को स्ट्रिंग्स के बीच स्क्रिप्ट ("भिन्न" या "पैच") संपादित किया जाता है

मुझे इन सवालों में दिलचस्पी है:

• क्या न्यूनतम संपादन स्क्रिप्ट की श्रेणीबद्ध धारणा है ? हो सकता है कि पीओ-सेटों में पैच की श्रेणी समृद्ध हो?
• क्या पैच का विलय स्पष्ट पुशआउट है?
• इसे स्ट्रिंग्स से पेड़ों पर कैसे सामान्यीकृत करें (एक फ़ाइल सिस्टम, या एक बीजीय डेटाटाइप)?

Comments

तुम एक पर देखने के लिए चाहते हैं के पीछे सिद्धांत Darcs VCS

— Bergi

... या पीजुल , "नया डारक्स" बनाने के लिए एक अपेक्षाकृत हालिया प्रयास। (और जहां तक ​​मुझे उस बात से याद है, विलय श्रेणी के "मुक्त समापन" में पुशआउट है ...)।

— phipsgabler

Answer 1

जैसा कि मार्टिन ने कहा , पैच के स्पष्ट प्रतिनिधित्व पर कुछ काम है। Mimram और Di Giusto का "पैचेज का एक श्रेणीबद्ध सिद्धांत" संपादित-लिपियों के लिए सबसे व्यापक श्रेणीबद्ध दृष्टिकोण है, जिसका उपयोग किया जाता है UNIX diff।

$L$$A : [n] \rightarrow L$$[n]$$n$$A : [n] \rightarrow L$$B : [m] \rightarrow L$$f : [n] \rightarrow [m]$। इंजेक्शन लगाने और बढ़ने से संकेत मिलता है कि प्रतियां कभी एक-दूसरे के ऊपर से नहीं गुजरती हैं । आप कागज पर सभी विवरण पा सकते हैं ।

हां, विलय को उपरोक्त श्रेणी के मुक्त कोकंप्लीशन पर पुशआउट के रूप में देखा जाता है। हमें यह सुनिश्चित करने के लिए cocompletion की आवश्यकता है कि हम अपने निर्माण में मर्ज संघर्षों को जोड़ते हैं। ऐसा नहीं है कि मर्ज हमेशा मौजूद रहता है।

अपने दूसरे प्रश्न के लिए, दो मुख्य कारणों के लिए न्यूनतम संपादित स्क्रिप्ट की कोई स्पष्ट धारणा नहीं है।

1. सम्पादन-लिपियाँ सभी आकृतियों और रूपों में आती हैं। कुछ लेखक सम्मिलन, विलोपन और प्रतियों पर विचार करते हैं, कुछ लेखक एक ऑपरेशन के रूप में प्रतिस्थापन जोड़ना चाहते हैं। जब आप तार से पेड़ों तक सामान्य हो जाते हैं, तो, अन्य ऑपरेशनों का ढेर संभव हो जाता है।

2. $ab$$ba$

पेड़ों को संपादित स्क्रिप्ट को सामान्य बनाने पर बहुत काम किया गया है। यह कार्य के दो मुख्य निकायों में विभाजित किया गया है:

• अनकहे पेड़ : केवल एस-एक्सप्रेशन के बारे में सोचें। दो पेड़ों के बीच ट्री-एडिट-डिस्टेंस स्ट्रिंग-एडिट-डिस्टेंस के बीच में उक्त पेड़ों की ट्रावेल-दूरी है। आप डेमिने एट अल द्वारा कुछ ग्रंथ सूची देख सकते हैं । या उदाहरण के लिए Pawlik और Augsten ।

• टाइप किए गए पेड़ : अमूर्त सिंटैक्स पेड़ों पर पैच जो कि वस्तु की अच्छी प्रकार से संरक्षित करने की गारंटी है, अर्थात, पैच लगाने से हमेशा वैध एएसटी निकलेगा। टाइप किए गए छतरी के नीचे, कम संपादित ऑपरेशन हो सकते हैं, जिस पर विचार कर सकते हैं। उदाहरण के लिए, प्रतिस्थापन का कोई मतलब नहीं है। फिर भी, Lempsink et al द्वारा पेड़ों के प्रचलन ट्रैवर्सल पर एक अंतर मौजूद है । , जिसे बाद में वासेना ने आगे बढ़ाया । मैं वर्तमान में उन दृष्टिकोणों पर ध्यान केंद्रित कर रहा हूं, जो मैंने पहले बताई गई बहुत सी समस्याओं के लिए स्क्रिप्ट संपादित करने से दूर किए हैं, जैसे कि हमारा नवीनतम कार्य या कुछ पहले का काम जो "पैच" होने वाले प्रकारों की संरचना का लाभ उठाने की कोशिश करता है।

उन दोनों मामलों में मैंने पेड़-संरचित पैच की सावधानीपूर्वक व्याख्या नहीं देखी है।

Comments

बहुत बढ़िया जवाब! लेकिन वे अद्वितीय नहीं होने के कारण केवल न्यूनतम संपादित लिपियों की कोई श्रेणीबद्ध धारणा क्यों नहीं होनी चाहिए? (सह) सीमाएं अद्वितीय नहीं हैं, केवल आइसोमोर्फिज्म तक।

— तूरियन

मुझे लगता है कि हम cocompletion ले सकते हैं और संघर्षों को शामिल कर सकते हैं, या बस कह सकते हैं कि पुशआउट्स हमेशा मौजूद नहीं होते हैं, और जब वे मौजूद नहीं होते हैं तो कोई मर्ज नहीं होता है?

— तूरियन

$A$$B$diff$A$$B$diff3

Answer 2

इस दिशा में काफी काम हो रहा है। आप [1, 2] को देखकर शुरुआत कर सकते हैं, लेकिन वे विषय को समाप्त नहीं करते हैं।

---

1. एस। मीराम, सी। डी। गिउस्तो, पैचेज का एक श्रेणीबद्ध सिद्धांत ।

2. सी। अंगियुली, ई। मोरहाउस, डीआर लिसाटा, आर। हार्पर, होमोटॉपिकल पैच थ्योरी ।