文:={文節; | '{' 文節;[文…] '}' }
文節:= {宣言|式|命令}

Cってこんな感じだろ？BNFじゃないけど。

{}があるのも無いのも、どっちが間違ってるって訳じゃないだろ。