בשפות פורמליות דקדוק רגולרי הוא דקדוק המתאר שפה רגולרית. ישנם שני סוגים של דקדוקים רגולריים: דקדוק ליניארי ימני ודקדוק ליניארי שמאלי.

דקדוק ליניארי ימני (או דקדוק רגולרי ימני) ${\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)}$.

לכל אוטומט סופי ניתן לבנות דקדוק ליניארי ימני שמקבל את אותה השפה שמקבל האוטומט, ולכל דקדוק ליניארי ימני ניתן לבנות אוטומט סופי שמקבל את אותה השפה - ולכן שני המודלים שקולים מבחינת כוח חישובי.

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

• שמואל זקס ונסים פרנסיז, ‏אוטומטים ושפות פורמליות ב, האוניברסיטה הפתוחה, 2000

מיזמי קרן ויקימדיה
ספר לימוד בוויקיספר: אוטומטים ושפות פורמליות