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

|תוכן=לכל שפה רגולרית <math>L</math> קיים מספר <math>n</math> כך שעבור כל מילה בשפה <math>x\in L</math> ארוכההארוכה מ-<math>n</math>, ניתן לפרק את המילה <math>x</math> לשלושה חלקים כך ש-<math>x=uvw</math>, ומתקיים