归约机采用需求驱动，执行的（）序列取决于对（）的需求。