Formalmente una terminología en formula_3 está definida por la siguiente formación de reglas: