programmi olekut muutvad arvutused on kirjeldatud matemaatiliste väärtustena ja abstraktsete seostena nende väärtuste vahel