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$.