Programowanie. Teoria i praktyka z wykorzystaniem C++

194 ROZDZIA 6 • PISANIE PROGRAMU
W rónych ksikach i rónych systemach parsowania stosuje si róne notacje i terminologi.
Na przykad niektórzy nazywaj tokeny znakami terminalnymi, a zasady znakami nieterminalnymi
lub produkcjami. My umieszczamy tokeny w podwójnych cudzysowach i zaczynamy
od pierwszej zasady. Alternatywy znajduj si w osobnych wierszach, np.:
List:
"{" Sequence "}"
Sequence:
Element
Element " ," Sequence
Element:
"A"
"B"
Zatem sekwencja (Sequence) jest elementem (Element) lub elementem i sekwencj oddzielonymi
od siebie przecinkiem. Element to litera A lub B. Lista (List) to sekwencja w nawiasach
klamrowych. Moemy generowa te listy (jak?):
{ A }
{ B }
{ A,B }
{A,A,A,A,B }
Ponisze natomiast nie s listami (dlaczego?):
{ }
A
{ A,A,A,A,B
{A,A,C,A,B }
{ A B C }
{A,A,A,A,B, }
Tej sekwencji nie nauczye si w przedszkolu ani nie zakodowae w mózgu, chocia nadal
nie jest to nauka najwyszych lotów. W rozdziaach 7.4 i 7.8.1 objanimy sposoby wyraania
zasad syntaktycznych za pomoc gramatyk.
6.5. Zamiana gramatyki w kod
Istnieje wiele sposobów na zmuszenie komputera do respektowania zasad gramatyki. Uyjemy
najprostszego — napiszemy po jednej funkcji dla kadej zasady i wykorzystamy nasz typ
Token do reprezentowania tokenów. Program implementujcy gramatyk czsto nazywa si
parserem.
6.5.1. Implementowanie zasad gramatyki
Do zaimplementowania naszego kalkulatora potrzebujemy czterech funkcji — jednej do
wczytywania tokenów i po jednej dla kadej zasady w gramatyce:
get_token() // Wczytuje znaki i tworzy tokeny.
// Wykorzystuje strumie cin.
expression() // Obsuguje operatory + i –.