computation machine
ماشین محاسبه
برهان
proof
Alan Turing
آلن تورینگ
universal Turing machine
ماشین تورینگ جهانی
linear speedup theorem
قضیه سرعت بالای خطی
polynomial time
زمان چندجمله‌ای
ماشین تورینگ
Turing machine
ماشین تیورینگ