Pok-4-wyk-Slajd41

Z Studia Informatyczne
Wersja z dnia 19:03, 1 wrz 2006 autorstwa BBogacki (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Równoważność gramatyk(1)

Równoważność gramatyk(1)


Przyjrzyjmy się w takim razie jak będzie wyglądało wyprowadzenie dla rozpatrywanego ciągu wejściowego (czyli id + id * id) jeśli wykorzystamy gramatykę, która nie jest niejednoznaczna. Gramatyka ta przedstawiona jest po lewej stronie slajdu.

W środkowej części slajdu dostrzec można wyprowadzenie dla zadanego ciągu wejściowego.

W prawej części slajdu znajduje się drzewo wyprowadzenia.

Łatwo sprawdzić, że korzystając z tej gramatyki dla każdego poprawnie zbudowanego ciągu wejściowego uzyskamy jedno drzewo wyprowadzenia.


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