添加PDA的pre_state属性，并加入PDA分解、连接函数