Geef de formele definitie van een grammatica: