אוטומטים ושפות פורמליות/אוטומט מחסנית: הבדלים בין גרסאות בדף

מכיוון שהאוטומט אי דטרמיניסטי, לכל שלשה של מצב, אות קלט ואות מראש המחסנית מותאמת '''קבוצה''' של זוגות אפשריים של מצב שאליו עוברים ואות שמוכנסת לראש המחסנית. לכן טווח פונקציית המעברים הוא <math>\ \mathrmmathcal{P}\left(Q\times(\Gamma^*\cup\{\varepsilon\})\right )</math> - קבוצת החזקה של כל הזוגות האפשריים (כאשר אנחנו מאפשרים לא לכתוב כלום למחסנית, כלומר לכתוב <math>\varepsilon</math>, כי כזכור, <math>\{\varepsilon\}\in\Gamma^*</math>). עם זאת, מניחים כי רק תת-הקבוצות '''הסופיות''' של זוגות שכאלו יכולים להתקבל באמצעות פונקציית המעברים (כלומר, מספר דרכי הפעולה השונות של האוטומט בהינתן מצב, אות קלט ואות מראש המחסנית הוא סופי).