控制流综合中省略状态化简的可行性

• Feasibility of Omitting the Step of State Reduction in Control Flow Synthesis