Rule for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language