הבדלים בין גרסאות בדף "אוטומט מחסנית"

מ
שימוש בתבנית {{פא"ר}}
מ (שימוש בתבנית {{פא"ר}})
באופן כללי יכול להיות ש-<math>\ L_f(M)\ne L_e(M)</math>, כלומר השפה שאוטומט מזהה על ידי הגעה למצב מקבל שונה מהשפה שהוא מזהה על ידי ריקון המחסנית. עם זאת, קיימת שקילות בין שני אופני הקבלה: אם שפה כלשהי <math>\ L</math> מזוהה על ידי הגעה למצב מקבל בידי אוטומט מחסנית כלשהו, קיים אוטומט מחסנית (לא בהכרח אותו אחד) שמזהה אותה על ידי ריקון המחסנית, ולהפך.
== לקריאה נוספת ==
*{{פא"ר|מספר=93|שם שמואל זקס ונסים פרנסיז, '''הספר=אוטומטים ושפות פורמליות''',|כותב=שמואל [[האוניברסיטהזקס הפתוחה]],ונסים פרנסיז|שנה=2000.}}
[[קטגוריה:אוטומטים]]
 
[[קטגוריה:אוטומטים]]
 
[[en:Pushdown automaton]]