diff options
| -rw-r--r-- | task6.tex | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -91,7 +91,7 @@ In het geval van structureel operationele semantiek hebben we afleidingsrijen va \transl{\scomp{\sass{x}{-1}}\orwhile}s \dimpl^* & \transl{\orwhile}s \\ \dimpl\enspace & \dots\\ \end{align*} -Volgens mij zijn de twee semantieken voor dit statement dus \emph{niet} gelijk, want natuurlijke semantiek garandeert dat het statement op elke toestand termineert, terwijl structureel operationele semantiek dit niet doet. +Volgens mij zijn de twee semantieken voor dit statement dus \emph{niet} equivalent, want natuurlijke semantiek garandeert dat het statement op elke toestand termineert, terwijl structureel operationele semantiek dit niet doet. \end{document} |