[9 / 1 / ?]
Quoted By: >>7622246
Hey /sci/ reading pic related and reached epsilon closures of NFA's.
Now the authors are really dense, which I like, but this statement confuses me.
They define the e-closure of a state q to be the set of all states reachable from q by a path consisting only of epsilons.
They then state that q itself is in the e-closure since there is a path from q -> q of 0 length and thus this path is all epsilons trivially.
Can anyone explain this logic? I've taken a few graph theory classes, so I'm mainly confused about the trivial proof.
Now the authors are really dense, which I like, but this statement confuses me.
They define the e-closure of a state q to be the set of all states reachable from q by a path consisting only of epsilons.
They then state that q itself is in the e-closure since there is a path from q -> q of 0 length and thus this path is all epsilons trivially.
Can anyone explain this logic? I've taken a few graph theory classes, so I'm mainly confused about the trivial proof.
