Используется ли BNF для описания семантики языка или синтаксиса фраз языка, и в чем разница между BNF и неконтекстными грамматиками?