Finite Program Run

program-proofing

Definition

Finite Program Run

A finite program run is a program run with finitely many configurations.

Formally,

$${\gamma }_0\Rightarrow {\gamma }_1\Rightarrow \cdots \Rightarrow {\gamma }_k$$

for some $k\in \mathbb{N}$.