diff options
Diffstat (limited to 'deftrans.tex')
| -rw-r--r-- | deftrans.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deftrans.tex b/deftrans.tex index 2a9fb34..d83bf55 100644 --- a/deftrans.tex +++ b/deftrans.tex @@ -1,7 +1,7 @@ % vim: set spelllang=nl: \subsection{Transities} \label{sec:def:trans} -We hebben gekozen om de semantiek van Smurf in natuurlijke semantiek te definiëren. In principe hadden we er ook voor kunnen kiezen om te gaan voor structurele operationele semantiek, echter denk wij dat we door het gebruik van natuurlijke semantiek meer kunnen in onze analyse. +We hebben gekozen om de semantiek van Smurf in natuurlijke semantiek te definiëren. In principe hadden we er ook voor kunnen kiezen om te gaan voor structurele operationele semantiek, echter denken wij dat we door het gebruik van natuurlijke semantiek meer kunnen in onze analyse. Bij het definiëren van de natuurlijke semantiek van Smurf zullen we de verzameling van transities als een relatie $\to$ tussen |