Deterministic computation