Genel bakış
Backus–Naur formu, biçimsel dillerin sözdizimini üretim kurallarıyla tanımlayan bir gösterimdir. Programlama dillerinin dilbilgisini açık ve makinece işlenebilir biçimde belirtmek için geliştirilmiştir.[1]
YAPI
Gösterimde terminal simgeler doğrudan dilde yer alan öğeleri, terminal olmayan simgeler ise başka kurallarla açılan sözdizimsel kategorileri temsil eder. Alternatifler ve yinelemeli tanımlar, sınırsız sayıda geçerli ifadenin sonlu bir kural kümesiyle tarif edilmesini sağlar. Derleyici tasarımı ve dil belirtimleri BNF ile türevlerinden yararlanır.[1]