formal grammar
Technical term in linguistics and computer science for a system of rules that define the structure of a formal language.
Chomsky proposed the theory of formal grammar.
Compound of 形式 (form) and 文法 (grammar), a direct translation of the English term 'formal grammar'.