Zmuuttujia
Zmuuttujia is a fictional term describing a class of mutable variables within a formal system called the Z-model. Used in theoretical discussions and educational contexts, Zmuuttujia denotes variables that can be reassigned as computation proceeds, producing observable state changes.
Etymology and scope: The name blends Finnish muuttuji a meaning “variables” with the prefix Z to indicate
Formal characteristics: A Zmuuttuja is identified by a name that often begins with Z. Its value resides
Example: Let z1 := 0; let z2 := z1 + 2; z1 := z2 * 3. After evaluation, z1 = 6 and
Usage and reception: Zmuuttujia are primarily used in teaching to illustrate concepts of state, binding, and