Dead states, Reachable States, Initial States , Unreachable States

Question

Hi, while converting FSM to Kripke, I got confused. How can I find the dead states, reachable states, unreachable states, and initial states from Kripke? I have added the diagram and added my finding. Could you please help to solve this issue? Can the initial state become a dead state? 

Answer 1

When using the teaching tool, you get the following result:

It also shows you the initial, reachable, dead, and finally dead states. The definitions of these sets of states can be found on slide 9 of chapter 4 (transition systems). Initial states can be dead states, and initial states are always reachable (by definition). 

Comments

I understood. Thank you, Professor.