Pertanyaan yang diberi tag «mu-calculus»

1
CTL * dan kalkulus mu
diketahui dengan baik bahwa modal kalkulusμμ\mu adalah salah satu logika temporal yang paling ekspresif untuk mengekspresikan properti pohon / grafik, dan bahwa CTL * sangat kurang ekspresif daripada kalkulus.μμ\mu Di sini saya ingin meminta contoh formula kalkulus, sesederhana mungkin, yang tidak dapat diungkapkan dalam CTL *, dan mudah-mudahan untuk penjelasan …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.