Backus-Naur form

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.