Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

529 users

0 votes
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?
in * TF "Emb. Sys. and Rob." by (460 points)

1 Answer

0 votes
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).
by (166k points)

Related questions

0 votes
1 answer
asked Jan 7, 2023 in * TF "Emb. Sys. and Rob." by lu (460 points)
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Jan 11, 2023 in * TF "Emb. Sys. and Rob." by piskandar (220 points)
Imprint | Privacy Policy
...