This paper deals with theory of compution