recursion theorem
قضیه بازگشت
theorems of computer science
قضایای علوم کامپیوتر
computation machine
ماشین محاسبه
توابع بازگشتی
recursive functions