Hay distintos tipos de gramáticas formales que generan lenguajes formales (véase la jerarquía de Chomsky).