אוטומטים ושפות פורמליות/אוטומט מחסנית: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
התעצלתי ולקחתי מויקיפדיה. נשתמש כבסיס. קרידיטים בויקי. |
|||
שורה 58:
באופן כללי יכול להיות ש-<math>\ L_f(M)\ne L_e(M)</math>, כלומר השפה שאוטומט מזהה על ידי הגעה למצב מקבל שונה מהשפה שהוא מזהה על ידי ריקון המחסנית. עם זאת, קיימת שקילות בין שני אופני הקבלה: אם שפה כלשהי <math>\ L</math> מזוהה על ידי הגעה למצב מקבל בידי אוטומט מחסנית כלשהו, קיים אוטומט מחסנית (לא בהכרח אותו אחד) שמזהה אותה על ידי ריקון המחסנית, ולהפך.
==דוגמא ==
[[תמונה:Automateapile.png]]
|