Operational semantics

As for any programming language, the underlying computing machinery operates on concrete entities. These entities can be sequences of signed binary digits, or any of the notation systems for real numbers discussed in Chapter 7 below. This underlying machinery is called the operational semantics of the language. It is this is what makes the language into a computer language.