Em suma? Uma linguagem usada para descrever outras linguagens.
BNF descreve regras de derivação para gramáticas livres de contexto, então é possível escrever qualquer linguagem livre de contexto (como a linguagem Java, ou mesmo a linguagem de definição de e-mails) com BNF.
Nessa resposta sobre linguagens livre de contexto, usei uma notação para descrever produções de um subconjunto da língua portuguesa, e também algumas produções de uma gramática sensível ao contexto.
Por mais curioso que seja, é impossível descrever uma expressão regular com uma gramática regular, e também é possível descrever qualquer gramática derivativa usando uma gramática livre de contexto.
P : L ":" R
L : N #para gramáticas regulares e livres de contexto
R : N
R : N t #produção regular, se L for para N
R : S
S : (t | N)* #forma sentencial, qualquer string de terminais e não terminais
L : S #produção generalizada, para gramáticas irrestritas
L : S N S #produção para o lado esquerdo de uma gramática sensível ao contexto
Note que essas regras definem até mesmo a meta linguagem para definir linguagens, com direito a alguns comentários meus sobre algumas características de algumas produções.