ماشین صف

ماشین صف یک ماشین حالت متناهی است که توانایی ذخیره و بازیابی اطلاعات را از یک صف با حافظه بی‌نهایت دارد. این یک مدل محاسباتی معادل ماشین تورینگ است و بنابراین می‌تواند همان کلاس زبان رسمی را پردازش کند.

تئوری 
یک ماشین صف با شش تایی زیر تعریف می‌شود:

 مجوعه حالات متناهی
 مجموعه متناهی الفبای ورودی
  صف محدود الفبا
  نماد اولیه صف است.
 حالت شروع
 تابع انتقال

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

که  نشانه ای از صف الفبا، یک دنباله از نمادهای صف()، و . توجه داشته باشید که ویژگی "first-in-first-out" از صف در رابطه وجود دارد.

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

تکامل تورینگ 
ما می‌توانیم ثابت کنیم که یک ماشین صف معادل یک ماشین تورینگ است. با نشان دادن اینکه ماشین صف می‌تواند دستگاه تورینگ را شبیه‌سازی کند و برعکس این امر اثبات می‌شود.

ماشین تورینگ را می‌توان با یک ماشین صف شبیه‌سازی کرد که محتویات ماشین تورینگ را در صف خود در همه زمان‌ها نگهداری می‌کند و دو نشانگر مخصوص در نظر گرفته می‌شود: یکی برای موقعیت آغاز TM و یکی برای پایان.انتقالات آن، از طریق آن دسته از TM که در سراسر صف اجرا می‌شود شبیه‌سازی می‌شود.

یک ماشین صف می‌تواند توسط یک ماشین تورینگ شبیه‌سازی شود، اما این شبیه‌سازی توسط ماشین تورینگ چندنواره بسیار راحت‌تر است. ماشین صف شبیه‌سازی شده ورودی را از یک نوار می‌خواند و در دومی ذخیره می‌کند و push و pop از صف با یک انتقال ساده به موقعیت آغاز و پایان نوار تعریف می‌شود.

کاربرد 
ماشین‌های صف می‌توانند مدل ساده ای را برای ایجاد معماری‌های کامپیوتری،زبان‌های برنامه‌نویسی یا الگوریتم ارائه دهند.

منابع 

اتوماتا (رایانش)
مدل‌های محاسباتی