"ए कंफ्लिक्ट-फ्री रेप्लिकेटेड जेन्स डेटाटाइप" पेपर में , मुझे औपचारिक रूप से "नियमों" को परिभाषित करने के लिए इस नोटेशन का सामना करना पड़ा: इस संकेतन को क्या कहा जाता है? मैं इसे कैसे पढ़ूं? उदाहरण के लिए: DOCशासन अपने "अंश" में लेना देना नहीं है - क्यों नहीं? EXECऔर …
मैं प्रोग्रामिंग भाषाओं को परिभाषित करने के लिए परिचालन शब्दार्थ (छोटे-चरण और बड़े कदम दोनों) से परिचित हूं। मैं रूढ़िवादी शब्दार्थ सीखने में दिलचस्पी रखता हूं, लेकिन मुझे यकीन नहीं है कि यह प्रयास के लायक होगा। क्या मैं सिर्फ एक अलग दृष्टिकोण से एक ही सामग्री सीख रहा हूं, …
मुझे लगता है कि मैं एक पथरी कहलाने के बारे में बहुत उलझन में हूं और एक प्रोग्रामिंग भाषा क्या कहलाती है। मुझे लगता है, और कहा जा सकता है, कि कैलकुलस कार्यक्रमों की समानता के बारे में तर्क करने के लिए एक औपचारिक प्रणाली है। प्रोग्राम में एक मशीन …
काम पर मुझे एक गतिशील भाषा के बारे में कुछ प्रकार की जानकारी के साथ काम सौंपा गया है। मैं बयानों के अनुक्रमों को नेस्टेड letअभिव्यक्तियों में फिर से लिखता हूं , जैसे: return x; Z => x var x; Z => let x = undefined in Z x = …
आमतौर पर मैं देखता हूं कि लूप के लिए संरचनात्मक परिचालनात्मक शब्दार्थ निरूपण में, कार्यक्रम की स्थिति नहीं बदलती है: ( w h i l l eबीघओएस, σ) → ( i f)बीt h e nएस; ( w h i l l eबीघओएस)ई एल एस ईएसकमैंपी, σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do …