diff options
Diffstat (limited to 'defstate.tex')
| -rw-r--r-- | defstate.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/defstate.tex b/defstate.tex index b748c98..78da137 100644 --- a/defstate.tex +++ b/defstate.tex @@ -17,7 +17,7 @@ $\lambda$ in overeenstemming met de documentatie \cite{safalra}: \end{quote} Een toewijzing van $\val$ aan $\var$ noteren we als $\var\mapsto\val$. Een -store is een verzameling zulke toewijzingen, zodat we bijvoorbeeld +store noteren we als een verzameling van zulke toewijzingen, 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 |