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