John W. Backus

Backus-naur-form eller backus-normal-form er et sprog til beskrivelse af syntaksen for et vilkårligt programmeringssprog, et såkaldt metasprog. Det blev opfundet af Backus i 1959 og brugt af den danske professor Peter Naur til specifikation af syntaksen for programmeringssproget Algol 60. Metasproget består af såkaldte produktioner, der definerer syntaktiske kategorier i det sprog, der beskrives, ved hjælp af andre syntaktiske kategorier samt sprogets terminale symboler, dvs. symboler, der ikke yderligere kan opløses. I tidens løb er backus-naur-form blevet udbygget i mange retninger og har haft stor betydning for udviklingen af datalogien. Initialordet BNF bruges nu generelt om metasprog i datalogien.