Преобразование в форму Бэкуса-Наура

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