#X1x2…xk t S:: s aa;+1…an# 2 移入动作:设S1的a输入边所指向的状态为S* #X1X2 S:oS: 1S i2 ik S it 归约动作:设按A→X+1+…,X进行归约,则首先归约为A #X1X2 XuA S: oS i 1 i2 S的A输出边所指向的状态设为S*,则格局变为: #X1X2 A SS:1s Sik S# 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