Abstract: A   subfamily   of   dpda,Total-RT(K)dpda,was   defined   in   this   paper.
The  general  dpda  can  be  approached  by  this  subfamily.It  was  proved that  the  equivalence  problem  and  the  containtment  problem  for  Total- RT(K)dpda   are   decidable.