اتوماتون و نظریه‌ی ماشین‌ها

اتوماتا

در سپتامبر سال ۱۹۳۹، بعد از اعلان جنگ بریتانیا علیه آلمان در جنگ جهانی دوم، آلن تورینگ، که او را پدر علوم کامپیو‌تر می‌دانند، خود را به اردوگاه بلچلی (Bletchley)، شهر کوچکی بین آکسفورد و کمبریج در انگلستان، معرفی کرد تا به تیم رمزگشایی ارتش انگلستان بپیوندد.

از سال ۱۹۲۳ ماشین‌های رمزنگاری Enigma به بازار تجهیزات ارتباطات نظامی آمده بودند و روزانه تعداد بسیار زیادی پیام‌ سرّی رمزنگاری شده توسط Enigma بین واحدهای مختلف ارتش آلمان رد و بدل می‌شد. بزرگ‌ترین وظیفه‌ی دانشمندان اردوگاه بلچلی رمزگشایی این پیام‌ها بود و تورینگ یک سال پس از ورودش به اردوگاه، یک ماشین الکترومکانیکی برای رمزگشایی تمام پیام‌های کدگذاری شده توسط Enigma طراحی کرد و اردوگاه بلچلی که تا قبل از تورینگ شاید ۵۰ پیام در هفته رمزگشایی می‌کرد، روزانه ۳۰۰۰ پیام رمزگشایی شده به ارتش انگلستان تحویل می‌داد. بسیاری عقیده دارند اگر ماشین رمزگشایی تورینگ ساخته نشده بود، جنگ سه سال بیشتر طول می‌کشید!

اما ساخت دستگاه رمزگشایی Enigma حکم اولین جرقه‌های ذهن تورینگ برای پایه گذاشتن علمی شد که به کامپیوترهای امروزی منجر شد: نظریه‌ی ماشین‌ها!

در این پرونده سعی داریم با شروع از ساده‌ترین ماشین ممکن و قابل تصور که آن را اتوماتون می‌نامیم، شما را با این مبحث آشنا کنیم.