转换为巴科斯-诺尔形式

Conversion to Backus-Naur Form

下面这行在 Backus-Naur 形式中的等效版本是什么?

func    :   type id '('  ')' '{' { type var_decl { ',' var_decl } ';' } { stmt } '}'
func         : type id '('  ')' '{' func_body '}'
func_body    : decls stmts
decls        : decls decl | ε
decl         : type var_decl rem_var_decls ';'
rem_var_decls: rem_var_decls ',' var_decl | ε
stmts        : stmts stmt | ε