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 cadenas que tienen el mismo número de caracteres "a" que "b".