Programowanie. Teoria i praktyka z wykorzystaniem C++

6.4. GRAMATYKI 189
Term "*" Primary // mnoenie
Term "/" Primary // dzielenie
Term "%" Primary // reszta z dzielenia (modulo)
Primary:
Number
"(" Expression ")" // grupowanie
Number:
floating-point-literal
Jest to zestaw prostych zasad. Ostatni naley czyta nastpujco: „Number (liczba) to litera
zmiennoprzecinkowy”. Natomiast tre przedostatniej jest taka: „Primary (czynnik) jest liczb
lub znakiem '(', po którym jest wyraenie i znak ')'”. Reguy dla Expression (wyraenia) i Term
(skadnika) s podobne. Kada z nich jest zdefiniowana z uwzgldnieniem jednej z regu,
które znajduj si dalej.
Jak pamitamy z podrozdziau 6.3.2, nasze tokeny — zgodnie z definicj w jzyku C++
— to:
litera zmiennoprzecinkowy (zgodny z definicj w jzyku C++, np. 3.14, 0.274e2
lub 42);
+, -, *, / oraz % — operatory;
( i ) — nawiasy.
Uywajc gramatyki i tokenów, zrobilimy bardzo duy pojciowy skok w stosunku do naszego
pocztkowego pseudokodu. Tego rodzaju postpy chcielibymy robi zawsze, ale rzadko si
to udaje bez pomocy. Do tego wanie su dowiadczenie, literatura i mentorzy.
Na pierwszy rzut oka gramatyka ta wydaje si bezsensowna. Czsto tak jest z notacj
techniczn. Pamitaj jednak, e jest to ogólna i elegancka (co w kocu docenisz) notacja do
opisu czego, co potrafisz robi przynajmniej od czasów szkoy podstawowej. Nie masz problemu
z obliczeniem wyraenia 1-2*3 albo 1+2-3 lub 3*2+4/2. Potrafisz jednak wyjani, jak
to robisz? Umiesz to tak wyjani, aby zrozumia to nawet kto, kto nigdy nie mia stycznoci
z konwencjonaln arytmetyk? Czy Twoje wyjanienia bd miay zastosowanie dla wszystkich
kombinacji operatorów i argumentów? Aby wystarczajco szczegóowo i precyzyjnie
objani co komputerowi, potrzebna jest odpowiednia notacja — a gramatyka naley do
najlepszych konwencjonalnych narzdzi do jej tworzenia.
Jak czyta si gramatyk? Majc pewne dane wejciowe, zaczyna si od pierwszej reguy,
Expression (wyraenie), i przeszukuje kolejne, znajdujc te, które pasuj do tokenów w miar
ich wczytywania. Wczytywanie strumienia tokenów zgodnie z zasadami gramatyki nazywa si
parsowaniem (analiz skadniow), a program, który to robi, nazywamy parserem (ang.
parser) lub analizatorem skadni (ang. syntax analyzer). Nasz analizator odczytuje tokeny od
lewej do prawej, dokadnie w takiej kolejnoci, jak je wpisujemy i czytamy. Wypróbujemy jaki
bardzo prosty przykad: czy 2 jest wyraeniem?
1. Wyraenie (Expression) musi by skadnikiem (Term) lub koczy si skadnikiem.
Skadnik musi by czynnikiem (Primary) lub koczy si czynnikiem. Ten czynnik
musi zaczyna si znakiem ( lub by liczb (Number). Oczywicie 2 nie jest znakiem (,
tylko literaem zmiennoprzecinkowym, a wic liczb, która jest czynnikiem.