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

928 questions

1k answers

1.4k comments

441 users

0 votes

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? 

in # Study-Organisation (Master) by (1.1k points)

1 Answer

+1 vote
 
Best answer

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). 

by (143k points)
selected by
I understood. Thank you, Professor.
Imprint | Privacy Policy
...