diff options
| author | W-M-T | 2016-04-27 17:25:34 +0200 |
|---|---|---|
| committer | W-M-T | 2016-04-27 17:25:34 +0200 |
| commit | e0ddd93e7fc4dabeae211a4a382b8c85195647af (patch) | |
| tree | 7619f4717505d0601cbc572fd3b4cd59d4be37c5 /rulesexec.tex | |
| parent | small fix (diff) | |
another 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 f24bafd..9b4b939 100644 --- a/rulesexec.tex +++ b/rulesexec.tex @@ -51,8 +51,8 @@ $$ \parsestr s = \begin{cases} \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\backslash\{`''`\}$}\\ + `\backslash`~k~\parsestr{s'} & \text{als $s=cs'$ met $c=$`$\backslash$`~$k$ en $k\in\Char$}\\ + c~\parsestr{s'} & \text{als $s=cs'$ met $c \in\Char\backslash\{`''`, `\backslash`\}$}\\ \end{cases} $$ Het tweede geval van $\parsestrop$ zorgt ervoor dat ge-escapete aanhalingstekens de string niet beëindigen. |