It governs how valid instructions are to be written in a given language.