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