Backus-Naur form, adını bilgisayar programcılığının öncüleri
John Backus ve
Peter Naur'dan alan, 1950'lerin sonunda temelleri Backus'a ait bir makalede ortaya konmuş, formal dillerin yazım kurallarını tanımlamak için kullanılan bir yazım kuralları kümesi.
Bilgisayar
programlama dillerinin yazım kurallarını özetlemekte sıklıkla kullanılan bir yöntemdir. Örneğin, Naur'un düzenlediği
ALGOL60 dilinin tanımlandığı makale, Bakus-Naur formunun bilgisayar dünyasında tanınması açısından önemli rol oynamıştır.