আনুষ্ঠানিক নিয়মের জন্য এই ভগ্নাংশের মতো "বিচ্ছিন্ন গণিত"-স্টাইল স্বরলিপিটি কী?

Question

"এ কনফ্লিক্ট-ফ্রি রিপ্লিকেটেড জেএসওএন ডেটাটাইপ" পত্রিকায় , "বিধি" আনুষ্ঠানিকভাবে সংজ্ঞায়িত করার জন্য আমি এই স্বরলিপিটির মুখোমুখি হয়েছি:

এই স্বরলিপি কি বলা হয়? আমি কীভাবে এটি পড়তে পারি?

উদাহরণ স্বরূপ:

• DOCনিয়ম তার "লব" এ কিছু নেই - কেন নয়?
• EXECএবং GETবিধি, লাইনের উপরে দুটি পৃথক পদ আছে প্রদর্শিত কি মানে কি?
• VARনিয়ম হিসাবে ভাল একটি বিট দাঁড়িয়েছে আউট, যেহেতু সময় অনেক অন্যান্য নিয়ম তীর কিছু বাছাই ব্যবহার করুন (যা আমি মানে গ্রহণ করা হবে "বোঝা") শীর্ষ এই এক শুধুমাত্র বলছে করা যে এক্স কিছু একজন উপাদান বলে মনে হয় আপ।
• প্রায় সমস্ত কিছু প্রাথমিকের সাথে মিশ্রিত হয় Ap,যা পাঠ্যটিকে "প্রতিলিপি প এর রাজ্যটি এপি দ্বারা বর্ণনা করা হয়েছে, একটি সীমাবদ্ধ আংশিক ক্রিয়া" হিসাবে বর্ণনা করা হয়েছে - এই স্বরলিপিটির একজন বুদ্ধিমান পাঠক কীভাবে প্রতিটি নিয়মের সেই অংশটিকে "দেখতে" ঝোঁকেন?

এই সাইটটি একটি সম্পর্কিত প্রশ্নের পরামর্শ দিয়েছে যা ছোট-পদক্ষেপ সম্পর্কে এই প্রশ্নের প্রাথমিক নিয়ম হিসাবে ⟨B, s⟩ ->'B ', s'⟩ এর তাত্পর্যটি কী , এ প্রশ্নের উপরেও কিছু খুব অনুরূপ বর্ণনামূলক চিহ্ন রয়েছে শব্দার্থবিদ্যা? - এটি অপারেশনাল শব্দার্থক হিসাবে ট্যাগ হয়েছে , এবং এটি একটি শক্তিশালী নেতৃত্ব বলে মনে হচ্ছে না। আসলেই কি সেই কাঠামোটি যার অধীনে আমার এই পরিসংখ্যানগুলি ব্যাখ্যা করা উচিত? আপনি সহজেই এটি "ক্র্যাশ কোর্স" আকারে সংক্ষিপ্ত করতে পারেন যাতে আমি তাদের প্রমাণগুলির যথার্থতা যাচাই করতে না পারলেও, এই বিভাগে তারা কী বলছে তা সম্পর্কে আমি কমপক্ষে কিছুটা আরও বুঝতে পারি?

Answer 1

অনুমানের নিয়মের জন্য এটি একটি মানক স্বরলিপি । প্রাঙ্গণটি একটি অনুভূমিক রেখার উপরে স্থাপন করা হয় এবং উপসংহারটি লাইনের নীচে রাখা হয়। সুতরাং এটি "ভগ্নাংশ" এর মতো দেখতে শেষ হবে তবে লাইনটির উপরে এক বা একাধিক যৌক্তিক প্রস্তাব এবং লাইনের নীচে একক প্রস্তাব থাকবে with যদি আপনি এর পাশের কোনও লেবেল (উদাহরণস্বরূপ, "উদাহরণস্বরূপ" এলইটি "বা" উদাহরণস্বরূপ "ভিআর") দেখতে পান তবে এটি নির্দিষ্ট নিয়ম শনাক্ত করার জন্য কেবল একটি মানব-পঠনযোগ্য নাম।

