diff options
| author | W-M-T | 2016-04-27 17:21:00 +0200 |
|---|---|---|
| committer | W-M-T | 2016-04-27 17:21:00 +0200 |
| commit | 45dda8feaa8fca31e15fc28cbe382b43d610123a (patch) | |
| tree | 2eeabdabbecd749e2d3d0188677a4a9f493f9bed /rulesexec.tex | |
| parent | Execute rule (diff) | |
small fix
Diffstat (limited to 'rulesexec.tex')
| -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. |