Notacje BNF

Gramatyka z przykładu 1. została zapisana za pomocą notacji BNF (Backus-Naur-Form).
Symbol początkowy <zdanie>; Symbole pomocnicze: <zdanie>,<podmiot>,<orzeczenie>, Symbole końcowe: słowa kwiaty, gwiazdy, kwitną, świecą
Reguły gramatyczne nazywamy produkcjami. Metasymbole notacji BNF <,>,::=,| Produkcja języka -reguły przez które można zdefiniować język.
Jeżeli użyjemy pojedynczych wielkich liter do oznaczenia symboli pomocniczych, natomiast małych liter do oznaczenia symboli końcowych, to można gramatykę z przykładu 1. zapisać w następujący sposób: 

                                            
                                                
S::= AB
                                                
A::= x | y
                                                
B::= z | w

Stosując regułę kolejnych wyprowadzeń można wyprowadzić zdanie języka z symbolu początkowego.

Sposób wyprowadzenia zdań:

                                            
                                                
S→AB→xB→xw
                                                
S→AB→yB→yz <=> S→*yz
                                                
→* - wyprowadzenie pośrednie


Taki sposób wyprowadzenia zdań z gramatyki nazywany jest rozbiorem zstępującym ( ang. Top - down). Język zdefiniowany przez tę składnię, umożliwia wyprowadzenie czterech zdań: xz, yz, xw, yw.