DFA, NFA, epsilon NFA all have same power so option a and b are true
opt c also true non-deterministic PDA is more powerful than deterministic PDA so there are some language which will be accepted by NDPDA but not DPDA
opt d is false because if it halts on w which is not in L then it will be recursive language
so ans is d