2.4.1 经典PDA算法的检测过程