fsm : mainFsm.dot dot -Tpng -o mainFsm.png mainFsm.dot