اتوماتون پشته‌ای

اتوماتون پشته‌ای صوری‌سازی این مفهوم شهودی، یک تعریف دقیق از آتاماتون پشته‌ای بدست می‌دهد.
تعریف:
یک پذیرنده‌ی پشته‌ای غیر قطعی(npda) به شکل ( M=(Q،∑، ، ∂،qo،z،F
نمایش داده می‌شود، بطوری‌که در آن
Qیک مجموعه نامتناهی از حالت‌های داخلی واحد کنترل است،
∑الفبای ورودی است،
یک مجموعه متناهی از نشانه‌ها که الفبای پشته نامیده می‌شود،
(∂:Q×(∑{⋋)× تابع انتقال،
Q0€Q حالت اولیه واحد کنترل است،
z€≤Qنشانه‌ی شروع پشته است
شکل پیچیده دامنه و برد تابع انتقال نیاز به بررسی بیشتری دارد.آرگومان ∂ حالت‌های فعلی واحد کنترل، نشانه ورودی فعلی و نشانه‌ی بالای پشته است.نتیجه یک مجموعه از زوج‌های (q،x) می‌باشد که در آن q حالت بعدی در واحد کنترل است.رشته‌ی x نیز به جای نشانه‌ای که اکنون بر روی پشته است قرار می‌گیرد.به خاطر داشته باشیم که دومین آرگومان∂ ممکن است برابر با⋋ باشد؛ بنابراین حرکتی که هیچ نشانه‌ای را از ورودی مصرف نمی‌کند امکان پذیر است.
به چنین حرکتی، یک انتقال -⋋ گفته می‌شود.همچنین ∂ طوری تعریف شده‌است که به نشانه‌ی موجود بر روی پشته نیاز دارد. اگر پشته خالی باشد هیچ حرکتی ممکن نیست.بالاخره اینکه، برد تابع انتقال یابد باید یک زیرمجموعه محدود باشد زیرا Q× نامتناهی بوده و بنابراین دارای تعداد نامتناهای زیرمجموعه است. در حالیکه یک npda ممکن است . انتخاب‌های زیادی برای حرکت داشته باشد، این انتخاب‌ها باید به یک مجموعه متناهی از حالت‌ها محدود باشد.
فرض کنید که مجموعه‌ی قانون‌های انتقال یک npdaشامل
∂(q1،a،b)={(q2،cd)،(q3،⋋)
باشد . اگر در یک لحظه‌ی مشخص، واحد کنترل در حالت q1، نشانه ورودی برابر با a و نشانه موجود در بالای پشته نیز برابر با b باشد، یکی از دو مورد زیر اتقاف می‌افتد:
1)واحد کنترل به حالت q2 می‌رودو رشته‌ی cd جایگزین نشانه‌ی بالای پشته می‌شود.
2)واحد کنترل به حالت q3 می‌شود و نشانه‌ی b نیز از بالای پشته حذف می‌شود.
در این روش نشانه گذاری، اضافه کردن یک رشته به پشته، به صورت نشانه به نشانه و از انتهای راست آن رشته انجام می‌شود.
عملکرد
نمودار اتومات پشته‌ای
اتومات پشته‌ای با ماشین‌های حالات متناهی در دو چیز متفاوت اند:
1-آن‌ها میتوانند از قسمت بالا پشته استفاده کنند
که کدان انتقال صورت گیرد.
2-آن‌ها میتوانند پشته را به عنوان بخشی از انجام
انتقال دستکاری کنند.
اتوماتون پشته‌ای انتقال را انتخاب می‌کند که با نمایه‌سازی یک جدول توسط سیگنال ورودی، وضعیت فعلی و نماد در بالای پشته است.این به این معنا است که این سه پارامتر مسیر انتقال را انتخاب می‌کنند.ماشین‌های وضیعت محدود تنها به سیگنال‌های ورودی وحالت حاضر نگاه می‌کنند.اتومات پشته‌ای, پشته‌ای را به عنوان پارامتری برای انتخاب اضافه می‌کنند.
انوماتون پشته‌ای می‌تواند بخشی از پشته را برای انتقال دستکاری کنند.ماشین‌های وضیعت محدود حالت جدیدی را که نتیجه انتقال است را انتخاب میکند.دستکاری‌ها یا میتوانند به صورت وارد یا خارج کردن نماد خاصی از پشته باشد.دستکاری شدن یا نشدن توسط جدول انتقال معلوم می‌شود.
با هم شدن:با توجه به سیگنال ورودی، وضعیت فعلی و نماد پشته،اتومات می‌تواند دنبال کند انتقال را به حالت دیگر و به صورت اختیاری پشته را دستکاری کند.
به‌طور کلی اتوماتون پشته‌ای ممکن است محاسبات متعددی روی سیگنال‌های ورودی انجام دهد.اگر در هر موقعیت فقط یک انتقال برای ادامه محاسبات باشد در آن صورت نتیجه ا است.(DPDA) در غیر این صورت اتوماتون پشتهای غیر قطعی می‌شود(NDPDA) .تنها در گرامر مستقل از متن می‌شود گرامرهای مبهم را از طریق DPDA یعنی گرامرمستقل از متن قطعی,شناخت.تمام گرامرهای مستقل از متن , قطعی نیستند و مشکل شناخت گرامر مستقل از متن قطعی حل نشده است. به عنوان یک نتیجه از بالا DPDA یک نوع به شدت ضعیف‌تر از PDA است و هیچ الگوریتم برای تبدیل PDA به معادل DPDA وجود ندارد.
اگرما اجازه دسترسی به 2 پشته به جای یک پشته داشتیم آنگاه وسیله‌ای قوی به مانند ماشین تورینگ داشتیم.اتوماتون خطی محدود ابزاری قوی‌تر از اتوماتون پشته‌ای است ولی از ماشین تورینگ ضعیف‌تر است.
تعریف رسمی
مااز نمادهای استاندارد زبان رسمی استفاده می‌کنیم: به رشته‌ای از حروف و و به رشته‌ای خالی اشاره میکند.
یک PDA عموما با 7 عنصر مشخص می‌شود:
که :
مجموعه محدودی از حالت هاست.
مجموعه محدودی است که الفبای ورودی میگویند.
مجموعه محدودی است که الفبای پشته گویند.
زیرمجموعه‌ای از (رابطه انتقال)
حالت آغازین.
نماد پشته اولیه.
مجموعه‌ای از حالات پذیرفته شده.
عنصر تابع انتقال است.
تابع انتقال است.
محاسبات
مرحله از اتوماتون پشته‌ای
به منظور معناشناسی از ماشین پایین فشردنی شرح وضعیت فعلی معرفی شده‌است.هر سه عنصر شرح لخظه‌ای گویند(ID), که شامل حالت کنونی و قسمتی از نوار ورودی که خوانده نشده است و محتویات پشته می‌شود.رایطه انتقال رابطه گام به گام of در هر لحظه تعریف میکند.برای ساختار مرحله , برای هر و هر وجود دارد.
اتوماتون پشته‌ای عموما تبعیض ناپذیرند که در حالت لحظه‌ای چندین راه ممکن است باشد.هر کدام از این روش‌ها ممکن است انتخاب شوند.با تعاریف بالا در هر مرحله سمبل منفرد از بالای پشته خارج می‌شود و با نمادهایی که لازم‌تر است جایگزین می‌شود.به عنوان نتیجه هیچ مرحله‌ای که زمانی پشته خالی است انجام نمی‌شود.
محاسبات اتوماتون پشته‌ای دنباله‌ای از مراحل است.محاسبات با حالت اولیه و سمبل پشته‌ای اولیه و رشته ورودی آغاز می‌شود, بنابراین در حالت اولیه داریم .دو حالت پذیرش اولیه داریم.روش دیگر پذیرش از طریق حالت نهایی است.به این معنی است که پس از خواندن ورودی آن ماشین به یک حالت مورد قبول میرسد یا به وسیله پشته خالی پذیرش می‌شود.حالت پذیرش برای اولین بار با استفاده از حافظه داخلی و حلت دوم توسط حافظه خارجی است.
بعبارت دیگر تعریف کنیم:
و با
با
برای هر اتوماتون پشته‌ای این دو رابطه ربطی به هم ندارند.شاید در بعضی جاها با هم برابر باشند ولی دلیلی بر یکی بودن نیست.مشخصات ماشین نیز باید حالت مورد نظر را پذیرش می‌باشد.در تمامی اتوماتون پشته‌ای 2 حالت پذیرش بیانگر زبان یکی‌اند.
توصیف آنی
توصیف آنی یک سه‌تایی منظم به فرم (q,w,) است که در آن:
1- q یک حالت باشد.
2- w باقیمانده رشته ورودی باشد.
3-  محتویات پشته باشد.
را یک توصیف آنی از ماشین پشته‌ای می‌نامیم.
دقت کنید که در نگارش فوق سمت چپ‌ترین نماد ، بالاترین عضو پشته است. ضمنا برای نمایش حروف الفبا معمولا از b,a,…. ، برای نمایش حرف‌های پشته از Y,X,… و برای نمایش محتویات پشته از ,,و… استفاده می‌شود.
مثال
در پایین شرح یک PDA را داریم که زبان را از طریق حالت نهایی نشان می‌دهد:
PDA for (by final state))
, که:
متشکل از شش دستورالعمل‌های زیر است:
, و
آشنایی با روند محاسبات
محاسبات پذیرش شده برای:
در زیر فرق محاسبات را در رشته‌های متفاوت در PDA نشان میدهیم:
الف)رشته ورودی:0011 .با توجه به حرکت از حالت به حالت , انواع مختلف محاسبات داریم. و فقط یکی از اینان قبول است.
(i) .حالت نهایی مورد پذیرش است ولی ورودی این راه خواندن را قبول نمی‌کند.
(ii) .مراحل دیگر امکان پذیر نیست.
(iii) .پذیرش محاسبه: در حالت پذیرش به پایان میرسد.، در حالی که ورودی کامل خوانده شده‌است.
ب)رشته ورودی=00111.انواع مختلف محاسبه داریم.هیچ کدام مورد قبول نیست.
(i) .حالت نهایی مورد پذیرش است ولی ورودی این راه خواندن را قبول نمی‌کند.
(ii) .مراحل دیگر امکان پذیر نیست.
(iii) . حالت نهایی مورد پذیرش است ولی ورودی این راه خواندن را قبول نمی‌کند.
اتوماتون پشته‌ای عمومی GPDA
یک نوع PDA است که رشته‌هایی را با طول مساوی درون پشته مینویسد وتمام رشته هارا از پشته خارج میکند.
یک GPDA 6 عنصر تعریف می‌شود.
که:
, , q 0 و F همان تعریف در PDA دارد و
: تابع انتقال است.
قوانین محاسبه در GPDA مانند PDA است با این تفاوت که a i+1 و b i+1‌ها به جای نماد , رشته است.
یکی می‌تواند اثبات تحلیلی برای هم ارزی از GPDA و PDAها را با استفاده از شبیه‌سازی زیر تدوین و فرموله کند:
Let (q 1 , w, x 1 x 2 …x m ) (q 2 , y 1 y 2 …y n ) be a transition of the GPDA
where , , , , , .
Construct the following transitions for the PDA:
(q 1 , w, x 1 ) (p 1 , )
(p 1 , , x 2 ) (p 2 , )
(p m-1 , , x m ) (p m , )
(p m , , ) (p m+1 , y n )
(p m+1 , , ) (p m+2 , y n-1 )
(p m+n-1 , , ) (q 2 , y 1 )
ماشین پشته
گرامر مستقل از متن
ماشین‌های حالات متناهی