How can I convert this BNF to EBNF?
::= var ; ::= {;}
Remove the angle brackets and put all terminals into quotes:
vardec ::= "var" vardeclist; vardeclist ::= varandtype { ";" varandtype } varandtype ::= ident { "," ident } ":" typespec ident ::= letter { idchar } idchar ::= letter | digit | "_"