Yes — that’s correct. Programs with a fixed amount of execution time always terminate. That’s why we add timeouts to executions, because they’re a solution to

Yes — that’s correct. Programs with a fixed amount of execution time always terminate. That’s why we add timeouts to executions, because they’re a solution to the halting problem, which guarantees execution flow of our machines always returns at some point.