Support state machine to dot file