W celu zapoznania się z działaniem analizatora składniowego sterowanego składnią należy pobrać ze strony plik parser.zip, rozpakować i uruchomić program za pomocą pliku start.bat. Analizator wczytuje gramatykę, dokonuje kompilacji, a następnie analizuje wprowadzone zdanie. Okno programu przedstawione zostało poniżej:
Pole Logi wyświetla informacje o poprawności składni wprowadzonej gramatyki i przedstawia wyniki analizy zdania. W celu sprawdzenia działania programu:
Wprowadź gramatykę w pole Gramatyka
Dokonaj jej kompilacji za pomocą przycisku Kompiluj
Wprowadź zdanie w pole Zdanie
Dokonaj analizy zdania za pomocą przycisku Analizuj
Gramatyka musi być wprowadzona w notacji MBNF:
SKŁADNIA = PRODUKCJA { PRODUKCJA } .
PRODUKCJA = IDENTYFIKATOR "=" WYRAŻENIE "." .
WYRAŻENIE = SKŁADNIK { "|" SKŁADNIK} .
SKŁADNIK = CZYNNIK { CZYNNIK } .
CZYNNIK = IDENTYFIKATOR | LITERAŁ | "(" WYRAŻENIE ")"
| "[" WYRAŻENIE "]" | "{" WYRAŻENIE "}" .
IDENTYFIKATOR = litera { litera } .
LITERAŁ = """ znak { znak } """ .
MBNF | znaczenie |
= | jest zdefiniowany przez |
| | lub |
. | zakończenie formuły |
( x | y | … | z ) | dowolny z symboli x, y, … , z |
[ x ] | 0 lub jednokrotne powtórzenie symbolu x |
{ x } | 0 lub wielokrotne powtórzenie symbolu x |
symbol-nie-term | symbol nieterminalny |
"symbol" | symbol terminalny |
W programie w definiowanej gramatyce głową języka musi być symbol S.
Poniższy rysunek przedstawia przykład działania programu:
Dokonaj analizy gramatyki i zdania
Gramatyka:
S = B " e " A .
A = " - " B | B .
B = C { C } .
C = " 0 " | " 1 " | " 2 " … | " 9 " .
Zdanie:
143 e-12
Ułóż gramatykę i wyprowadź z niej przykładowe zdanie. Następnie przekształć ją do notacji MBNF i sprawdź gramatykę oraz wyprowadzone zdanie za pomocą programu.