Final Program Configuration

program-proofing

Definition

Final Program Configuration

A final program configuration is a program configuration of the form $\sigma \in \mathcal{S}$.

A final configuration represents a terminated program.