Pok-4-wyk-Slajd41

Z Studia Informatyczne
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 >>