"ए कंफ्लिक्ट-फ्री रेप्लिकेटेड जेन्स डेटाटाइप" पेपर में , मुझे औपचारिक रूप से "नियमों" को परिभाषित करने के लिए इस नोटेशन का सामना करना पड़ा:
इस संकेतन को क्या कहा जाता है? मैं इसे कैसे पढ़ूं?
उदाहरण के लिए:
DOC
शासन अपने "अंश" में लेना देना नहीं है - क्यों नहीं?EXEC
औरGET
नियम, रेखा से ऊपर दो अलग-अलग मामले की और होता है क्या मतलब है?VAR
नियम के रूप में अच्छी तरह से थोड़ा बाहर खड़ा है, के बाद से, जबकि कई अन्य नियमों तीर के कुछ प्रकार का उपयोग करें (जो मेरा मतलब करने के लिए ले जाएगा "का अर्थ है") शीर्ष इस एक ही कह जा सकता है कि एक्स कुछ का एक तत्व है लगता है ऊपर।- लगभग सब कुछ एक प्रारंभिक के साथ मिला हुआ है,
Ap,
जो कि पाठ को "प्रतिकृति की स्थिति एपी के रूप में वर्णित है, एक परिमित आंशिक कार्य" के रूप में वर्णित है - इस अंकन के एक प्रेमी पाठक को हर नियम के उस भाग को "देखना" कैसे होगा?
इस साइट ने एक संबंधित प्रश्न का सुझाव दिया, जिसमें कुछ बहुत ही समान दिखने वाली संकेतन है, इस सवाल पर कि ⟩B, s⟨ -> ⟨B 'का क्या महत्व है, s'⟩ छोटे कदम के बारे में इस प्रश्न में प्रारंभिक नियम के रूप में अर्थ विज्ञान? - इसे ऑपरेशनल शब्दार्थ के रूप में टैग किया गया है , और यह एक मजबूत लीड प्रतीत होता है। क्या वास्तव में यह ढांचा है जिसके तहत मुझे इन आंकड़ों की व्याख्या करनी चाहिए? क्या आप इसे आसानी से "क्रैश कोर्स" रूप में सारांशित कर सकते हैं, ताकि अगर मैं उनके प्रमाणों की शुद्धता का सत्यापन नहीं कर पाऊं, तो भी मैं कम से कम इस खंड में जो कुछ भी कह रहा हूं, उसकी थोड़ी और समझ हासिल कर सकूं?