program-proofing Definition Finite Program Run A finite program run is a program run with finitely many configurations. Formally, for some .