γραμματική του Chomsky: ορισμός