Pok-10-wyk-Slajd61

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Akcje wielokrotne(2)

Akcje wielokrotne(2)


Używając akcji wstawionej można doprowadzić do powstania jednego lub więcej konfliktów w gramatyce, która wcześniej była jednoznaczna.

W przedstawionym przykładzie akcja1 zostaje przesunięta przez parser do automatycznie wygenerowanej pustej produkcji związanej z nieterminalem $50.

Do tej pory gramatyka była jednoznaczna, ponieważ parser nie musiał rozróżniać produkcji dla nieterminala A od produkcji dla nieterminala B wcześniej niż po przetworzeniu symbolu A2 widząc rozróżniające te dwie produkcje symbole X i Y.

Po modyfikacji konflikt jest oczywisty – po przetworzeniu A1 i widząc na wejściu A2 parser nie ma żadnej możliwości rozstrzygnięcia czy pomiędzy symbolami A1 i A2 wystąpił symbol pusty czy nie. Nie wie zatem czy ma wykonać redukcję do $50, czy rozpocząć przetwarzania A2.

W tym przypadku zostaną zastosowane domyślne reguły rozstrzygania konfliktów a jedyną możliwością uniknięcia konfliktu jest przesunięcie akcji wstawionej na pozycję tuż przed rozróżniającym obie produkcje symbolem X (nie można także rozwiązać tego konkretnego konfliktu przez wstawienie do produkcji dla symbolu B w miejsce między A1 a A2 pustej akcji).


<< Poprzedni slajd | Spis treści | Następny slajd >>