diff options
Diffstat (limited to 'defstate.tex')
| -rw-r--r-- | defstate.tex | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/defstate.tex b/defstate.tex index 4dee41e..135aeea 100644 --- a/defstate.tex +++ b/defstate.tex @@ -16,6 +16,12 @@ $\lambda$ in overeenstemming met de documentatie \cite{safalra}: variable values are initially set to the empty string. \end{quote} +Een toewijzing van $\val$ aan $\var$ noteren we als $\var\mapsto\val$, zodat we +bijvoorbeeld $\{\texttt{x}\mapsto\texttt{hello world}\}$ noteren voor de store +die \texttt{x} naar ``hello world'' stuurt. We laten de strings die naar +$\lambda$ sturen normaal gesproken weg. De initiële store schrijven we dus als +$\emptystore$. + Om de waarde van een key $k$ uit store $\str$ te halen gebruiken we simpelweg $\str~k$. Vervolgens definiëren we $\putop:\SynString \times \SynString \times (\String\to\String) \to (\String\to\String)$ die gegeven een variabelenaam, een |