noun
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'.