اتومات‌ های قطعی پشته‌ای
در نظریه اتوماتا یک اتومات‌های قطعی پشته‌ای (Deterministic Pushdown Automaton) یک نمونه از تمامی اتومات‌ های پشته‌ای می‌باشد.
ماشین اتومات‌ های قطعی پشته‌ای زبان مستقل از متن قطعی را می‌پذیرد که زیرمجموعه‌ای از تمامی زبان‌های مستقل از متن است.

انتقال‌های ماشین براساس وضعیت موقعیت فعلی و نماد ورودی و نماد بر روی استک تعیین می‌شود و قابل ذکر است که نمادهای پایین‌تر در پشته قابل
رویت نبوده و همچنین اثر فوری ندارند. اقدامات ماشین شامل حل دادن، ظاهر یا یا جایگزینی پشته بالا می‌باشد.

اتوماسیون پشته‌های قطعی حد اکثر یک انتقال قانونی برای همان ترکیب از نماد ورودی، حالت و نماد بالایی پشته می‌باشد.
این همان نقطهٔ تفاوت (اتوماسیون پشته‌های قطعی) از پشته‌های غیر قطعی می‌باشد.

زبان‌های شناخته شده
-------------------

اگر (L(A یک زیان پذیرفته شده توسط ماشین پشته‌ای باشد A در صورتی می‌تواند توسط یک ماشین پشته‌ای قطعی پذیرفته شود اگر و تنها اگر یک محاسبات از پیکربندی اولیه انجام گیرد تا همهٔ رشته‌های متعلق به (L(A مورد پذیرش واقع شود.

اگر (L(A بتواند توسط یک ماشین پشته‌ای پذیرفته شود یک زبان مستقل از متن است و اگر بتواند توسط یک ماشین پشته‌ای قطعی پذیرفته شود یک گرامر
مستقل از متن قطعی می‌باشد.

همهٔ زبان‌های مستقل از متن قطعی نخواهند بود. این موضوع ماشین پشته‌ای قطعی را بسیار ضعیف تر از ماشین پشته‌ای نشان می‌دهد.

برای مثال:

زبان مستقل از متن متقارن (palindrome) با طول زوج توسط ماشین پشته‌ای پذیرفته می‌شود اما توسط ماشین پشته‌ای قطعی پذیرفته نمی‌شود.

بستار
-----

بستار زبان مستقل از متن قطعی کاملاً متفاوت از زبان مستقل از متن است.

به عنوان مثال آن‌ها تحت عمل مکمل بسته می‌باشد. اما تحت اجتماع بسته نمی‌باشد. اثبات این که زبان مستقل از متن قطعی تحت عمل مکمل بسته‌است سخت
و دشوار می‌باشد.

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

هم‌ارزی
-------

«گراد شینای ژروژ» (Geraud Senizergues) ثابت کرده‌است که هم‌ارزی ماشین پشته‌ای قطعی تصمیم پذیر می‌باشد؛ که این کار را او در سال ۲۰۰۲ انجام داد.

منابع
-----


| * ن
* ب
* و
نظریه اتوماتا: زبان صوری و دستور زبان‌های صوری |
| --- |
| 

|  |  |  |  |
| --- | --- | --- | --- |
| وراثت چامسکی | دستور زبان صوری | زبان صوری | دستگاه انتزاعیs |
|  |
| 
* Type-0
* —
* Type-1
* —
* —
* —
* —
* —
* Type-2
* —
* —
* Type-3
* —
* —

 | 
* Unrestricted
* (no common name)
* گرامر حساس به متن
* Positive range concatenation
* گرامر نمایه‌سازی‌شده
* —
* تعمیم گرامر مستقل از متنs
* گرامر درخت مجاورت
* گرامر مستقل از متن
* گرامرهای مستقل از متن قطعی
* Visibly pushdown
* دستور زبان منظم
* —
* قواعد بازگشتی

 | 
* زبان شمارش‌پذیر بازگشتی
* زبان بازگشتی
* زبان حساس به متن
* Positive range concatenation\*
* زبان نمایه‌سازی‌شده\*
* —
* تعمیم گرامر مستقل از متن
* گرامر درخت مجاورت
* زبان مستقل از متن
* زبان مستقل از متن قطعی
* حروف معین
* زبان منظم
* Star-free
* زبان منظم

 | 
* ماشین تورینگ
* ماشین تورینگ کامل
* آتاماتای خطی کران‌دار
* کلاس پی Turing Machine
* ماشین پشته‌ای مشبک
* اتوماتای نخی
* —
* ماشین پشته‌ای جاسازی‌شده
* اتوماتون پشته‌ای
* ماشین قطعی پشته‌ای
* حروف معین
* ماشین حالات متناهی
* Counter-free (with aperiodic finite monoid)
* ماشین غیر مدور قطعی متناهی

 |

 |
|  هر دسته‌ای از زبان‌ها، به جز آنهایی که با علامت ستاره علامتگذاری شده‌اند، زیرمجموعه مناسبی از دسته‌ای است که مستقیماً در بالای آن قرار دارد. هر زبانی، در هر دسته، به وسیله یک دستور زبان و یک اتومیشن در آن دسته و در سطر مشابه تولید می‌شود. |