diff options
| -rw-r--r-- | rulesexec.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rulesexec.tex b/rulesexec.tex index b4f5d1a..f24bafd 100644 --- a/rulesexec.tex +++ b/rulesexec.tex @@ -50,9 +50,9 @@ Het tweede geval van $\parsepgmop$ zorgt ervoor dat een programma-string spaties $$ \parsestr s = \begin{cases} - \lambda:\parsepgm{s'} & \text{als $s=cs'$ met $c=$'~'''}\\ + \lambda:\parsepgm{s'} & \text{als $s=cs'$ met $c=$`''`}\\ `\backslash`~`''`~\parsestr{s'} & \text{als $s=cs'$ met $c=$`$\backslash$`~`''`}\\ - c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char$}\\ + c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char\backslash\{`''`\}$}\\ \end{cases} $$ Het tweede geval van $\parsestrop$ zorgt ervoor dat ge-escapete aanhalingstekens de string niet beëindigen. |