Section 6
Section 6 Recursively defined functions. Semantics of Loops B: Booleanexpression C: Command... C ::=... | while B do C |...... C[[while B do C]] =
![Section 6 Recursively defined functions. Semantics of Loops B: Booleanexpression C: Command... C ::=... | while B do C |...... C[[while B do C]] =](https://static.fdocuments.us/doc/330x215/56649d7d5503460f94a60316/section-6-recursively-defined-functions-semantics-of-loops-b-booleanexpression.jpg)
