Tipo 3 o regulares.

Las producciones de este tipo de gramáticas son de la forma $\alpha\rightarrow c$, donde $\alpha\in N$ y $c$ cumple con que, $c=\beta T$ donde $\beta\in\Sigma^*$ y $T\in N$. Sólo tienen un no terminal $\alpha$ en el lado izquierdo de la producción, el lado derecho de la producción debe contener una cadena formada de símbolos terminales y no terminales teniendo como máximo un no terminal que debe estar al extremo derecho de la cadena. Opcionalmente se puede invertir la definición diciendo que se debe contener un no terminal al extremo izquierdo de cada producción, esta variación en la definición invierte el lenguaje generado por la gramática.
A las gramáticas que tiene el no terminal en el extremo derecho de la producción se les llama lineales por la derecha, las que lo tienen en el extremo derecho se les llama lineales por la izquierda.
El lenguaje producido por este tipo de gramáticas puede ser reconocido por un autómata finito como el mencionado en la sección 2.5.

Nota: Un aspecto esencial de la jerarquía de Chomsky es que las gramáticas de nivel $n-1$ contienen a las de nivel $n$, es decir, las gramáticas no restringidas contienen a las gramáticas sensibles de contexto, que a su vez contienen a las gramáticas libres de contexto, que a su vez contienen a las gramáticas regulares.
Dicho lo anterior, los lenguajes generados por gramáticas del nivel $n-1$ contienen a los lenguajes generados por gramáticas de nivel $n$ y, si un autómata acepta el lenguaje generado por una gramática de nivel $n-1$, entonces aceptará el lenguaje generado por la gramática de nivel $n$.