1036 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1036 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1037 \begin{frame} |
1037 \begin{frame} |
1038 \frametitle{While-Language} |
1038 \frametitle{While-Language} |
1039 \mbox{}\\[-23mm]\mbox{} |
1039 \mbox{}\\[-23mm]\mbox{} |
1040 |
1040 |
1041 \bl{\begin{plstx}[rhs style=,one per line] |
1041 \bl{\begin{plstx}[rhs style=,one per line]: \meta{Stmt} ::= skip |
1042 : \meta{Stmt} ::= skip |
|
1043 | \meta{Id} := \meta{AExp} |
1042 | \meta{Id} := \meta{AExp} |
1044 | if \meta{BExp} then \meta{Block} else \meta{Block} |
1043 | if \meta{BExp} then \meta{Block} else \meta{Block} |
1045 | while \meta{BExp} do \meta{Block}\\ |
1044 | while \meta{BExp} do \meta{Block}\\ |
1046 : \meta{Stmts} ::= \meta{Stmt} ; \meta{Stmts} |
1045 : \meta{Stmts} ::= \meta{Stmt} ; \meta{Stmts} |
1047 | \meta{Stmt}\\ |
1046 | \meta{Stmt}\\ |
1048 : \meta{Block} ::= \{ \meta{Stmts} \} |
1047 : \meta{Block} ::= \{ \meta{Stmts} \} |
1049 | \meta{Stmt}\\ |
1048 | \meta{Stmt}\\ |
1050 : \meta{AExp} ::= \ldots\\ |
1049 : \meta{AExp} ::= \ldots\\ |
1051 : \meta{BExp} ::= \ldots\\ |
1050 : \meta{BExp} ::= \ldots\\\end{plstx}} |
1052 \end{plstx}} |
|
1053 |
1051 |
1054 \end{frame} |
1052 \end{frame} |
1055 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1053 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1056 |
1054 |
1057 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
1055 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |