# XX k ●●● a: a 0~i12 ik 计1…an# 移入动作:设S1的a1输入边所指向的状态为S* # XIX k S i0 ili S ik Sts 归约动作:设按A→米++2…进行归约,则首先归约为A #X1|X ●。 XLA k i01 12 ik S的A输出边所指向的状态设为S*,则格局变为: + XX X k A 0SnS2|…|SkS# X1 X2 … Xk … Xt Si0 Si1 Si2 … Sik … Sit aiai+1…an # 移入动作：设Sit的ai输入边所指向的状态为S* # X1 X2 … Xk … Xt Si0 Si1 Si2 … Sik … Sit ai S* 归约动作：设按A→Xk+1Xk+2…Xt进行归约，则首先归约为A Sik的A输出边所指向的状态设为S*，则格局变为： # X1 X2 … Xk Si0 Si1 Si2 … Sik A S* 设当前格局是： # X1 X2 … Xk Si0 Si1 Si2 … Sik A