Formalizing Computation Allocation as a Terminal Decision Problem | HACKOBAR_