Any (non-pathological) terminating computer program (including a non-terminating program that includes a step to forcibly stop at a certain clock time) has a c

Any (non-pathological) terminating computer program (including a non-terminating program that includes a step to forcibly stop at a certain clock time) has a closed form, it's just phenomenally complex. :)