ممنون ولی استادمون موضوع های دیگه ای و گفته مثلا: ماشین URMوقوانینش وتوابع محاسبه پذیر و decidable predicate وجایگزینی وبازچینی. توابع شمارش پذیر و....
برا اینا منبعی چیزی ندارین؟؟