La gramática formal de esos sistemas sería el conjunto de reglas combinatorias acordes a ciertos principios deductivos.