>>119
あ、ひょっとして

BNF exp ::= digit+ | exp + exp | exp - exp | ...

ではなくて

「『式』とは上の exp のことである」

この日本語が「定義」だ、って言ってる？
それとも、用語は普通こんな日本語では定義しない、って言ってるのかな。