Bekus-Naur forması (BNF; ing. Backus-Naur form) – formal dillərin sintaksisini təsvir etmək üçün metadil; Con U.Bekus (John W.Backus) və Piter Naur (Peter Naur)

Bekus-Naur forması (BNF; ing. Backus-Naur form) – formal dillərin sintaksisini təsvir etmək üçün metadil; Con U.Bekus (John W.Backus) və Piter Naur (Peter Naur) tərəfindən ALGOL dilinin təsvirində təklif olunub. Aşağıdakı dilin <ədəd> elementinin tərifi verilib: <ədəd> ::= |  :: = |  :: = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9  ::= + | –

Bu misalda və terminal adlandırılan aktual simvollar terminləri ilə təyin edilir; “|” simvolu alternativ variantı göstərir, yəni ya “+”, ya da “–” qiyməti ala bilər; “::=” simvolu “kimi təyin olunur” anlamını verir. Künc mötərizələrinə alınmış adlara (məsələn, ) metadəyişənlər (METAVARIABLES) deyilir. Metadəyişən terminal simvollar və başqa metadəyişənlər, o cümlədən zərurət olduqda özü vasitəsilə təyin edilir (də olduğu kimi).