Kripke Structures

Question

if a state is an initial state and has no outgoing paths except a transition towards itself, is that state considered as a reachable state?

Answer 1

Every initial state is a reachable state, regardless whether it has outgoing paths or not.

Comments

then professor what are those initial states which are considered as deadend states?

---

Well, as the name says, these are the initial states that have no outgoing transition. They are also reachable, but are deadend states. That is not a contradiction.

---

understood. Thank you, professor.