আপনি এটি দেখতে হিসাবে দেখতে পাবেন প্রাকৃতিক ছাড় বা জেন্টজেন-স্টাইলের প্রাকৃতিক ছাড় ।

প্রোগ্রামিং ভাষার সাহিত্যে এটি একটি সাধারণ স্বরলিপি। আপনি এটি সমস্ত জায়গাতে দেখতে পাবেন। এই ক্ষেত্রটিতে যে ধরণের উপসংহার এবং পুনরাবৃত্ত-কাঠামোগত প্রমাণ রয়েছে তার পক্ষে এটি খুব সুবিধাজনক।

আপনি স্বাক্ষর / বিধি প্রকাশ করতে ব্যবহৃত এই স্বরলিপিটি দেখতে পাবেন। আপনি প্রতিটি অক্ষকে "মেটা-ভেরিয়েবল" (যেমন, এক্সপ্রেস ) সহ একটি টেম্পলেট হিসাবে ভাবতে পারেন ; আপনি প্রতিটি মেটা-ভেরিয়েবলকে প্রোগ্রামিং ভাষা থেকে কিছু বাক্য গঠন (উদাহরণস্বরূপ, প্রোগ্রামিং ভাষায় বৈধ যে কোনও এক্সপ্রেশন) দিয়ে প্রতিস্থাপন করতে পারেন, এবং আপনি নিয়মের একটি উদাহরণ পাবেন। অনুমানের নিয়ম প্রতিশ্রুতি দেয় যে সমস্ত প্রস্তাবগুলি যদি রেখার areর্ধ্বে থাকে তবে (টেমপ্লেটের কিছু উদাহরণের জন্য, যেখানে আপনি নিয়মিতভাবে প্রতিটি বিভাজ্যকে একই মানের সাথে প্রতিস্থাপন করেন), তারপরে লাইনের নীচের প্রস্তাবটিও সত্য হবে, ।

Comments

একটি উল্লেখযোগ্য ব্যবহার হিন্ডলি-মিলনার ধরণের অনুমিতি নির্দিষ্ট করে: "মিলনার-হিন্ডির কোন অংশ আপনি বুঝতে পারছেন না?" এই উত্তরটি কীভাবে এই সেটটি বিধিমালা পড়তে এবং ব্যবহার করতে হয় সে সম্পর্কে পদচারনা করে।

— DylanSp

একটি ছোট সংশোধন: প্রাঙ্গণ এবং সিদ্ধান্তগুলি রায় হয় , প্রস্তাব নয় । প্রস্তাবগুলি রায়গুলির একটি নির্দিষ্ট ফর্ম। এই লাইনের পাশাপাশি রায়গুলি সুস্পষ্ট , সত্য নয় (কারণ সত্যের ধারণাটি সংজ্ঞায়িত করা কঠিন এবং প্রোগ্রামিং ভাষার শব্দার্থগুলির জন্য সত্যই আকর্ষণীয় নয়)।

— ই

Answer 2

এখানে একটি খুব অনানুষ্ঠানিক ব্যাখ্যা দেওয়া যেতে পারে যা ফর্মাল স্বরলিপিগুলির সাথে অপরিচিত লোকদের দরজায় পা রাখতে সহায়তা করতে পারে। এটি একটি আনুষ্ঠানিক সংজ্ঞা প্রতিস্থাপন করে না!

Ap আপনার সিস্টেম অথবা আপনার চলমান কর্মসূচির রাষ্ট্র। "রাজ্য" এর অর্থ অনেকগুলি হতে পারে তবে এই ক্ষেত্রে এটি সমস্ত সংজ্ঞায়িত স্থানীয় ভেরিয়েবল এবং তাদের মানগুলির একটি তালিকা অন্তর্ভুক্ত বলে মনে হয়। এপি কেন একটি ফাংশন? কারণ এটি ভেরিয়েবল অ্যাসাইনমেন্টগুলি প্রকাশ করার জন্য একটি সুবিধাজনক উপায়: এপি (এক্স) ভেরিয়েবল এক্সের মান দেয় ।

