diff options
| -rw-r--r-- | deftrans.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/deftrans.tex b/deftrans.tex index 0ff04e5..aae4239 100644 --- a/deftrans.tex +++ b/deftrans.tex @@ -6,11 +6,11 @@ Bij het definiëren van de natuurlijke semantiek van Smurf zullen we de verzameling van transities als een relatie $\to$ tussen $\Pgm\times\Input\times\State$ en $\Input\times\Output\times\State$ beschouwen. Dit schrijven we als -$$\trans{\pgm}{\i}{\st}{\i}{\o}{\st}$$ +$$\trans{\pgm}{\ip}{\st}{\ip}{\op}{\st}$$ en lezen we als \begin{quote} - ``het programma $\pgm$ zal in toestand $\st$ gegeven input $\i$ leiden tot - toestand $\st$ met output $\o$ waarbij de input $\i$ niet geconsumeerd is.'' + ``het programma $\pgm$ zal in toestand $\st$ gegeven input $\ip$ leiden tot + toestand $\st$ met output $\op$ waarbij de input $\ip$ niet geconsumeerd is.'' \end{quote} We hebben het hele programma $\Pgm$ nodig voor de pijl, omdat één commando |