如何写语义规则？ [关闭]

我需要有关如何编写语法语义规则的帮助。 例

Program -> Header Declarations Block .
Header -> program id(input,output) ;
Declarations -> VAR Variable_Declarations | <epsilon