ביטוי רגולרי – הבדלי גרסאות

ההוכחה היא באינדוקציה פשוטה. קל להראות שהשפה הריקה וכל שפה שמכילה מילה אחת היא [[שפה רגולרית|רגולרית]], וכן שהשפות הרגולריות [[סגירות (אלגברה)|סגורות]] תחת איחוד, [[שרשור (מחרוזות)|שרשור]] ואיטרציה ([[תורת האוטומטים - מונחים|סגורכוכב קלין]]). מכיוון שהשפה שיוצר כל ביטוי רגולרי מתקבלת על ידי ביצוע פעולות של איחוד, שרשור ואיטרציה על אבני בניין בסיסיות שהן השפה הריקה ושפות שמכילות רק מילה אחת, הטענה נובעת מיד.