Definition:Flow Chart/Interpretation

Definition

Let $C = \struct {F, P, V, E}$ be a flow chart.

Let $X$ be a set.

For each $g \in F$, let $f_g : X \to X$ be a partial mapping on $X$.

For each $q \in P$, let $p_q \subseteq X_q \subseteq X$ be a unary relation defined on a subset $X_q$ of $X$.

Then, $\struct {X, \set {f_g}, \set {p_q}}$ is an interpretation for $C$.

Sources

• 1974: S. Rao Kosaraju: Analysis of Structured Programs (J. Comput. Syst. Sci. Vol. 9, no. 3: pp. 232 – 255)