Mathematical model of computation