CTL question on final practice part(a)

[stephanie pan]

Hello,

For part(a), based on the expression, the question is asking for
states with the next step to be itself.
I think the answer should be none since no states can go back to
itself in the next step.
Am i understanding the expression wrong?

Thank you very much

[Eric Wohlstadter]

That is the right expression.

Some states can go back to themselves because they are inside of a super-state and the super-state has a self-loop (at the bottom of diagram).

Eric

[stephanie pan]

Oh. Ok. Thank you.

On Dec 14, 5:53 pm, Eric Wohlstadter <wohls...@cs.ubc.ca> wrote:
> That is the right expression.
>
> Some states can go back to themselves because they are inside of a
> super-state and the super-state has a self-loop (at the bottom of diagram).
>
> Eric
>
> On Wed, Dec 14, 2011 at 5:47 PM, stephanie pan

> <stephanie.pan1...@gmail.com>wrote:

[Michelle C]

If that is the case, since the H is pointing to Open, does that mean that transitions back from the superstate always go to Open?

[Eric Wohlstadter]

No, that just means that Open is the start state of a super-state which maintains history. 

Eric

[estafan]

Hello,

Could you explain part(b)? I understand that it is saying that for all
paths, it can be true that total is forever 0 until you reach
inactive. Similarly, could you explain partc? Thanks.

On Dec 14, 7:13 pm, Eric Wohlstadter <wohls...@cs.ubc.ca> wrote:
> No, that just means that Open is the start state of a super-state which
> maintains history.
>
> Eric
>
>
>
>
>
>
>
> On Wed, Dec 14, 2011 at 7:04 PM, Michelle C <sinn.fon...@gmail.com> wrote:
> > If that is the case, since the H is pointing to Open, does that mean that
> > transitions back from the superstate always go to Open?

> >  On Dec 14, 2011 6:46 PM, "stephanie pan" <stephanie.pan1...@gmail.com>