এটি সিম্বলিক এক্সিকিউশন এর উইকি এন্ট্রি-তে লেখা হয়েছে , তবে আমি এর জন্য কোনও রেফারেন্স পাই না। কেউ আমাকে একটি পয়েন্টার দেখাতে পারেন? ধন্যবাদ.
এটি সিম্বলিক এক্সিকিউশন এর উইকি এন্ট্রি-তে লেখা হয়েছে , তবে আমি এর জন্য কোনও রেফারেন্স পাই না। কেউ আমাকে একটি পয়েন্টার দেখাতে পারেন? ধন্যবাদ.
উত্তর:
প্রতীকী সম্পাদন এবং বিমূর্ত ব্যাখ্যার মধ্যে তুলনা সম্পর্কিত কোনও কাগজ সম্পর্কে আমি সচেতন নই। আমিও মনে করি না যে এটির একটি প্রয়োজন। এই দুটি কৌশলটির মূল বিবরণ পড়া যথেষ্ট হওয়া উচিত।
(বিপরীতে, যদি কিছু অপ্রত্যাশিত সংযোগ হয়, তবে তা বর্ণনা করার উপযুক্ত হবে But তবে আমি খুব সন্দেহ করি এটি ক্ষেত্রে is)
প্রতীকী মৃত্যুদন্ডের মূল ধারণাটি হ'ল, কার্যকর করার ক্ষেত্রে একটি নির্বিচারে বিন্দুতে, আপনি সমস্ত ভেরিয়েবলের মানগুলি প্রাথমিক মানগুলির ফাংশন হিসাবে প্রকাশ করতে পারেন। বিমূর্ত ব্যাখ্যার মূল ধারণাটি হ'ল আপনি ক্রমান্বয়ে অতিরিক্ত-অনুমানের একটি সিরিজ দ্বারা কোনও প্রোগ্রামের সমস্ত সম্পাদন অন্বেষণ করতে পারেন। (আমি আগের প্রায় কাছাকাছি সময়ে বেশ কয়েকটি এআই উত্সাহী হাহাকার শুনতে পাচ্ছি))
অন্তত, মূল সূচনায়, প্রতীকী মৃত্যুদন্ড কার্যকর সম্ভাব্য সকল ফাঁসির অন্বেষণের সাথে সম্পর্কিত ছিল না। আপনি এটি শিরোনামেও দেখতে পারেন: এতে 'টেস্টিং' শব্দটি অন্তর্ভুক্ত রয়েছে। তবে অধ্যায় 8 থেকে আরও এখানে বলা হয়েছে: "অসীম সম্পাদনকারী গাছগুলির সাথে প্রোগ্রামগুলির জন্য, প্রতীকী পরীক্ষা সম্পূর্ণ হতে পারে না এবং সঠিকতার কোনও নিখুঁত প্রমাণ স্থাপন করা যায় না।"
বিপরীতে, বিমূর্ত ব্যাখ্যার উদ্দেশ্য সমস্ত মৃত্যুদণ্ড কার্যকর করা। এটি করতে, এটি বেশ কয়েকটি উপাদান ব্যবহার করে, যার মধ্যে একটি প্রতীকী মৃত্যুদন্ডের মূল ধারণার সাথে খুব মিল। এই উপাদানগুলি হ'ল (১) বিমূর্ত রাষ্ট্র, (২) যোগদান এবং প্রশস্তকরণ (অতএব, শিরোনামে 'জাল্লা')।
বিমূর্ত অবস্থা।কোনও নির্দিষ্ট সময়ে সময়ে প্রোগ্রামের কংক্রিটের অবস্থানটি মূলত মেমরির সামগ্রীর একটি স্ন্যাপশট (প্রোগ্রাম কোড নিজেই এবং প্রোগ্রামের কাউন্টার সহ)। এটিতে অনেকগুলি বিশদ রয়েছে, যা ট্র্যাক করা শক্ত। আপনি যখন কোনও নির্দিষ্ট সম্পত্তি বিশ্লেষণ করেন, আপনি কংক্রিটের রাজ্যের বড় অংশগুলিকে উপেক্ষা করতে চাইতে পারেন। অথবা আপনি কেবল কোনও নির্দিষ্ট ভেরিয়েবল নেতিবাচক, শূন্য বা ধনাত্মক, তবে এর সঠিক মানটির যত্ন নিচ্ছেন না সেদিকে খেয়াল রাখতে চাইতে পারেন। সাধারণভাবে, আপনি কংক্রিটের রাজ্যের একটি বিমূর্ত সংস্করণ বিবেচনা করতে চান। এটি কার্যকর করার জন্য, আপনার অবশ্যই একটি চলাচলের সম্পত্তি থাকতে হবে: আপনি যদি একটি কংক্রিটের রাজ্য গ্রহণ করেন, একটি বিবৃতি কার্যকর করেন এবং তারপরে ফলস্বরূপ রাষ্ট্রটি বিমূর্ত করেন, আপনি একই অবস্থাটি পাওয়া উচিত যেমন আপনি প্রাথমিক অবস্থার বিমূর্ততা রেখেছেন এবং তারপরে একইটি কার্যকর করা উচিত বিবৃতি কিন্তু বিমূর্ত রাষ্ট্র। এই চলাফেরার চিত্রটি দুটি কাগজে হাজির। এটি সাধারণ ধারণা। আবার, বিমূর্ত ব্যাখ্যাটি আরও সাধারণ, কারণ এটি কোনও রাষ্ট্রকে কীভাবে বিমূর্ত করতে হয় তা নির্দেশ করে না - এটি কেবল বলে যে এটি করার একটি উপায় থাকা উচিত। বিপরীতে, প্রতীকী সম্পাদন বলছে যে আপনি ব্যবহার করেন (প্রতীকী) এক্সপ্রেশন যা প্রাথমিক মান উল্লেখ করে।
যোগদান এবং প্রশস্তকরণ। যদি প্রোগ্রামের সম্পাদন দুটি পৃথক উপায়ে নির্দিষ্ট বিবৃতিতে পৌঁছে, প্রতীকী সম্পাদনা দুটি বিশ্লেষণকে একত্রিত করার চেষ্টা করে না। এজন্য উপরের উদ্ধৃতিটি ফাঁসের চেয়ে ফাঁসির গাছের কথা বলে। তবে, মনে রাখবেন যে বিমূর্ত ব্যাখ্যাটি সমস্ত ফাঁসি কার্যকর করতে চায়। সুতরাং, এটি দুটি মৃত্যুদণ্ডের বিশ্লেষণগুলিকে যেখানে একই প্রোগ্রামের পাল্টা রয়েছে সেখানে এমন একত্রিত করার জন্য একটি উপায় চেয়েছে। (যোগ দিতে পারেখুব বোবা হয়ে থাকুন ({a} join {b} = {a, b}) যেমন এটি প্রতীকী মৃত্যুদন্ড কার্যকর করে তার সমান) (বিশেষত, পূর্বে উল্লিখিত বোবা জোড় কাজ করবে না)) একটি লুপযুক্ত একটি প্রোগ্রাম বিবেচনা করুন: "এন = ইনপুট (); আই ইন রেঞ্জ (এন): ডুস্টফ ()"। কতবার আপনার লুপের চারপাশে গিয়ে যোগ দেওয়া উচিত? কোন নির্দিষ্ট উত্তর কাজ করে না। সুতরাং, অন্য কিছুর প্রয়োজন রয়েছে এবং এটি প্রশস্ত হচ্ছে , যা প্রত্নতাত্ত্বিক হিসাবে দেখা যেতে পারে। ধরুন আপনি লুপটি 3 বার ঘুরেছেন এবং আপনি শিখেছেন যে "i = 0 বা i = 1 বা i = 2"। তারপরে আপনি বলেছেন: হুমম্ম, ... চওড়া করা যাক এবং আপনি "আই> = 0" পাবেন। আবার বিমূর্ত ব্যাখ্যাটি কীভাবে প্রশস্ত করতে হবে তা বলে না - এটি কেবল বলে দেয় কী বিস্তৃতকরণের কী কী কাজ করা উচিত।
(এই দীর্ঘ উত্তরের জন্য দুঃখিত: এটিকে আরও খাটো করার জন্য আমার কাছে সত্যিই সময় ছিল না))
আমি মনে করি এটি খুব অগভীর অর্থে বোঝানো হয়েছে। বিমূর্ত ব্যাখ্যার প্রথম পদক্ষেপটি একটি কংক্রিট সংগ্রহকারী শব্দার্থবিজ্ঞান সনাক্ত করা। একক রাষ্ট্রের বিবর্তন বর্ণনা করার পরিবর্তে শব্দার্থক সংগ্রহগুলি রাষ্ট্রের সেটগুলির বিবর্তন বর্ণনা করে। রাষ্ট্রের সেটগুলির উপস্থাপনা সম্পর্কে প্রতীকী মৃত্যুদন্ড কার্যকর করার কারণে, কেউ যুক্তি দিতে পারেন যে এটি প্রোগ্রামটির কংক্রিট শব্দার্থকে উপস্থাপন করে। আমি আরও একটি সুনির্দিষ্ট চিঠিপত্র কাজ করা সম্পর্কে অবগত নই।
প্যাট্রিক কৌসোট দেখুন। নির্মাণ সংক্রান্ত পরিকল্পনা এবং পন্থাগুলি সংশোধন করে পয়েন্ট ফিক্সগুলি ডিওপ্রেটরস মোনোটোনস সুর আন ট্রেইলিস, স্যামেন্টিক ডেস প্রোগ্রামগুলি বিশ্লেষণ করুন (জালগুলিতে একঘেয়ে অপারেটরগুলির ফিক্সপয়েন্টগুলি নির্মাণের আনুষঙ্গিক পদ্ধতিগুলি, প্রোগ্রামের স্থির বিশ্লেষণ)। থেস èস সায়েন্সেস ম্যাথাম্যাটিক্স, ইউনিভার্সিটি জোসেফ ফুরিয়ার, গ্রেনোবল, ফ্রান্স, 21 মার্চ 1978. https://cs.nyu.edu/~pcousot/publications.www/CousotThesescience1978.pdf (দুর্ভাগ্যক্রমে ফরাসি ভাষায়), পৃষ্ঠা (3) -27 থেকে (3) -29