II. AND-EITHER objects

6. Atom, variable, valid value

Earlier in the Introduction, it was decided to distinguish:

• the formal system, here considered in the form of language AND-EITHER systems
• and its the semantics, that which puts in line with formulas and their implementation in technical systems

Therefore, it is also necessary to distinguish:

• "buttons, switches, their position and States, ..." from their "names" within the language AND-EITHER systems, which are called variables and their (valid) values
• the "real" temporal relations between the elements of their language images; in the first place - relations AND and the relations EITHER

For the future it will be enough to accept that there are a finite set of variables, and for each of them - a finite set of its values so that:

• those entities that are behind the variables coexist simultaneously
• different valid values of one variable correspond to the "positions" that exist in disjoint sets of moments of time
• if (names) of variables are different, the difference between the entities behind them is assumed
• there is nothing behind the coincidence (names) of the values of different variables - the question of the real relationship between the entities behind them is not considered here

In the language AND-EITHER systems recording of the form "variable=value" for example, "x=1" will be called formulas of atoms, or just atoms, between which the following relations are established:

• atoms of one variable with different values are connected by the relation EITHER
• atoms of different variables are connected by the relation AND

For further, in addition, it is necessary to divide the variables into non-overlapping data flow and control flow.

The latter will characterize the state of the blocks of technical systems and is "active" and "inactive".

Prev Next