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

תוכן שנמחק תוכן שנוסף
Gran (שיחה | תרומות)
Gran (שיחה | תרומות)
שורה 67:
 
==דוגמא ==
מה מבצע אוטומט המחסנית הבא:
[[קובץ:Automateapile.png]]
<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>.
 
 
 
{{אוטומטים ושפות פורמליות|מוגבל}}