datatype
com = SKIP
| Assign vname aexp (\<open>_ ::= _\<close> [1000, 61] 61)
| Seq com com (\<open>_;;/ _\<close> [60, 61] 60)
| If bexp com com (\<open>(IF _/ THEN _/ ELSE _)\<close> [0, 0, 61] 61)
| While bexp com (\<open>(WHILE _/ DO _)\<close> [0, 61] 61)
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
