Lecture on model of computation