The basic Model of computation