| OCR Text |
Show 21 The Statement Syntax statement :=<empty>|<expression>| go to <statement>| <variable><-<statement> j ^variable>as<statement> | if < statement >then< stat -:iTient>else< statement> |<identifier>:<statement> Iwhile<statement>do<statement> stafemenf variable rif -{gofoj-*- stafemeni-sf- afement variable "-»■(asj »■ statemenf statement ->-(Tise) 1 statement A identifier -5^-/ . \- statement ~-]statement I-*\§°)-HZ5Ete'^^Z] Semantics. All statements are considered to have value except for the go to statement (which is not considered to be a fundamental language concept, out is included for practical reasons). The go to initiates an unconditional branch in program control to the label specified by the (label-valued) <statement>. For the same reasons the labeled statement is not considered to be a language primitive. The other statement types will be considered separately, |