The definition of the Finites states is made by this constructor. Remember that "START" and "END" are obligatory. The machine always start with state "START". It is possible to kill a thread by a transition to state "END" (when you make a transition to "END" on the only remaining thread, your machine dies). Keep always one thread alive.