এখন, উদাহরণটি উদাহরণ হিসাবে EXEC নিন। এটি একটি কমান্ড নির্বাহ শব্দার্থবিদ্যা সংজ্ঞায়িত cmd1 কমান্ড দ্বারা অনুসরণ CMD2 , অর্থাত্, কী অবস্থায় সঙ্গে ঘটে Ap যখন নির্বাহ সিস্টেমের cmd1 দ্বারা অনুসরণ CMD2 ।

• লাইনের উপরে: এগুলিই প্রাঙ্গণ। তারা কি বলে: "আসুন cmd1 কমান্ড হতে আপনি কমান্ড চালানো হলে। Cmd1 যখন আপনার সিস্টেমে রাষ্ট্র Ap , আপনার সিস্টেম একটি নতুন রাষ্ট্র মধ্যে শেষ হবে Ap ' ।"
• লাইনের নীচে: এখানে নিয়মটি বর্ণনা করে যে দুটি কমান্ডটি সিএমডি 1 এবং সেমিডি 2 ক্রমান্বয়ে কার্যকর করতে হবে । এটা কি বলছে: "আপনার সিস্টেমে ধরে নেওয়া যাক রাষ্ট্র হয় Ap , নির্বাহ cmd1 এবং তারপর CMD2 উপায়ে চালানো CMD2 যখন আপনার সিস্টেমে রাষ্ট্র Ap ' " (মনে রাখবেন যে Ap' রাষ্ট্রীয় যে আপনি নির্বাহ পর পাবেন cmd1 , যেমন সংজ্ঞায়িত প্রাঙ্গনে)।

অন্যান্য বিধিগুলি পৃথক আদেশ এবং অভিব্যক্তিগুলির শব্দার্থবিজ্ঞানের বর্ণনা দেয়। উদাহরণ হিসেবে বলা যায়, var নিয়ম বর্ণনা কি এটা "চালানো" একটি পরিবর্তনশীল মানে: যদি এক্স একটি স্থানীয় পরিবর্তনশীল (লাইন উপরে), তারপর তা নির্ণয় করা / চালানো পরিবর্তনশীল মানে এক্স ? লাইনের নীচে এটি লেখা আছে: যখন আপনার প্রোগ্রামটি এপিতে থাকে , এক্স মূল্যায়ন আপনাকে এক্সের মান দেয় , অর্থাৎ অ্যাপ (এক্স) ।

আমি আশা করি এটি সাহায্য করবে.

Comments

ধন্যবাদ, এটি বোঝার জন্য এবং এটি ঠিক যা আমি খুঁজছিলাম তা একটি দুর্দান্ত সহায়তা! তবে এটি আমার প্রথম প্রশ্নটির উত্তর ছাড়াই ছেড়ে দেয়: এই স্বরলিপিটির কি কোনও নাম রয়েছে, সাধারণত এবং / অথবা এই নির্দিষ্ট প্রসঙ্গে? আমার অনুমান "অপারেশনাল শব্দার্থক", তবে এখানের অন্যান্য উত্তর এখনও পর্যন্ত বলে যে তারা কেবল স্পষ্ট "অনুমানের নিয়ম"। আমি অনুমান করি যে আমি যদি দুটি অংশের প্রশ্ন জিজ্ঞাসা করি তবে আমি উত্তরগুলি

— পৃথকীকরণের

@natevw- এ এগুলি অনুমানের নিয়ম। অপারেশনাল শব্দার্থকতা এমন অনেকগুলি বিষয়গুলির মধ্যে একটি যা সাধারণত অনুমিতি বিধি দিয়ে প্রকাশ করা হয়।

— গিলস 'অশুভ হওয়া বন্ধ করুন'