exercise sheet 7 mbes

Question

Hello,

Could you give more details on how to do exercise 1 of exercise sheet 7? What should we do after rewriting the statement loop S by some Core Statements on slide 72 of the chapter of Imperative Synchronous Languages?

Answer 1

The control-flow predicates insd, inst, enter, term, and move have been defined for a core set of statements. The loop statement is not one of the core statements and can be expressed by the core statements. Once that is done, you can apply the definitions for the control-flow statements to compute insd(loop S), inst(loop S), enter(loop S), term(loop S) and move(loop S).