প্রশ্ন ট্যাগ «mu-calculus»

এটা সর্বজনবিদিত যে মোডাল -calculusμμ\mu গাছ / গ্রাফ বৈশিষ্ট্য প্রকাশ করার জন্য সবচেয়ে ভাবপূর্ণ সময়গত ন্যায়শাস্ত্র এক, এবং যে সিটিএল * কঠোরভাবে কম ভাবপূর্ণ হয় -calculus।μμ\mu এখানে আমি ক্যালকুলাস সূত্রের একটি উদাহরণ জিজ্ঞাসা করতে চাই , এটি যতটা সম্ভব সহজ, এটি সিটিএল * তে প্রকাশযোগ্য নয় এবং আশা করা যায় …

9 lo.logic  model-checking  temporal-logic  mu-calculus