Por ejemplo, un alfabeto podría ser el conjunto {"a","b"}, y una gramática podría definir a las fórmulas bien formadas como aquellas que tienen el mismo número de símbolos "a" que "b".