Gramatyka regularna – gramatyka formalna, za pomocą której można opisać język regularny.
Istnieją dwa rodzaje gramatyk regularnych: gramatyka lewostronna, gramatyka prawostronna. Istnieje ścisły związek gramatyki lewostronnej oraz deterministycznego automatu skończonego, taki że gramatyka generuje dokładnie taki język, jaki akceptuje automat. Stąd gramatyki lewostronne generują dokładnie wszystkie języki regularne.
Gramatyka regularna to albo prawo- albo lewostronna.
Ważne ograniczenia postaci reguł Po lewej stronie występuje zawsze dokładnie jeden symbol nieterminalny (tak samo jak w gramatykach bezkontekstowych) Po prawej stronie występuje nie więcej niż jeden symbol nieterminalny i dowolny łańcuch symboli terminalnych. W gramatykach prawostronnie regularnych symbol terminalny występuje przed nieterminalnym (jeśli ten się tam znajduje), a w lewostronnie regularnych na odwrót.
Przykłady poprawne reguły
(reguła z gramatyki lewostronnie regularnej)
reguły niepoprawne (dwa symbole nieterminalne z lewej strony) (dwa symbole nieterminalne z prawej strony)