Pok-4-wyk-Slajd41
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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.