Chapter 3, Problem 17RQ

Explanation of Solution

The entity is stored in the state of a program for denotational semantics:

As denotational semantics deals with mathematical modelling part of a program, thus state of a program is basically defined only in terms of values of all the programs variables. So, denotational semantics use state of program to describe meaning.

State change for denotational semantics is denoted by mathematical functions, used in programs, whereas in operational semantics the state change is being defined by coded algorithms written in some programming language.

Taking an example, let S be the set of ordered pairs as follows,

$s=\{\left(i_1,v_1\right),</$