diff options
| -rw-r--r-- | intro.tex | 13 | ||||
| -rw-r--r-- | introcoms.tex | 2 | ||||
| -rw-r--r-- | sosexamp.tex | 4 |
3 files changed, 5 insertions, 14 deletions
@@ -3,17 +3,8 @@ \label{sec:intro} Smurf is een esoterische programmeertaal oorspronkelijk ontworpen door Matthew -Westcott. In de specificatie~\cite{safalra} beschrijft hij kort wat Smurf is: -\begin{quote} - Smurf = String-based MURiel Forthoid - - Smurf is a tarpit based on the self-propagation paradigm featured in Muriel. - The only native data type is the string, and operations are carried out on - strings in a forty manner. -\end{quote} -Voor iemand die niet in de materie zit is deze beschrijving misschien wat -overweldigend. In het kort zijn de eigenschappen -van Smurf die het belangrijkst zijn de volgende: +Westcott. In het kort zijn de belangrijkste eigenschappen van Smurf de +volgende: \begin{itemize} \item Stack-geörienteerd: alle operaties werken op een stack van strings. \item Reflection: het is mogelijk (en in veel gevallen zelfs noodzakelijk) diff --git a/introcoms.tex b/introcoms.tex index adbf118..202f525 100644 --- a/introcoms.tex +++ b/introcoms.tex @@ -31,7 +31,7 @@ bespreken. Alle commando's betekenen nog steeds hetzelfde. \item[\smurfinline{g} of $\StmGet$] Zoekt de variabele op met als naam de bovenste waarde van de stack en zet de waarde van die variabele bovenop de stack. \item[\smurfinline{h} of $\StmHead$] - Vervang de string bovenop de stack door zijn eerste karakter. + Vervang de string bovenop de stack met zijn eerste karakter. \item[\smurfinline{t} of $\StmTail$] Zet alles behalve de head van de string bovenop de stack op de stack. \item[\smurfinline{q} of $\StmQuotify$] diff --git a/sosexamp.tex b/sosexamp.tex index 09271a1..641acb4 100644 --- a/sosexamp.tex +++ b/sosexamp.tex @@ -10,8 +10,8 @@ zijn. Wij hadden een voorkeur om natuurlijke semantiek te gebruiken omdat we hier meer bekend mee zijn. Echter willen we ook nog graag laten zien hoe het eruit zou zien als je structurele operationele semantiek zou gebruiken. -We gebruiken hier in plaats van de lambdaregel twee compositieregels om hiervan -ook het verschil aan te geven. +We gebruiken hier in plaats van de $\lambda$-regel twee compositieregels om +hiervan ook het verschil aan te geven. De twee compositieregels zijn als volgt: |