recursion theorem
قضیه بازگشت
polynomial time
زمان چندجمله‌ای
nP-complete problem
مسئله np-کامل
تصمیم‌پذیری
decidability
Lambda calculus
حساب لاندا
recursively enumerable
شمارش‌پذیر بازگشتی
Church thesis
تز چرچ
Turing machine
ماشین تورینگ
register machine
ماشین ثبت
ماشین دستیابی تصادفی
random access machine
halting problem
مسئله توقف
computation machine
ماشین محاسبه
CONP problem
مسئله CONP
محاسبه‌پذیری
computability