En una gramática regular (o gramática lineal), el lado izquierdo es restringido a un único símbolo no-terminal (tal como en una gramática independiente de contexto) y el lado derecho es restringido a:

• A→ε, la cadena vacía
• A→a, con a ∈ Σ, un elemento del alfabeto subyacente

o a:

• A→aB, con a ∈ Σ, B ∈ N

para gramáticas lineales derechas, o a:

• A→Ba, con a ∈ Σ, B ∈ N

para las gramáticas lineales izquierdas.

Las gramáticas lineales izquierdas y derechas son ambas gramáticas regulares.

Las gramáticas regulares generan los lenguajes regulares, que es la misma clase de lenguajes definida por los conjuntos regulares, las expresiones regulares, y los automatas finitos.

Las gramáticas regulares son un subconjunto de la clase de las gramáticas independientes del contexto.

Ejemplos

Las siguientes gramáticas, G ₁ y G ₁, son gramáticas regulares lineal derecha y lineales izquierda respectivamente que generan el lenguaje L = {a ²ⁿ | n ≥ 0}.

S ₁→ε
S ₁→aA
A→aB
A→a
B→aA

S ₂→ε
S ₂→aC
C→Da
C→a
D→Ca