(równania normalne Backusa, BNF, Backus-Naur Form, Backus- -Normal-Form)
system zapisywania produkcji gramatyki zaproponowany przez J. Backusa i P. Naura przy okazji prac prowadzonych nad jezykiem Algol 60. Symbole metajezykowe ( alfabetu pomocniczego), sluzace do nazywania jednostek skladniowych definiowanego jezyka umieszcza sie w nawiasach katowych ? . Symbol ::=, czytany "jest równe z definicji", laczy strony produkcji. Pionowa kreska (|) oznacza w produkcjach spójnik logiczny "albo" i pozwala na zmniejszenie ich liczby. Symbole alfabetu koncowego pisze sie w BNF bez zadnych zaznaczen. Oto przyklad gramatyki "liczby" w notacji BNF: ?liczba ::= ?lbz | + ?lbz | - ?lbz ?lbz ::= ?lc | ?ld ?lc ::= ?cyfra | ?cyfra ?lc ?ld ::= ?lc | ?lc. ?lc ?cyfra ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 0 Zob. tez notacja EBNF, produkcja gramatyki, rekurencja.
- notacja EBNF, (EBNF, Extended Backus-Naur...
- metajezyk, ( metalanguage )
- rekurencja, (rekursja, recursion...