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

מודל האוטומט הסופי חלש מדי, למשל אינו יכול להכריע שפות כגון <math>L=\{0^n1^n \mid n\in \mathbb{N}\}</math>, שלכאורה מאד פשוטות להכרעה, וניתן לכתוב בקלות תוכנות שמכרעיות שפה כנ"ל.

 

 

==דוגמא ==