1
CTL * і mu-числення
добре відомо, що модальниймкμ\mu-kalculus - одна з найбільш експресивних часових логік для вираження властивостей дерев / графіків, і що CTL * суворо менш виразний, ніжмкμ\mu-розрахунок. Тут я хотів би попросити приклад μμ\mu-калькуляційна формула, максимально проста, яка не виражається в CTL *, і, сподіваємось, для пояснення її значення (формули з фіксованою …