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

למת הניפוח לשפה רגולרית משתמשת ומכלילה את הרעיון שהוצג בדוגמא לעיל: העובדה שלאוטומט מספר מצבים סופי גורם לכך שהקלטים שהאוטומט מקבל חייבים להיות במבנה מסויים. ספציפית, אם האוטומט מקבל מילה כלשהי ארוכה דיודיה (ארוכה יותר ממספר המצבים של האוטומט), אז הוא חייב לקבל גם מילים שבנויות בצורה דומה למילה שהתקבלה ללא ה"חזרות" (ללא הקלט בין שתי הפעמים בהם האוטומט ביקר במצב r, בדוגמא לעיל.) באופן דומה, האוטומט חייב לקבל גם מילים שבנויות בצורה דומה אבל ''בתוספת'' החזרות. באופן מדוייק,