diff options
| -rw-r--r-- | rulesexec.tex | 8 | ||||
| -rw-r--r-- | smurf.sty | 2 |
2 files changed, 6 insertions, 4 deletions
diff --git a/rulesexec.tex b/rulesexec.tex index 25db4d6..127fe7e 100644 --- a/rulesexec.tex +++ b/rulesexec.tex @@ -38,7 +38,7 @@ $$ \begin{cases} \lambda & \text{als $s=\lambda$}\\ \parsepgm{s'} & \text{als $s=c~s'$ met $c$ whitespace}\\ - \parsestr{s'} & \text{als $s=\texttt{"}~s'$} \\ + \parsestr{s'} & \text{als $s=\texttt{\char`\"}~s'$} \\ \StmCat:\parsepgm{s'} & \text{als $s=\texttt{+}~s'$} \\ \StmHead:\parsepgm{s'} & \text{als $s=\texttt{h}~s'$} \\ \StmTail:\parsepgm{s'} & \text{als $s=\texttt{t}~s'$} \\ @@ -58,11 +58,11 @@ Dit is in overeenkomst met de specificatie, maar op zich niet nodig. $$ \parsestr s = \begin{cases} - \lambda:\parsepgm{s'} & \text{als $s=\texttt{"}~s'$} \\ - k~\parsestr{s'} & \text{als $s=\texttt{\textbackslash}~k~s'$ met + \lambda:\parsepgm{s'} & \text{als $s=\texttt{\char`\"}~s'$} \\ + \texttt{\textbackslash}~k~\parsestr{s'} & \text{als $s=\texttt{\textbackslash}~k~s'$ met $k \in\Char$} \\ c~\parsestr{s'} & \text{als $s=c~s'$ met $c - \in\Char\setminus\{\texttt{"}\}$}\\ + \in\Char\setminus\{\texttt{\char`\",\textbackslash}\}$}\\ \end{cases} $$ @@ -58,6 +58,8 @@ \def\rgetns{\rule{get}{ns}} \def\rputns{\rule{put}{ns}} \def\rinputns{\rule{input}{ns}} +\def\routputns{\rule{output}{ns}} + \def\rexecns{\rule{exec}{ns}} % Common names |