model of computation

mathematical model describing how an output of a function is computed given an input