Backus-Naur-form
Wikipedia
Backus-Naur-form är en formalism för att beskriva kontextfri grammatik, som ofta används för att beskriva syntaxen i programspråk.
[redigera] Meta-Symboler
::= Används för att definera saker.
| Används som eller.
<> Används runt kategorier.
I Extended Backus-Naur form används fler meta-symboler.
[redigera] Exempel
BNF för ett Ada program:
<program> ::=
<inkluderingsdelen>
procedure <programmets namn> is
<deklarationsdelen>
begin
<instruktionsdelen>
end <programmets namn>;
<instruktionsdelen> ::= <instruktioner>
<instruktioner> ::= <instruktion>; | <instruktion>; <instruktioner>
[redigera] Hello World i ada
with Ada.Text_IO; use Ada.Text_IO;
procedure Hello_World is
begin
Put("Hello World!");
end Hello_World;
