diff options
Diffstat (limited to 'rulestail.tex')
| -rw-r--r-- | rulestail.tex | 16 |
1 files changed, 1 insertions, 15 deletions
diff --git a/rulestail.tex b/rulestail.tex index dc93a3b..8ed1c58 100644 --- a/rulestail.tex +++ b/rulestail.tex @@ -11,18 +11,4 @@ afleidingsboom kunnen maken wanneer $\StmTail$ wordt uitgevoerd op het moment dat het element bovenop de stack de lege string is. Dit geeft de volgende regel: - -$$ -\begin{prooftree} - \trans - {\pgm}{\ip}{(\push{s}{\stk'}, \str)} - {\ip'}{\op}{\st} - \justifies - \trans - {\StmTail:\pgm}{\ip}{(\stk,\str)} - {\ip'}{\op}{\st} - \using{\rtailns} - \qquad - \text{met $ \pop{\stk} = (c~s,\stk') $.} -\end{prooftree} -$$
\ No newline at end of file +\thertailns% |