PDA算法