এলটিএল , বাচি / কিউপিটিএল , সিটিএল এবং সিটিএল * এর প্রকাশের মধ্যে কী সম্পর্ক ?
আপনি কি এমন কিছু উল্লেখ দিতে পারেন যা এই যতগুলি সম্ভব টেম্পোরাল লজিককে অন্তর্ভুক্ত করে (বিশেষত রৈখিক- এবং শাখা-কালীন সময়ের মধ্যে)?
সেই টেম্পোরাল লজিকস এবং উদাহরণ হিসাবে কিছু ব্যবহারিক বৈশিষ্ট্য সহ ভেন চিত্রটি সঠিক হবে।
এই ক্ষেত্রে:
- এটি কি সত্য যে বাচ্চিতে নির্দিষ্ট বৈশিষ্ট্য রয়েছে তবে সিটিএল * তে নেই? আপনি কি একটি ভাল উদাহরণ আছে?
- বাচি এবং সিটিএল-তে কিন্তু এলটিএলে নয় কীভাবে?
বিবরণ:
উদাহরণগুলির চেয়ে যুক্তিগুলির প্রকাশের বিষয়টি আমার কাছে আরও প্রাসঙ্গিক। পরেরটি বোঝার এবং অনুপ্রেরণার জন্য কেবল সহায়ক।
আমি ইতিমধ্যে [ক্লার্ক এবং ড্রাগিগিস্কু, 1988] এর সিটিএল * এবং এলটিএল এর মধ্যে প্রকাশযোগ্যতা উপপাদ্যটি সম্পর্কে জানি, তবে ন্যায্যতার বৈকল্পের আধিক্য রয়েছে বলে সিটিএল এবং এলটিএলে না থাকার সাধারণ উদাহরণটি পছন্দ করি না which এলটিএলে প্রকাশযোগ্য।
এলটিএল-এর বিধিনিষেধ সম্পর্কে [ওল্পার ৩৩] তে
যেমন সমানতা বাচি-সম্পত্তির সাধারণ উদাহরণটি আমি পছন্দ করি না , যেহেতু আরেকটি প্রস্তাবিত পরিবর্তনশীল যুক্ত করা সমস্যার সমাধান করবে ( )।
আমি এলটিএল-এর বিধিনিষেধ সম্পর্কে [ওল্প্পার ৩৩] তে যেমন সমানতা বাচি-সম্পত্তির উদাহরণ দিচ্ছি , যেহেতু এটি সহজ এবং সান্নিধ্যের জন্য পিকিউটিএল প্রয়োজনীয়তা দেখায় (নীচের নোটের জন্য ধন্যবাদ)।
হালনাগাদ:
আমি মনে করি [ক্লার্ক এবং ড্রাগিচিস্কু, 1988] থেকে সিটিএল * এবং এলটিএল-এর মধ্যে প্রকাশের তত্ত্বটি বাচি অটোমেটাতে তোলা যেতে পারে যার ফলস্বরূপ:
Let $\phi$ be a CTL* state formula.
Then $\phi$ is expressible via Büchi automaton
iff $\phi$ is equivalent to $A\phi^d$.
এটির সাথে, বাচি সিটিএল * = এলটিএল, উপরে আমার প্রশ্নের উত্তর দেওয়া:
- এটি কি সত্য যে বাচ্চিতে নির্দিষ্ট বৈশিষ্ট্য রয়েছে তবে সিটিএল * তে নেই?
Yes, e.g. evenness.
- বাচি এবং সিটিএল-তে কিন্তু এলটিএলে নয় কীভাবে?
No.
কেউ কি ক্লার্ক এবং ড্রাগিচিস্কুর উপপাদ্যটি ইতিমধ্যে বাচ্চি অটোমেটাতে তুলে ধরেছেন বা অনুরূপ উপপাদ্য বর্ণনা করেছেন? বা এটি একটি খুব সহজেই কোনও কাগজে উল্লেখ করা উচিত, যেহেতু সিটিএল * এর পাথ কোয়ানটিফায়ার স্পষ্টতই বাচী অটোমেটা দ্বারা গৃহীত পাথের মানদণ্ডগুলিতে "অर्थোগোনাল"?