Metody Realizacji Jezyków Programowania - Analiza składniowa

More documents

Recommendations

Info

Analiza syntaktyczna Analizator syntaktyczny (parser) jest funkcja˛ sprawdzajac ˛ a, ˛ czy dane słowo należy do języka i, jeśli tak, budujac ˛ a˛ drzewo struktury. Algorytm Youngera: O(n 3 ) i nie daje drzewa struktury. Istnieja˛ efektywne algorytmy dla pewnych klas gramatyk. Dwa zasadnicze podejścia: Top-down: próbujemy sparsować określona˛ konstrukcję (nieterminal); drzewo struktury budowane od korzenia do liści. Bottom-up: W danym napisie znajdujemy możliwe konstrukcje; drzewo budowane od liści do korzenia ze znalezionych kawałków. Marcin Benke (MIM UW) Metody Realizacji Języków Programowania 11 października 2010 18 / 31
Analiza top-down Schemat analizy top-down możem zapisać jako automat: Jeden stan, alfabet stosowy Γ = N ∪ T , akceptacja pustym stosem. Na szczycie stosu a ∈ T : ◮ jeśli na wejściu a — zdejmij ze stosu, wczytaj następny symbol. ◮ wpp — bład: ˛ oczekiwano a. Na szczycie stosu A ∈ N, na wejściu a: ◮ wybieramy produkcję A → α taka, ˛ że a ∈ SELECT (A → α) ◮ na stosie zastępujemy A przez α Powyzszy automat oglada ˛ jeden symbol z wejścia, ale łatwo go uogólnić na większa˛ ich liczbę — automat LL(k). Dla automatu deterministycznego, wybór produkcji jest ważny; zbiór symboli dla których wybieramy produkcję A → α nazywamy SELECT (A → α). Teraz zajmiemy się obliczaniem tego zbioru. Marcin Benke (MIM UW) Metody Realizacji Języków Programowania 11 października 2010 19 / 31
Page 1 and 2: Metody Realizacji Języków Program
Page 3 and 4: Gramatyki Formalnie, a gramatyka be
Page 5 and 6: Wywody i drzewa wywodu Rozważmy gr
Page 7 and 8: Wywody i drzewa wywodu E E - E T E
Page 9 and 10: Łaczność ˛ Możemy “usztywni
Page 11 and 12: Priorytety operatorów Rozważmy: E
Page 13 and 14: Wieloznaczność if-then-else S if
Page 15 and 16: Wieloznaczność if-then-else Może
Page 17: Składnia abstrakcyjna Składnia ab
Page 21 and 22: Zbiory FOLLOW Definicja (FOLLOW ) N
Page 23 and 24: Gramatyki silnie LL(k) Definicja SE
Page 25 and 26: Lewostronna faktoryzacja Problem pi
Page 27 and 28: Wyliczanie FIRST Dla t ∈ T mamy F
Page 29 and 30: Przykład E → E + T SELECT(E →
Page 31: Dla miłośników algorytmiki Efekt

Metody Realizacji Jezyków Programowania - Analiza składniowa

Create successful ePaper yourself

Delete template?

Save as template?