轉換為巴科斯-諾爾形式

Question

巴科斯-諾爾表格中以下行的等效版本是什么？

func    :   type id '('  ')' '{' { type var_decl { ',' var_decl } ';' } { stmt } '}'

Answer 1

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 | ε