*** Initializing
initial_state 	--(0)-> 	some_state
some_state 	--(0)-> 	some_state
some_state 	--(0)-> 	some_state
some_state 	--(1)-> 	final_state
*** Finalizing