Backus-Naur form (BNF)! Pomoč!

Pozdravljeni! Iščem nakoga, ki bi mi enostavno s parimi stavki razložil kaj je to Backus-Naurova oblika, ali BNF!
To moram znat, pa kjer koli sem bral o tem, je kr neki!

Že v naprej se zahvaljujem vsem!

LP

http://en.wikipedia.org/wiki/Backus-Naur_form

cist lepo pise vse.

Je posebna oblika zapisovanja kontekstno neodvisnih jezikov. Imas tudi pospremljeno z lepimi primeri.

no da ti vec nebo problem si predstavljat[;)] 

Bachus Naurova forma je v bistvu META JEZIK (z njim opises dolocen programski jezik).
Sestavljena je na principu produkcij oz. pravil. Ta pravila zapisujemo z:
- terminali(to so elementi jezik, kot so if, while, int,...)
- neterminali(vmesni simboli, ki oznacujejo posamezne dele stavka...primer <identifikator>)
- prazni simbol E

Vsako produkcijo imas sestavljeno iz dveh delov, torej iz neterminala na levi in enega ali vec terminalov in/ali neterminalov na desni, vmes pa je znak ::= (pomeni definirano je)...

Potem pa imas se zank |, ki pomeni alternativo (npr. A ::= B in A ::=C => A::=B|C)

primer definicije <identifikatorja> s pomocjo BNF v C++:
<identifikator> ::= <crka_podcrtaj> | <identifikator><crka_podcrtaj> | <identifikator><cifra>

to ti pove, da je identifikator sestavljen iz besede, ki se mora zacet s crko ali podcrtajem (poimenovanje crka_podcrtaj je izmisljeno), ali z identifikatorjem in crko ali podcrtajem(to so naprimer tipi) ali pa z identifikatorjem in cifro (like i1).

aja se to...prevajnalnik pri prevajanju programa preverja, ce je program zapisan v skladu z BNF....