equal
deleted
inserted
replaced
627 \bl{\begin{tabular}{@{}lcl@{}} |
627 \bl{\begin{tabular}{@{}lcl@{}} |
628 $Stmt$ & $\rightarrow$ & $\text{skip}$\\ |
628 $Stmt$ & $\rightarrow$ & $\text{skip}$\\ |
629 & $|$ & $Id := AExp$\\ |
629 & $|$ & $Id := AExp$\\ |
630 & $|$ & $\text{if}\; B\!Exp \;\text{then}\; Block \;\text{else}\; Block$\\ |
630 & $|$ & $\text{if}\; B\!Exp \;\text{then}\; Block \;\text{else}\; Block$\\ |
631 & $|$ & $\text{while}\; B\!Exp \;\text{do}\; Block$\medskip\\ |
631 & $|$ & $\text{while}\; B\!Exp \;\text{do}\; Block$\medskip\\ |
632 $Stmt$ & $\rightarrow$ & $Stmt \;\text{;}\; Stmts$\\ |
632 $Stmts$ & $\rightarrow$ & $Stmt \;\text{;}\; Stmts$\\ |
633 & $|$ & $Stmt$\medskip\\ |
633 & $|$ & $Stmt$\medskip\\ |
634 $Block$ & $\rightarrow$ & $\{ Stmts \}$\\ |
634 $Block$ & $\rightarrow$ & $\{ Stmts \}$\\ |
635 & $|$ & $Stmt$\medskip\\ |
635 & $|$ & $Stmt$\medskip\\ |
636 $AExp$ & $\rightarrow$ & \ldots\\ |
636 $AExp$ & $\rightarrow$ & \ldots\\ |
637 $BExp$ & $\rightarrow$ & \ldots\\ |
637 $BExp$ & $\rightarrow$ & \ldots\\ |