abstract dpda