Notacja Backusa-Naura () – metoda zapisu reguł gramatyki bezkontekstowej.
Definicja formalna Notacja BNF jest zestawem reguł produkcji o następującej postaci:
<symbol>::= <wyrażenie zawierające symbole>
Znaczenie użytych tu symboli jest następujące: < – lewy ogranicznik symbolu > – prawy ogranicznik symbolu ::= – jest zdefiniowane jako | – lub
Cztery powyższe symbole to symbole metajęzyka – ich znaczenie nie jest określone w języku, który określają.
O innych symbolach występujących w regułach produkcji zakłada się, że należą do alfabetu języka lub samego języka.
Przykład Aby przy pomocy notacji BNF określić liczbę naturalną, można użyć następujących reguł: <zero>::= 0Przykład wartości: 0 <cyfra niezerowa>::= 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9Przykład wartości: 1, 2, 3 <cyfra>::= <zero>| <cyfra niezerowa>Przykład wartości: 0, 1, 2, 3 <ciąg cyfr>::= <cyfra>| <cyfra><ciąg cyfr>Przykład wartości: 0, 1, 01, 23, 45, 99, 10023, 000001 <liczba naturalna>::= <cyfra>| <cyfra niezerowa><ciąg cyfr>Przykład wartości: 0, 1, 2, 34 56, 406, 556066