דקדוק רגולרי

בשפות פורמליות דקדוק רגולרי הוא דקדוק המתאר שפה רגולרית.

הגדרה

דקדוק רגולרי ${\displaystyle G}$ מוגדר על ידי הרביעייה ${\displaystyle G=(N,\Sigma ,P,S)}$ בדומה לדקדוק חופשי-הקשר אך עם כללי יצירה מוגבלים יותר:

• ${\displaystyle (A\to a)}$ כך ש-${\displaystyle A}$ הוא משתנה ו-${\displaystyle a}$ הוא טרמינל.
• ${\displaystyle (A\to aB)}$ כך ש-${\displaystyle B}$ הוא משתנה
• ${\displaystyle (A\to \epsilon )}$

את הכלל השני ניתן להחליף ב- ${\displaystyle (A\to Ba)}$ כדי לקבל דקדוק רגולרי שמאלי

ראו גם

• שפה רגולרית
• ההיררכיה של חומסקי
• תורת האוטומטים - מונחים