Język regularny – język formalny taki, że istnieje deterministyczny automat skończony potrafiący zdecydować, czy dane słowo należy do języka. Równoważnie, taki, że istnieje dlań gramatyka regularna. W hierarchii Chomskiego jest zdefiniowany jako język typu 3.
Wszystkie języki regularne są bezkontekstowe.
Gramatyka regularna Każdy język regularny można zapisać w postaci gramatyki formalnej – takiej gramatyki, że po lewej stronie każdej reguły jest jeden symbol nieterminalny, po prawej zaś dowolna liczba symboli terminalnych, po których występuje co najwyżej jeden symbol nieterminalny.
Regułami gramatyki regularnej są więc na przykład:
Nie są zaś nimi na przykład: (dopuszczalne w gramatykach bezkontekstowych) (dopuszczalne w gramatykach kontekstowych)
Zależności między językami regularnymi a gramatykami regularnymi są następujące: Każdy język regularny można zapisać za pomocą gramatyki regularnej. Każda gramatyka regularna generuje pewien język regularny. Język, który nie jest regularny, nie posiada gramatyki regularnej. Gramatyka, która nie jest regularna, może generować język regularny, acz nie musi. Jeśli takowy generuje, ma on też inną gramatykę, która jest regularna.