确定好状态地推时什么时候顺推，什么时候倒退

还有里外层循环关系是什么（什么时候循环应当放内，什么时候循环应当放外，如floyed为什么k循环要放最外层）