deterministic pdas.pdf