diff options
| author | W-M-T | 2016-04-27 23:05:25 +0200 |
|---|---|---|
| committer | W-M-T | 2016-04-27 23:05:25 +0200 |
| commit | 2829fe7e9f1d8c5903c979eb217a32d1eecc0fb3 (patch) | |
| tree | 83f51eaab7668ff63fd16f3317c9dd60c072cd29 /rulesexec.tex | |
| parent | Input regel (diff) | |
Fixes
Diffstat (limited to 'rulesexec.tex')
| -rw-r--r-- | rulesexec.tex | 8 |
1 files changed, 4 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} $$ |