digraph fsm { arrive -> hungry; hungry -> eat; hungry -> starve; starve -> hungry; eat -> leave; eat -> think; think -> hungry; }