Comment écrivez-vous correctement cette phrase en tant que formule CTL?
-
05-11-2019 - |
Question
Phrase: de chaque état accessible, il est possible d'atteindre un état où $ p $ est vrai.
Comment rédigez-vous cette phrase en tant que formule CTL? Jusqu'à présent, je n'ai traité que la syntaxe CTL et les arbres, mais peut-être que vous sera également demandé dans un test comment vous convertiz une phrase en une formule CTL.
Alors j'ai lu ça $ AX $ moyens Tout le suivant.
Alors $ Axp $ devrait signifier Dans tous les états suivants $ p $ est vrai.
Maintenant, je n'ai besoin que de la première partie de la phrase: De chaque état accessible, il est possible d'atteindre
Mais comment cela serait-il exprimé et comment le connecter avec le $ Axp $ J'ai eu?
J'espère que vous pourrez m'aider parce que sur Internet, je n'ai pas pu trouver un exemple comme ça? : /
Pas de solution correcte