1
CTL * и мю-исчисление
хорошо известно, что модальныйμμ\mu-calculus является одной из наиболее выразительных временных логик для выражения свойств деревьев / графов, и что CTL * строго менее выразителен, чемμμ\mu-исчисление. Здесь я хотел бы попросить пример μμ\muформула вычисления, настолько простая, насколько это возможно, которая не выражается в CTL *, и, надеюсь, для объяснения ее значения …