برنامه‌نویسان معمولا به‌دنبال حداقل‌سازی زمان اجرای کدهای خود هستند؛ اما در سال ۱۹۶۲، تیبور رادو، ریاضی‌دان مجارستانی، مسئله‌ای مخالف را مطرح کرد. او پرسید: «برنامه‌ی ساده‌ی کامپیوتری قبل از توقف چه مدت اجرا می‌شود؟» برخی برنامه‌ها به‌شدت ناکارآمد هستند؛ اما باز‌هم به کارشان ادامه می‌دهند. رادو نام مستعار «سگ‌های آبی مشغول» (Busy Beaver) را به این برنامه‌ها داد. یافتن برنامه‌های…
برچسب: ماشین تورینگ