24.3. Семантика простейших примеров

1. Пример 2 с примитивной формулой:

говорит о том, что в любой момент времени, когда поток управления делает активной конструкцию этой формулы, значение переменной x оказывается равно 1, что образует набор характерных черт поведения.

Формула при этом обретает привычный линейной вид x=1.

2. Пример 3 с формулой:

говорит о том, что в любой момент времени, когда поток управления делает активной конструкцию этой формулы, значение переменных x и yоказывается равно 1, что образует набор характерных черт поведения.

Формула при этом обретает привычный линейной вид (x=1,y=1).

3. Пример 5 с формулой:

говорит о том, что в любой момент времени, когда поток управления делает активной конструкцию этой формулы, значение переменной x оказывается равно 1, 2, либо x=3, что образует набор характерных черт согласованной системы.

Формула при этом обретает привычный линейной вид (x=1/x=2/x=3).

Назад Вперёд