Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

868 questions

986 answers

1.4k comments

438 users

0 votes
Is it right to assume that left CTL* is the same as CTL*?
in * TF "Emb. Sys. and Rob." by (160 points)

1 Answer

0 votes

No, it is not. The syntax is much richer, and there are many LeftCTL* formulas like E(Fa & Fb) which are not CTL formulas. However, any CTL formula belongs to LeftCTL*, so that CTL ice a strict (and tiny) subset of LeftCTL*. That much about syntax.

When it comes to semantics, then one can prove that for every LeftCTL* formula, there is an equivalent CTL formula. So, in terms of expressiveness both are the same.

Therefore, be careful what you mean with "the same".smiley

by (139k points)
I am not talking about CTL but CTL*.
Then, LeftCTL* is a strict subset of CTL* (both from the viewpoint of syntax and semantics, since its expressiveness is that of CTL which cannot express EGFa, for instance).

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...