V računalništvu je oblika Backus-Naur ali Backus normalna oblika (BNF) tehnika notacije za kontekstne gramatike, ki se pogosto uporablja za opis sintakse jezikov, ki se uporabljajo v računalništvu, kot so računalniški programski jeziki, formati dokumentov, protokoli. Uporabljajo se tam, kjer so potrebni natančni opisi jezikov: na primer v uradnih jezikovnih specifikacijah, v priročnikih in v učbenikih o teoriji programskega jezika. Uporabljajo se številne razširitve in različice izvirne oznake Backus-Naur; nekateri so natančno opredeljeni, vključno s podaljšano Backus-Naurjevo obliko (EBNF) in povečano Backus-Naurjevo obliko (ABNF). [Računalništvo][Sintaksa: programski jeziki][Programski jezik]