אוטומטים ושפות פורמליות/אוטומט מחסנית: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←תיאור לא פורמלי: תמונה |
|||
שורה 67:
==דוגמא ==
מה מבצע אוטומט המחסנית הבא:
<center>[[קובץ:Palindrom pushdown automaton.png]]</center>
ראשית יש להסביר את הסימון. כל מעבר מסומן בשלושה תווים מהצורה <math>a, b\to c</math> ומשמעותו שאם בסרט הקלט מופיעה האות <math>a</math>
ובראש המחסנית האות <math>b</math>, אזי האוטומט שולף את האות העליונה במחסנית, כותב במקומה <math>c</math> ומשנה את המצב בהתאם למעבר. אין הכרח לכתוב/לשלוף מהמחסנית אות בכל מעבר: אם לא נכתב דבר למחסנית <math>c=\epsilon</math>, ואם לא נקרא (נשלף) דבר מהמחסנית אזי <math>b=\epsilon</math>.
{{אוטומטים ושפות פורמליות|מוגבל}}
|