[计]?形式语法

活动组成的形式语法（Formal Syntax）是： event-name argument-list '/' action-expression

?形式句法

...法理论通称衍生语法（Generative Grammar），也译作生成语法，因为位居形式主义的主流，所以一般常使用形式句法（Formal Syntax）指称这个语法理论。

?正式语法

... 3.规范（Specification） 4.正式语法（Formal Syntax） 5.引用（References） ...

?形式句法学

...学，是研究符号系统的排列组合规律而不考虑这些符号排列组合所表达的意义，所以形式语言学有时又叫作形式句法学（formal syntax）。"syntax"其本意就是“组合”。