给出 pda 的完整细节