3576901307

WARTO WIEDZIEĆ!

Dwaj informatycy amerykańscy, J. Backus i P. Naur, jako jedni z pierwszych zaproponowali formalny zapis struktur językowych.

System ten zwany notacja BNF (z ang. Backus-Naur-Form), został użyty po raz pierwszy do zdefiniowania języka Algol 60 (w 1960r).

Podstawa każdego języka jest słownik. Elementy słownika to słowa ( w językach formalnych zwane symbolami), z których buduje się zdania. O tym czy dany ciąg słów jest zdaniem poprawnym, decyduje gramatyka, inaczej składnia lub struktura języka. Składnia zdefiniowana jako zbiór reguł (inaczej zwanych produkcjami) określa zbiór formalnie poprawnych zdań.

W notacji BNF symbole pomocnicze, służące do nazywania jednostek składniowych definiowanego języka, są umieszczane w nawiasach kątowych. Symbol czyta się: "jest równe z definicji" i łączy on strony reguły (produkcji). Pionowa kreska "I" oznacza spójnik logiczny "albo".