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 ve programlama dillerinin sözdizimini açıklamak için kullanılan bir gösterimdir. Naur'un düzenlediği ALGOL 60 dilinin tanımlandığı makale, Backus-Naur formunun bilgisayar dünyasında tanınması açısından önemli rol oynamıştır. ' ' (dikey çizgi) Anlamı: Alternatif
'::='
Anlamı: Tanımlama ::= 1 2 3 4 5 6 7 8 9 ::= 0 ::= ::= 1 ::= 42 ::= ::= ::= ::= '0' ::= '1' '2' '3' '4' '5' '6' '7' ::= '8' '9' ::= 'A' 'B' 'C' 'D' 'E' 'F' 'G' 'H' 'I' 'J' 'K' 'L' 'M' 'N' 'O' 'P' 'R' 'S' 'T' 'U' 'V' 'Y' 'Z' ::= '0' '80' '81'
Bu örnekte araç plakalarının yazım kuralları Backus-Naur form ile ifade edilmektedir.