Implement PDA for task