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

תוכן שנמחק תוכן שנוסף
Gran (שיחה | תרומות)
מ ←‏דוגמא: הגהה
←‏תיאור פורמלי: תיקון תקלדה
שורה 17:
קיימים מספר מודלים שקולים לתיאור אוטומט מחסנית.
* מודל ריקון המחסנית: במודל זה האוטומט מתחיל כשבמחסנית יש תו מיוחד. ברגע שמרוקנים את המחסנית (אם הקלט הסתיים) המילה מתקבלת על-ידי המכונה.
* מוגלמודל מצבים מקבלים: מודל זה דומה למודל האוטומט הסופי - מילה מתקבלת אם סיום עיבוד המילה הוא במצה סופי, ללא קשר למצב המחסנית.
ההגדרה הפורמלית, לפיכך, יכולה להכיל תיאור של מצבים מקבלים <math>F</math>, או לא להכילה. כמו כן התיאור יכו להכיל את התו המיוחד הקיים במחסנית, או לא להגדירו, בהתאם למודל הרצוי. אנחנו נשתמש בתיאור המכיל את כל הרכיבים, כך שניתן להגדיר את מודל החישוב הרצוי בשתי הדרכים לעיל.