Backus-Naur form

Broom icon.svgDer er ingen kildehenvisninger i denne artikel, hvilket muligvis er et problem.
Du kan hjælpe ved at angive kilder til de påstande, der fremføres i artiklen.
Question book-4.svg

Backus-Naur form (BNF) er en metasyntaks, dvs. en formel måde at beskrive formelle sprogs syntaks.

BNF er en meget udbredt notation til at beskrive grammatikken af programmeringsprog. De fleste lærebøger om teorien bag programmering beskriver programmeringssprog i BNF.

I BNF bruges nogle få simple symboler, som alle kan skrives på en skrivemaskine. Der bruges følgende symboler:

  • < > markerer et begreb (variabel), der skal defineres.
  • | læses som "eller".
  •  ::= læses som "består af".

Begreber, der er defineret (konstanter, terminale begreber), skrives som de er.

Overblik

BNF er opkaldt efter John Backus og danskeren Peter Naur. De var pionerer i datalogi med speciale i design af compilere. BNF har tydelige ligheder med Pāṇinis regler for grammatik, og BNF bliver derfor også nogle gange omtalt som Panini-Backus-formen. BNF blev oprindeligt lavet for at kunne beskrive reglerne i ALGOL 60.

Andre sprog