In the cash register model each update is of the form formula_5, so that formula_6 is incremented by some positiveinteger formula_7.
В «кассовой» модели каждое «обновление» представляется в форме formula_5 и модифицируют вектор таким образом, что formula_6 увеличивается на некоторое положительное целое число formula_7.