diff options
Diffstat (limited to 'defstate.tex')
| -rw-r--r-- | defstate.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/defstate.tex b/defstate.tex index e54c888..b748c98 100644 --- a/defstate.tex +++ b/defstate.tex @@ -29,10 +29,10 @@ $\str~k$. Vervolgens definiëren we $\putop:\SynString \times \SynString \times waarde en een oude store een nieuwe store oplevert: $$ - \put{\var}{\val}{\str} k = + \put{\var}{\val}{\str} \var' = \begin{cases} - \val & \text{als $k=\var$} \\ - \str~k & \text{als $k\ne\var$} + \val & \text{als $\var'=\var$} \\ + \str~\var' & \text{als $\var'\ne\var$} \end{cases} $$ |