אוטומטים ושפות פורמליות/תכונות של שפות רגולריות/למת הניפוח לשפות רגולריות: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
שורה 15:
{{משפט
|שם=למת הניפוח לשפות רגולריות
|תוכן=לכל שפה רגולרית <math>L</math> קיים מספר <math>n</math> כך שעבור כל מילה בשפה <math>x\in L</math>
# <math>|v|>0</math>
# <math>|uv|\le n</math>
|