短语词组短语known to the State 州份政府已知South Sword Known State 南剑Known Throughout The State 知全州known state space explosion problem 状态空间爆炸问题Known -host-state 已知宿主状态 返回 known state